two versions of semantics (the Logic version incomplete)

1 files changed, 37 insertions, 0 deletions

diff --git a/examples/tutorial/semantics/Base.gf b/examples/tutorial/semantics/Base.gf
new file mode 100644
index 000000000..b99587e96
--- /dev/null
+++ b/examples/tutorial/semantics/Base.gf
@@ -0,0 +1,37 @@
+-- abstract syntax of a query language
+
+abstract Base = {
+
+cat
+  S ; 
+  NP ; 
+  CN ; 
+  AP ; 
+  A2 ; 
+  Conj ;
+fun 
+  PredAP  : NP -> AP -> S ;
+
+  ComplA2 : A2 -> NP -> AP ;
+
+  ModCN   : AP -> CN -> CN ;
+
+  ConjS   : Conj -> S -> S -> S ;
+  ConjAP  : Conj -> AP -> AP -> AP ;
+  ConjNP  : Conj -> NP -> NP -> NP ;
+
+  Every   : CN -> NP ;
+  Some    : CN -> NP ;
+
+  And, Or : Conj ;  
+
+-- lexicon
+
+  UseInt  : Int -> NP ;
+
+  Number : CN ;
+  Even, Odd, Prime : AP ;
+  Equal, Greater, Smaller, Divisible  : A2 ;
+
+}
+