summaryrefslogtreecommitdiff
path: root/examples
diff options
context:
space:
mode:
Diffstat (limited to 'examples')
-rw-r--r--examples/disamb/Conversation.gf18
-rw-r--r--examples/disamb/ConversationEng.gf23
2 files changed, 41 insertions, 0 deletions
diff --git a/examples/disamb/Conversation.gf b/examples/disamb/Conversation.gf
new file mode 100644
index 000000000..fbbfccc0c
--- /dev/null
+++ b/examples/disamb/Conversation.gf
@@ -0,0 +1,18 @@
+abstract Conversation = {
+
+ cat
+ Q ; NP ; A ;
+ Gender ; Number ; Politeness ;
+
+ fun
+ PredA : NP -> A -> Q ;
+
+ GMasc, GFem : Gender ;
+ NSg, NPl : Number ;
+ PFamiliar, PPolite : Politeness ;
+
+ You : Number -> Politeness -> Gender -> NP ;
+
+ Ready : A ;
+
+}
diff --git a/examples/disamb/ConversationEng.gf b/examples/disamb/ConversationEng.gf
new file mode 100644
index 000000000..127ec54bd
--- /dev/null
+++ b/examples/disamb/ConversationEng.gf
@@ -0,0 +1,23 @@
+--# -path=.:prelude
+
+concrete ConversationEng of Conversation = open Prelude in {
+
+ lincat
+ Q, NP, A = {s : Str} ;
+ Gender, Number, Politeness = {s : Str} ;
+
+ lin
+ PredA np a = ss ("are" ++ np.s ++ a.s) ;
+
+ GMasc = ss (optStr "man") ;
+ GFem = ss (optStr "woman") ;
+ NSg = ss (optStr "one") ;
+ NPl = ss (optStr "many") ;
+ PFamiliar = ss (optStr "friend") ;
+ PPolite = ss (optStr "respected") ;
+
+ You n p g = ss ("you" ++ n.s ++ p.s ++ g.s) ;
+
+ Ready = ss "ready" ;
+
+}