summaryrefslogtreecommitdiff
path: root/examples/phrasebook/Greetings.gf
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2010-03-30 18:48:59 +0000
committeraarne <aarne@chalmers.se>2010-03-30 18:48:59 +0000
commit5cb147fa19fdd348a24bc9d90fc8b5a6041530d8 (patch)
tree73a42a9aa38df413443e2a8a730e8e669f70604d /examples/phrasebook/Greetings.gf
parentde909a4e44419562ca4ba071e15cf9b8e00288be (diff)
simplified the treatment of politeness in Phrasebook
Diffstat (limited to 'examples/phrasebook/Greetings.gf')
-rw-r--r--examples/phrasebook/Greetings.gf6
1 files changed, 3 insertions, 3 deletions
diff --git a/examples/phrasebook/Greetings.gf b/examples/phrasebook/Greetings.gf
index bdbc1b5bc..f9ac0d072 100644
--- a/examples/phrasebook/Greetings.gf
+++ b/examples/phrasebook/Greetings.gf
@@ -7,9 +7,9 @@ fun
GHello : Greeting ;
GThanks : Greeting ;
GHowAreYou : Greeting ;
- GPleaseGive : Greeting ;
- GExcuse : Greeting ;
- GSorry : Greeting ;
+ GPleaseGive, GPleaseGivePol : Greeting ;
+ GExcuse, GExcusePol : Greeting ;
+ GSorry, GSorryPol : Greeting ;
GGoodbye : Greeting ;
GBye : Greeting ;
GWhatsYourName : Greeting ;