forked from GitHub/gf-core
16 lines
231 B
Plaintext
16 lines
231 B
Plaintext
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 ;
|
|
}
|