more accurate treatment of negative "have" clauses in Phrasebook

This commit is contained in:
aarne
2010-05-29 09:18:20 +00:00
parent deacb02195
commit 510a404467
6 changed files with 40 additions and 10 deletions

View File

@@ -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
}