From a04c40348b7a8bc6cc237f992b8abb70a87d2f7f Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 22 Oct 2004 07:59:13 +0000 Subject: basic --- grammars/basic/tut1.Abs.gf | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 grammars/basic/tut1.Abs.gf (limited to 'grammars/basic/tut1.Abs.gf') diff --git a/grammars/basic/tut1.Abs.gf b/grammars/basic/tut1.Abs.gf new file mode 100644 index 000000000..195ca3b87 --- /dev/null +++ b/grammars/basic/tut1.Abs.gf @@ -0,0 +1,12 @@ +cat +S ; NP ; A1 ; CN ; + +fun +PredA1 : NP -> A1 -> S ; +CondS : S -> S -> S ; +DisjA1 : A1 -> A1 -> A1 ; +Every : CN -> NP ; +ModA1 : CN -> A1 -> CN ; +Number : CN ; +Even : A1 ; Odd : A1 ; Prime : A1 ; +Zero : NP ; -- cgit v1.2.3