mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-17 00:39:32 -06:00
21 lines
497 B
Plaintext
21 lines
497 B
Plaintext
abstract Sentences = Numeral ** {
|
|
|
|
cat
|
|
Sentence ; Object ; Item ; Kind ; Quality ;
|
|
|
|
fun
|
|
Is : Item -> Quality -> Sentence ;
|
|
IsNot : Item -> Quality -> Sentence ;
|
|
|
|
IWant : Object -> Sentence ;
|
|
DoYouHave : Kind -> Sentence ;
|
|
WhetherIs : Item -> Quality -> Sentence ;
|
|
ObjItem : Item -> Object ;
|
|
ObjNumber : Numeral -> Kind -> Object ;
|
|
|
|
This, That, These, Those : Kind -> Item ;
|
|
SuchKind : Quality -> Kind -> Kind ;
|
|
Very : Quality -> Quality ;
|
|
|
|
}
|