--# -path=.:french:romance:abstract:prelude:common concrete BasicFre of Basic = CatFre - [Text] ** open DictLangFre, CommonRomance, Prelude, ParamBasic,Coordination, ParamX, ResFre,ParadigmsFre in{ lincat Class = CN ; El = NP ; Ind = NP ; Var = PN ; SubClass = {} ; SubClassC = {} ; Inherits = {} ; Desc = CN ; Formula = PolSentence; [El] = {s1,s2 : Case => Str ; a : Agr}; [Class] = {s1,s2 : Number => Str ; g : Gender}; Stmt = StmtS; lin BaseClass = {s1,s2 = \\_ => ""; g = Masc} ; ConsClass xs x = consrTable Number comma xs x ** {g = x.g} ; BaseEl c = {s1,s2 = \\_ => ""; a = agrP3 Masc Sg}; ConsEl cl x xs = { s1 = \\c => (x.s ! c).comp ++ comma ++ xs.s1 ! c ; s2 = \\c => xs.s2 ! c ; a = conjAgr x.a xs.a } ; and f1 f2 = {s = \\f,c => f1.s ! Indep ! c ++ "et" ++ f2.s ! Indep ! c; flag = NothingS; lock_PolSentence = <>}; or f1 f2 = {s = \\f,c => f1.s ! Indep ! c ++ "ou" ++ f2.s ! Indep ! c; flag = NothingS; lock_PolSentence = <>}; not f1 = {s = \\f,c => case c of {Pos => f1.s ! Indep ! Neg ; _ => f1.s ! Indep ! Pos }; flag = NothingS; lock_PolSentence = <>}; impl f1 f2 = {s = \\f,c => "si" ++ f1.s ! Indep ! c ++ "alors" ++ f2.s ! Indep ! c; flag = NothingS; lock_PolSentence = <>}; equiv f1 f2 = {s = \\f,c => f1.s ! Indep ! c ++ "est" ++ "equivalent" ++ "à" ++ f2.s ! Indep ! c; flag = NothingS; lock_PolSentence = <>}; var c1 c2 i e = let np = UsePN e in {s = np.s; a = agrP3 c1.g Sg; isPol = False; hasClit = False; lock_NP = <>}; el c1 c2 i e = e ; exists C f = let np = DetCN (DetQuant IndefArt NumSg) C ; tel = case C.g of {Masc => "tel"; _ => "telle" } in {s = \\form,c => case