diff options
| author | aarne <unknown> | 2004-10-22 07:59:13 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-10-22 07:59:13 +0000 |
| commit | a04c40348b7a8bc6cc237f992b8abb70a87d2f7f (patch) | |
| tree | 3b3b9d9fc610b970c9080f0e1344f7865ba49570 /grammars/basic/tut1.Abs.gf | |
| parent | 96edcf45d99896aee17664b31e4041369b972a8b (diff) | |
basic
Diffstat (limited to 'grammars/basic/tut1.Abs.gf')
| -rw-r--r-- | grammars/basic/tut1.Abs.gf | 12 |
1 files changed, 12 insertions, 0 deletions
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 ; |