summaryrefslogtreecommitdiff
path: root/examples/attempto/LexAttempto.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-10-28 14:05:55 +0000
committeraarne <aarne@cs.chalmers.se>2008-10-28 14:05:55 +0000
commit833752872b675a911954f218d225d21cd5b90088 (patch)
tree9ceaccd6b0737dcae283bb0b1e23d68657613a12 /examples/attempto/LexAttempto.gf
parent128809b7b8382acdd7ad46be95c0ac8a6d3231a7 (diff)
part of Attempto controlled language in English and Swedish
Diffstat (limited to 'examples/attempto/LexAttempto.gf')
-rw-r--r--examples/attempto/LexAttempto.gf18
1 files changed, 18 insertions, 0 deletions
diff --git a/examples/attempto/LexAttempto.gf b/examples/attempto/LexAttempto.gf
new file mode 100644
index 000000000..69561e42a
--- /dev/null
+++ b/examples/attempto/LexAttempto.gf
@@ -0,0 +1,18 @@
+interface LexAttempto = open Syntax in {
+
+oper
+ possible_A : A ;
+ necessary_A : A ;
+ own_A : A ;
+ have_VV : VV ;
+ provably_Adv : Adv ;
+ provable_A : A ;
+ false_A : A ;
+
+ genitiveNP : NP -> CN -> NP ;
+
+-- m_Unit : Unit ;
+-- l_Unit : Unit ;
+-- kg_Unit : Unit ;
+
+}