diff options
Diffstat (limited to 'examples/tutorial/semantics/Base.gf')
| -rw-r--r-- | examples/tutorial/semantics/Base.gf | 37 |
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 ; + +} + |