Ita and Fre superlatives, Ita possessives, in Phrasebook

This commit is contained in:
aarne
2010-05-26 14:11:23 +00:00
parent 0f82695c31
commit 231c63aa41
5 changed files with 60 additions and 32 deletions

View File

@@ -1,7 +1,8 @@
concrete SentencesFre of Sentences = NumeralFre ** SentencesI - [
QProp,
IFemale, YouFamFemale, YouPolFemale,
PYesToNo
PYesToNo,
Superlative
]
with
(Syntax = SyntaxFre),
@@ -9,6 +10,8 @@ concrete SentencesFre of Sentences = NumeralFre ** SentencesI - [
(Lexicon = LexiconFre) **
open SyntaxFre, ExtraFre, Prelude in {
lincat
Superlative = {s : Ord ; isPre : Bool} ;
lin
QProp a =
lin QS {s = \\_ => (EstcequeS (mkS a)).s} ;