diff options
| author | aarne <aarne@chalmers.se> | 2010-03-28 19:29:06 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-03-28 19:29:06 +0000 |
| commit | 93daaabf3df88b5fa16065c027c370cdf9b487b2 (patch) | |
| tree | e8a35d5b7af1d44618b48f0d0267bc5ff110b341 /examples/phrasebook/Sentences.gf | |
| parent | 3903b6b85222d5d266f859f4d029b12159cdf814 (diff) | |
Action category, more doc in Phrasebook
Diffstat (limited to 'examples/phrasebook/Sentences.gf')
| -rw-r--r-- | examples/phrasebook/Sentences.gf | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/examples/phrasebook/Sentences.gf b/examples/phrasebook/Sentences.gf index c5105b079..77baf3785 100644 --- a/examples/phrasebook/Sentences.gf +++ b/examples/phrasebook/Sentences.gf @@ -2,8 +2,10 @@ abstract Sentences = Numeral ** { cat Phrase ; - Sentence ; Question ; Object ; Item ; Kind ; Quality ; - Place ; PlaceKind ; Currency ; Price ; + Sentence ; Question ; + Object ; Item ; Kind ; Quality ; + Place ; PlaceKind ; Currency ; Price ; Language ; + Person ; Action ; fun -- these phrases are formed here, not in Phrasebook, as they are functorial @@ -15,15 +17,17 @@ abstract Sentences = Numeral ** { PPlaceKind: PlaceKind-> Phrase ; PCurrency : Currency -> Phrase ; PPrice : Price -> Phrase ; + PLanguage : Language -> Phrase ; Is : Item -> Quality -> Sentence ; IsNot : Item -> Quality -> Sentence ; - IWant : Object -> Sentence ; - ILike : Item -> Sentence ; - DoYouHave : Kind -> Question ; WhetherIs : Item -> Quality -> Question ; - WhereIs : Place -> Question ; + WhereIs : Place -> Question ; + + SAction : Action -> Sentence ; + SNotAction : Action -> Sentence ; + QAction : Action -> Question ; HowMuchCost : Item -> Question ; ItCost : Item -> Price -> Sentence ; @@ -37,6 +41,8 @@ abstract Sentences = Numeral ** { Very : Quality -> Quality ; Too : Quality -> Quality ; + I, You : Person ; + ThePlace : PlaceKind -> Place ; } |