Disjunctive anaphora - #266

Open

DaisukeBekki wants to merge 17 commits into

disjunctiveAnaphora

Commits on Feb 9, 2026

Modify English lexicon
DaisukeBekki
committed
be313da

Commits on Mar 4, 2026

Minor fix for the English lexicon
DaisukeBekki
committed
e8a9414

Commits on Mar 27, 2026

Fix indefinite articles
DaisukeBekki
committed
166fa48

Commits on Mar 28, 2026

Fix English lexicon
DaisukeBekki
committed
25e65e2
Added If
DaisukeBekki
committed
e396c9b

Commits on Mar 29, 2026

Modify English lexical items for
DaisukeBekki
committed
268a6f2
Remove the selectional restriction from
DaisukeBekki
committed
38a058b
Add axioms
DaisukeBekki
committed
72e8023
Fix
DaisukeBekki
committed
652f829
Modify determiners in object positions
DaisukeBekki
committed
3cdefcd
Fix signature
DaisukeBekki
committed
34870de
Fix negation
DaisukeBekki
committed
a4a70a2

Commits on Mar 30, 2026

Fix the use of
DaisukeBekki
committed
fa2963b

Commits on Apr 9, 2026

change eqElim setting
mocomocco
committed
e268327

Commits on Jun 27, 2026

refine disjElim
mocomocco
committed
09bdc1f
refine disjElim
mocomocco
committed
dbf5e64
fix bug
mocomocco
committed
9ef5f5b