Logical English 2.0

Build: main@26f973b (2026-06-12T21:24:23Z)

• Edit and Query: [New Document]
  • 1_cgt_assets_and_exemptions_3
  • 1_net_asset_value_test_3
  • 3_rollover_3
  • 4_affiliates_3
  • AItest
  • alice
  • alice_propositional
  • augmentedsem
  • cgt_assets
  • citizenship
  • citizenship_buggy
  • citizenship_including
  • citizenship_premier
  • dates
  • ecommerce
  • error
  • flying_dragon
  • forall_vacuous
  • gst
  • gstturnover
  • happy_dragon
  • inequality
  • journal
  • journal_balance
  • named_vars
  • nonterminating
  • numbering_test
  • numbers
  • only_if
  • payg
  • payg_buggy
  • prolog_call
  • propositional
  • royal_family
  • rule_id_test
  • sbpp_0
  • sbppxml1
  • scenario_element_test
  • small_business
  • subset
  • sum_onto
  • sum_simple
  • tea_party
  • type_check_test
  • unknowns
  • 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
  • testing/
    • tea_party2
• GitHub Repository

Test Suite