summaryrefslogtreecommitdiff
path: root/examples/attempto/LexAttempto.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/attempto/LexAttempto.gf')
-rw-r--r--examples/attempto/LexAttempto.gf3
1 files changed, 3 insertions, 0 deletions
diff --git a/examples/attempto/LexAttempto.gf b/examples/attempto/LexAttempto.gf
index 69561e42a..5b2ce5d9f 100644
--- a/examples/attempto/LexAttempto.gf
+++ b/examples/attempto/LexAttempto.gf
@@ -8,6 +8,7 @@ oper
provably_Adv : Adv ;
provable_A : A ;
false_A : A ;
+ such_A : A ;
genitiveNP : NP -> CN -> NP ;
@@ -15,4 +16,6 @@ oper
-- l_Unit : Unit ;
-- kg_Unit : Unit ;
+ each_Det : Det ;
+
}