This commit is contained in:
aarne
2004-10-22 07:59:13 +00:00
parent 96edcf45d9
commit a04c40348b
9 changed files with 248 additions and 53 deletions

View File

@@ -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 ;