diff options
Diffstat (limited to 'examples/phrasebook/Sentences.gf')
| -rw-r--r-- | examples/phrasebook/Sentences.gf | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/examples/phrasebook/Sentences.gf b/examples/phrasebook/Sentences.gf index d1f79498b..c5105b079 100644 --- a/examples/phrasebook/Sentences.gf +++ b/examples/phrasebook/Sentences.gf @@ -1,10 +1,21 @@ abstract Sentences = Numeral ** { cat + Phrase ; Sentence ; Question ; Object ; Item ; Kind ; Quality ; Place ; PlaceKind ; Currency ; Price ; fun + -- these phrases are formed here, not in Phrasebook, as they are functorial + PObject : Object -> Phrase ; + PKind : Kind -> Phrase ; + PQuality : Quality -> Phrase ; + PNumeral : Numeral -> Phrase ; + PPlace : Place -> Phrase ; + PPlaceKind: PlaceKind-> Phrase ; + PCurrency : Currency -> Phrase ; + PPrice : Price -> Phrase ; + Is : Item -> Quality -> Sentence ; IsNot : Item -> Quality -> Sentence ; |