Logged in as:
anonymous
[Login]
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