From e8adb69e3de69dba87beb59279365ecadee22085 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 7 Dec 2010 12:32:57 +0000 Subject: slight refactoring of Phrasebook, with less start words --- examples/phrasebook/Words.gf | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'examples/phrasebook/Words.gf') diff --git a/examples/phrasebook/Words.gf b/examples/phrasebook/Words.gf index 748189d62..6964a022c 100644 --- a/examples/phrasebook/Words.gf +++ b/examples/phrasebook/Words.gf @@ -157,11 +157,9 @@ abstract Words = Sentences ** { PropOpenDay : Place -> Day -> Proposition ; -- the museum is open on Mondays PropClosedDay : Place -> Day -> Proposition ; -- the museum is closed on Mondays - PSeeYouPlaceDate : Place -> Date -> Phrase ; -- see you in the bar on Monday - PSeeYouPlace : Place -> Phrase ; -- see you in the bar - PSeeYouDate : Date -> Phrase ; -- see you on Monday - - + PSeeYouPlaceDate : Place -> Date -> Greeting ; -- see you in the bar on Monday + PSeeYouPlace : Place -> Greeting ; -- see you in the bar + PSeeYouDate : Date -> Greeting ; -- see you on Monday -- family relations -- cgit v1.2.3