Logical English 2.0

Build: main@aa4cb93 (2026-08-03T10:24:50Z)

• Edit and Query: [New Document] (expand all · collapse all)
  • AItest
  • alice
  • alice_propositional
  • augmentedsem
  • cgt_assets
  • citizenship
  • citizenship_including
  • clp_coverage
  • dates
  • dual_engine_demo
  • ecommerce
  • enclosure
  • error
  • flying_dragon
  • happy_dragon
  • inequality
  • journal
  • named_vars
  • numbering_test
  • numbers
  • only_if
  • prolog_call
  • propositional
  • royal_family
  • rule_id_test
  • scenario_element_test
  • sequencer
  • subset
  • sum_onto
  • sum_simple
  • synonyms
  • tea_party
  • type_check_test
  • unknowns
  • abduction/

    • diagnosis
    • grass_is_wet
    • loan_approval
    • sunglasses
  • prolog_resources/

    • postcodes
    • postcodes_layer
  • rkBook/

    • above_transitivity
    • amazing_animals
    • behaviourist_fox
    • bna_citizenship_1_1
    • cause_and_effect
    • equation_solving_goal
    • fox_and_crow
    • genesis_ancestors
    • grass_wet_abduction
    • housing_benefit
    • innocent_until_guilty
    • last_train
    • lease_termination
    • library_study
    • naturalisation_schedule1
    • older_brother
    • party_looping
    • party_naf
    • relative_clauses
    • thieves_punishment
    • trolley_problem
    • underground_emergency
  • short/

    • is_a_class_of
    • longsentence
    • sets
    • sunangel
  • tax/

    • 1_cgt_assets_and_exemptions_3
    • 1_net_asset_value_test_3
    • 3_rollover_3
    • 4_affiliates_3
    • gst
    • gstturnover
    • journal_balance
    • payg
    • sbpp_0
    • sbppxml1
    • small_business
  • testing/

    • apostrophe
    • assumed_coloring
    • citizenship_buggy
    • citizenship_premier
    • forall_vacuous
    • happpy_dragon
    • nonterminating
    • p_with_negation
    • payg_buggy
    • propositional_negation
    • tea_party2
    • tea_party3
    • template_folding
    • trace_sample
• Just run a program: [Executive view]
  A minimalist, mobile-friendly way to pick a program, choose a scenario and question, and see the answer — no editing.
• GitHub Repository

Documentation

• A Gentle Introduction to Logical English 2
  Start here: a hands-on tutorial that builds three small programs — a tea party, a flying dragon, and a slice of British nationality law — teaching how to write, query and debug LE in the editor.
• How to use the LE2 web application
  The editor manual: opening and saving files, running queries, the scenario and query editors, scenario variations, and reading the explanation trees.
• Logical English syntax summary
  The language reference: every construct — templates, rules, operators, aggregates, variables and types, dates, ontology, extensions — for looking things up as you write.

Test Suite