diff options
Diffstat (limited to 'grammars/basic/Basic.gf')
| -rw-r--r-- | grammars/basic/Basic.gf | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/grammars/basic/Basic.gf b/grammars/basic/Basic.gf new file mode 100644 index 000000000..034d9ba29 --- /dev/null +++ b/grammars/basic/Basic.gf @@ -0,0 +1,15 @@ +abstract Basic = { + +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 ; +} |
