mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-07 10:12:51 -06:00
thai phrasebook example started
This commit is contained in:
54
examples/travel/Travel.gf
Normal file
54
examples/travel/Travel.gf
Normal file
@@ -0,0 +1,54 @@
|
||||
abstract Travel = {
|
||||
|
||||
flags startcat=Phrase ;
|
||||
|
||||
cat
|
||||
Phrase ;
|
||||
|
||||
Greeting ;
|
||||
Order ;
|
||||
Question ;
|
||||
Sentence ;
|
||||
|
||||
Object ;
|
||||
Kind ;
|
||||
Quality ;
|
||||
Number ;
|
||||
|
||||
Speaker ;
|
||||
Hearer ;
|
||||
Gender ;
|
||||
Quantity ;
|
||||
|
||||
fun
|
||||
PGreeting : Greeting -> Speaker -> Hearer -> Phrase ;
|
||||
POrder : Order -> Speaker -> Hearer -> Phrase ;
|
||||
PQuestion : Question -> Speaker -> Hearer -> Phrase ;
|
||||
PSentence : Sentence -> Speaker -> Hearer -> Phrase ;
|
||||
|
||||
MkSpeaker : Gender -> Quantity -> Speaker ;
|
||||
MkHearer : Gender -> Quantity -> Hearer ;
|
||||
|
||||
Male, Female : Gender ;
|
||||
Single, Many : Quantity ;
|
||||
|
||||
Hello : Greeting ;
|
||||
Thanks : Greeting ;
|
||||
|
||||
IWant : Object -> Order ;
|
||||
|
||||
DoYouHave : Kind -> Question ;
|
||||
IsIt : Object -> Quality -> Sentence ;
|
||||
|
||||
ItIs : Object -> Quality -> Sentence ;
|
||||
|
||||
Indef : Kind -> Object ;
|
||||
This : Kind -> Object ;
|
||||
NumberObjects : Number -> Kind -> Object ;
|
||||
|
||||
One, Two, Five, Ten : Number ;
|
||||
|
||||
Mango : Kind ;
|
||||
Green : Quality ;
|
||||
|
||||
}
|
||||
Reference in New Issue
Block a user