From e86db4d8c8287790a90955fefec10b7a64988ff8 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 19 Oct 2007 22:12:30 +0000 Subject: two versions of semantics (the Logic version incomplete) --- examples/tutorial/semantics/Base.gf | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 examples/tutorial/semantics/Base.gf (limited to 'examples/tutorial/semantics/Base.gf') 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 ; + +} + -- cgit v1.2.3