diff options
| author | aarne <aarne@chalmers.se> | 2010-03-30 18:48:59 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-03-30 18:48:59 +0000 |
| commit | 5cb147fa19fdd348a24bc9d90fc8b5a6041530d8 (patch) | |
| tree | 73a42a9aa38df413443e2a8a730e8e669f70604d /examples/phrasebook/Phrasebook.gf | |
| parent | de909a4e44419562ca4ba071e15cf9b8e00288be (diff) | |
simplified the treatment of politeness in Phrasebook
Diffstat (limited to 'examples/phrasebook/Phrasebook.gf')
| -rw-r--r-- | examples/phrasebook/Phrasebook.gf | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/examples/phrasebook/Phrasebook.gf b/examples/phrasebook/Phrasebook.gf index 6a0fdad80..6872a9ace 100644 --- a/examples/phrasebook/Phrasebook.gf +++ b/examples/phrasebook/Phrasebook.gf @@ -6,10 +6,6 @@ abstract Phrasebook = flags startcat = Phrase ; fun - --- here rather than Sentences, because not functorial - PGreeting : Politeness -> Greeting -> Phrase ; ----- PGreeting : Politeness -> Gender -> Gender -> Greeting -> Phrase ; - -- politeness level, speaker, hearer + PGreeting : Greeting -> Phrase ; } |