simplified the treatment of politeness in Phrasebook

This commit is contained in:
aarne
2010-03-30 18:48:59 +00:00
parent de909a4e44
commit 5cb147fa19
24 changed files with 157 additions and 183 deletions

View File

@@ -7,14 +7,10 @@ abstract Sentences = Numeral ** {
Place ; PlaceKind ; Currency ; Price ; Language ;
Person ; Action ;
-- abstract parameters
Politeness ;
-- Gender ;
fun
-- these phrases are formed here, not in Phrasebook, as they are functorial
PSentence : Politeness -> Sentence -> Phrase ;
PQuestion : Politeness -> Question -> Phrase ;
PSentence : Sentence -> Phrase ;
PQuestion : Question -> Phrase ;
PObject : Object -> Phrase ;
PKind : Kind -> Phrase ;
@@ -50,9 +46,6 @@ abstract Sentences = Numeral ** {
ThePlace : PlaceKind -> Place ;
I, You : Person ;
Polite, Familiar : Politeness ;
-- Male, Female : Gender ;
I, YouFam, YouPol : Person ;
}