diff options
| author | aarne <aarne@chalmers.se> | 2010-04-16 09:57:10 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-04-16 09:57:10 +0000 |
| commit | 727b3bf626ae41623e496dc8063e4d3818d2b513 (patch) | |
| tree | f36f1cff0c67820a4afb1d79525579bbb608416c /examples/phrasebook/Words.gf | |
| parent | 03c64d9f3d977fec443831d759ebdfca3058bed5 (diff) | |
conjunction of Object in Phrasebook
Diffstat (limited to 'examples/phrasebook/Words.gf')
| -rw-r--r-- | examples/phrasebook/Words.gf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/examples/phrasebook/Words.gf b/examples/phrasebook/Words.gf index f595eac84..755a91c53 100644 --- a/examples/phrasebook/Words.gf +++ b/examples/phrasebook/Words.gf @@ -80,7 +80,7 @@ abstract Words = Sentences ** { AHasAge : Person -> Number -> Action ; -- I am seventy years AHasChildren: Person -> Number -> Action ; -- I have six children - AHasName : Person -> Name -> Action ; -- my name is Bond + AHasName : Person -> Name -> Action ; -- my name is Bond AHasRoom : Person -> Number -> Action ; -- you have a room for five persons AHasTable : Person -> Number -> Action ; -- you have a table for five persons AHungry : Person -> Action ; -- I am hungry @@ -102,7 +102,7 @@ abstract Words = Sentences ** { -- Miscellaneous phrases. Notice that also negations and questions can be formed from -- propositions. - QWhatAge : Person -> Question ; -- how many years are you + QWhatAge : Person -> Question ; -- how old are you QWhatName : Person -> Question ; -- what is your name HowMuchCost : Item -> Question ; -- how much does the pizza cost ItCost : Item -> Price -> Proposition ; -- the pizza costs five euros |