added Words.Pound and Sentences.AHaveCurr

This commit is contained in:
aarne
2010-04-29 14:12:46 +00:00
parent 27ae61f9ca
commit a327761776
2 changed files with 5 additions and 3 deletions

View File

@@ -128,9 +128,10 @@ abstract Sentences = Numeral ** {
-- Actions are typically language-dependent, not only lexically but also
-- structurally. However, these ones are mostly functorial.
AHave : Person -> Kind -> Action ; -- you have a pizza
ACitizen : Person -> Citizenship -> Action ; -- you are Swedish
ABePlace : Person -> Place -> Action ; -- you are in the bar
AHave : Person -> Kind -> Action ; -- you have a pizza
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