diff options
| author | aarne <aarne@chalmers.se> | 2010-05-29 09:18:20 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-05-29 09:18:20 +0000 |
| commit | 510a4044675fdc6540e4a74aee656f25bdde9319 (patch) | |
| tree | dea66f32061bf23e7422576a32bc98cd730aaaca /examples/phrasebook/Sentences.gf | |
| parent | deacb0219575d8e8ae8e6f0fdfb379bfe05aceb0 (diff) | |
more accurate treatment of negative "have" clauses in Phrasebook
Diffstat (limited to 'examples/phrasebook/Sentences.gf')
| -rw-r--r-- | examples/phrasebook/Sentences.gf | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/examples/phrasebook/Sentences.gf b/examples/phrasebook/Sentences.gf index 2d2fc8aab..45b82f030 100644 --- a/examples/phrasebook/Sentences.gf +++ b/examples/phrasebook/Sentences.gf @@ -134,12 +134,16 @@ abstract Sentences = Numeral ** { -- Actions are typically language-dependent, not only lexically but also -- structurally. However, these ones are mostly functorial. - AHave : Person -> Object -> Action ; -- you have pizzas + SHave : Person -> Object -> Sentence ; -- you have beer + SHaveNo : Person -> Kind -> Sentence ; -- you have no apples + SHaveNoMass : Person -> MassKind -> Sentence ; -- you have no beer + QDoHave : Person -> Object -> Question ; -- do you have beer + AHaveCurr : Person -> Currency -> Action ; -- you have dollars ACitizen : Person -> Citizenship -> Action ; -- you are Swedish ABePlace : Person -> Place -> Action ; -- you are in the bar - ByTransp : Transport -> ByTransport ; -- by bus + ByTransp : Transport -> ByTransport ; -- by bus } |
