diff options
| author | aarne <aarne@chalmers.se> | 2010-04-04 20:44:37 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-04-04 20:44:37 +0000 |
| commit | 09171eecb4d15d27f37a0619230915e05e50dde0 (patch) | |
| tree | 63904263e5f713e67bca58abba52d3864ffd42e1 /examples/phrasebook/Sentences.gf | |
| parent | cdd9efa5597c691c4e7a819d18331ea2e034cb70 (diff) | |
reduced overgeneration by only allowing one AdA in Phrasebook
Diffstat (limited to 'examples/phrasebook/Sentences.gf')
| -rw-r--r-- | examples/phrasebook/Sentences.gf | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/examples/phrasebook/Sentences.gf b/examples/phrasebook/Sentences.gf index 453db03f8..73fb8a109 100644 --- a/examples/phrasebook/Sentences.gf +++ b/examples/phrasebook/Sentences.gf @@ -3,7 +3,7 @@ abstract Sentences = Numeral ** { cat Phrase ; Sentence ; Question ; - Object ; Item ; Kind ; Quality ; + Object ; Item ; Kind ; Quality ; Property ; Place ; PlaceKind ; Currency ; Price ; Language ; Person ; Action ; @@ -36,13 +36,15 @@ abstract Sentences = Numeral ** { ItCost : Item -> Price -> Sentence ; AmountCurrency : Numeral -> Currency -> Price ; - ObjItem : Item -> Object ; + ObjItem : Item -> Object ; ObjNumber : Numeral -> Kind -> Object ; + ObjIndef : Kind -> Object ; This, That, These, Those, The, Thes : Kind -> Item ; SuchKind : Quality -> Kind -> Kind ; - Very : Quality -> Quality ; - Too : Quality -> Quality ; + Very : Property -> Quality ; + Too : Property -> Quality ; + PropQuality : Property -> Quality ; ThePlace : PlaceKind -> Place ; |
