Parse Succesful!

[Abstract Syntax]

(Gr [(MModule CMCompl (MTInterface "SyntaxRomance") (MBody (Ext [(IAll "TypesRomance")]) (OpenIn [(OName "Prelude"), (OQual QOCompl "CO" "Coordination")]) [(DefFlag [(FlagDefC "coding" "utf8")]), (DefOper [(DFull [(IdentName "CommNoun")] (ESort Sort_Type) (ERecord [(LDDecl ["s"] (ETType (EIdent "Number") (ESort Sort_Str))), (LDDecl ["g"] (EIdent "Gender"))])), (DDef [(IdentName "CommNounPhrase")] (EIdent "CommNoun")), (DFull [(IdentName "noun2CommNounPhrase")] (EProd (DExp (EIdent "CommNounPhrase")) (EIdent "CommNoun")) (EAbstr [(BIdent "x")] (EIdent "x"))), (DFull [(IdentName "commonNounComp")] (EProd (DExp (EIdent "CommNoun")) (EProd (DExp (ESort Sort_Str)) (EIdent "CommNoun"))) (EAbstr [(BIdent "numero"), (BIdent "detelephone")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "n")] (EConcat (ESelect (EProj (EIdent "numero") (LIdent "s")) (EIdent "n")) (EIdent "detelephone")))), (LDDef ["g"] (EProj (EIdent "numero") (LIdent "g")))]))), (DFull [(IdentName "ProperName")] (ESort Sort_Type) (ERecord [(LDDecl ["s"] (ESort Sort_Str)), (LDDecl ["g"] (EIdent "Gender"))])), (DFull [(IdentName "NounPhrase")] (ESort Sort_Type) (EIdent "Pronoun")), (DDeclC [(IdentName "nameNounPhrase")] (EProd (DExp (EIdent "ProperName")) (EIdent "NounPhrase"))), (DFull [(IdentName "mkProperName")] (EProd (DExp (ESort Sort_Str)) (EProd (DExp (EIdent "Gender")) (EIdent "ProperName"))) (EAbstr [(BIdent "jean"), (BIdent "m")] (ERecord [(LDDef ["s"] (EIdent "jean")), (LDDef ["g"] (EIdent "m"))]))), (DFull [(IdentName "mkNameNounPhrase")] (EProd (DExp (ESort Sort_Str)) (EProd (DExp (EIdent "Gender")) (EIdent "NounPhrase"))) (EAbstr [(BIdent "jean"), (BIdent "m")] (EApp (EIdent "nameNounPhrase") (EApp (EApp (EIdent "mkProperName") (EIdent "jean")) (EIdent "m"))))), (DDeclC [(IdentName "nounPhraseOn")] (EIdent "NounPhrase")), (DFull [(IdentName "normalNounPhrase")] (EProd (DExp (ETType (EIdent "CaseA") (ESort Sort_Str))) (EProd (DExp (EIdent "Gender")) (EProd (DExp (EIdent "Number")) (EIdent "NounPhrase")))) (EAbstr [(BIdent "cs"), (BIdent "g"), (BIdent "n")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "p")] (ESelect (EIdent "cs") (EApp (EIdent "pform2case") (EIdent "p"))))), (LDDef ["g"] (EApp (EIdent "PGen") (EIdent "g"))), (LDDef ["n"] (EIdent "n")), (LDDef ["p"] (EIdent "P3")), (LDDef ["c"] (EIdent "Clit0"))]))), (DFull [(IdentName "pronNounPhrase")] (EProd (DExp (EIdent "Pronoun")) (EIdent "NounPhrase")) (EAbstr [(BIdent "pro")] (EIdent "pro"))), (DFull [(IdentName "Numeral")] (ESort Sort_Type) (ERecord [(LDDecl ["s"] (ETType (EIdent "Gender") (ESort Sort_Str))), (LDDecl ["n"] (EIdent "Number")), (LDDecl ["isNo"] (EIdent "Bool"))])), (DFull [(IdentName "pronWithNum")] (EProd (DExp (EIdent "Pronoun")) (EProd (DExp (EIdent "Numeral")) (EIdent "Pronoun"))) (EAbstr [(BIdent "nous"), (BIdent "deux")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "c")] (EConcat (ESelect (EProj (EIdent "nous") (LIdent "s")) (EIdent "c")) (ESelect (EProj (EIdent "deux") (LIdent "s")) (EApp (EIdent "pgen2gen") (EProj (EIdent "nous") (LIdent "g"))))))), (LDDef ["g"] (EProj (EIdent "nous") (LIdent "g"))), (LDDef ["n"] (EProj (EIdent "nous") (LIdent "n"))), (LDDef ["p"] (EProj (EIdent "nous") (LIdent "p"))), (LDDef ["c"] (EProj (EIdent "nous") (LIdent "c")))]))), (DFull [(IdentName "noNum")] (EIdent "Numeral") (ERecord [(LDDef ["s"] (ECTable [BWild] EEmpty)), (LDDef ["n"] (EIdent "Pl")), (LDDef ["isNo"] (EIdent "True"))])), (DDeclC [(IdentName "existNounPhrase")] (EProd (DExp (EIdent "NounPhrase")) (EIdent "Clause"))), (DFull [(IdentName "addSymbNounPhrase")] (EProd (DExp (EIdent "NounPhrase")) (EProd (DExp (ESort Sort_Str)) (EIdent "NounPhrase"))) (EAbstr [(BIdent "np"), (BIdent "x")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "c")] (EConcat (ESelect (EProj (EIdent "np") (LIdent "s")) (EIdent "c")) (EIdent "x")))), (LDDef ["g"] (EProj (EIdent "np") (LIdent "g"))), (LDDef ["n"] (EProj (EIdent "np") (LIdent "n"))), (LDDef ["p"] (EProj (EIdent "np") (LIdent "p"))), (LDDef ["c"] (EProj (EIdent "np") (LIdent "c")))]))), (DFull [(IdentName "Determiner")] (ESort Sort_Type) (ERecord [(LDDecl ["s"] (ETType (EIdent "Gender") (ESort Sort_Str))), (LDDecl ["n"] (EIdent "Number"))])), (DFull [(IdentName "DeterminerNum")] (ESort Sort_Type) (ERecord [(LDDecl ["s"] (ETType (EIdent "Gender") (ESort Sort_Str)))])), (DFull [(IdentName "detNounPhrase")] (EProd (DExp (EIdent "Determiner")) (EProd (DExp (EIdent "CommNoun")) (EIdent "NounPhrase"))) (EAbstr [(BIdent "tout"), (BIdent "homme")] (EApp (EApp (EApp (EIdent "normalNounPhrase") (ECTable [(BIdent "c")] (EConcat (EApp (EIdent "prepCase") (EIdent "c")) (EConcat (ESelect (EProj (EIdent "tout") (LIdent "s")) (EProj (EIdent "homme") (LIdent "g"))) (ESelect (EProj (EIdent "homme") (LIdent "s")) (EProj (EIdent "tout") (LIdent "n"))))))) (EProj (EIdent "homme") (LIdent "g"))) (EProj (EIdent "tout") (LIdent "n"))))), (DFull [(IdentName "numDetNounPhrase")] (EProd (DExp (EIdent "DeterminerNum")) (EProd (DExp (EIdent "Numeral")) (EProd (DExp (EIdent "CommNounPhrase")) (EIdent "NounPhrase")))) (EAbstr [(BIdent "tous"), (BIdent "six"), (BIdent "homme")] (EApp (EApp (EApp (EIdent "normalNounPhrase") (ECTable [(BIdent "c")] (EConcat (EApp (EIdent "prepCase") (EIdent "c")) (EConcat (ESelect (EProj (EIdent "tous") (LIdent "s")) (EProj (EIdent "homme") (LIdent "g"))) (EConcat (ESelect (EProj (EIdent "six") (LIdent "s")) (EProj (EIdent "homme") (LIdent "g"))) (ESelect (EProj (EIdent "homme") (LIdent "s")) (EProj (EIdent "six") (LIdent "n")))))))) (EProj (EIdent "homme") (LIdent "g"))) (EProj (EIdent "six") (LIdent "n"))))), (DFull [(IdentName "justNumDetNounPhrase")] (EProd (DExp (EIdent "DeterminerNum")) (EProd (DExp (EIdent "Numeral")) (EIdent "NounPhrase"))) (EAbstr [(BIdent "tous"), (BIdent "six")] (EApp (EApp (EApp (EIdent "normalNounPhrase") (ECTable [(BIdent "c")] (EConcat (EApp (EIdent "prepCase") (EIdent "c")) (EConcat (ESelect (EProj (EIdent "tous") (LIdent "s")) (EIdent "Masc")) (ESelect (EProj (EIdent "six") (LIdent "s")) (EIdent "Masc")))))) (EIdent "Masc")) (EProj (EIdent "six") (LIdent "n"))))), (DFull [(IdentName "mkDeterminer")] (EProd (DExp (EIdent "Number")) (EProd (DExp (ESort Sort_Str)) (EProd (DExp (ESort Sort_Str)) (EIdent "Determiner")))) (EAbstr [(BIdent "n"), (BIdent "tous"), (BIdent "toutes")] (ERecord [(LDDef ["s"] (EApp (EApp (EIdent "genForms") (EIdent "tous")) (EIdent "toutes"))), (LDDef ["n"] (EIdent "n"))]))), (DFull [(IdentName "mkDeterminer1")] (EProd (DExp (EIdent "Number")) (EProd (DExp (ESort Sort_Str)) (EIdent "Determiner"))) (EAbstr [(BIdent "n"), (BIdent "chaque")] (EApp (EApp (EApp (EIdent "mkDeterminer") (EIdent "n")) (EIdent "chaque")) (EIdent "chaque")))), (DFull [(IdentName "mkDeterminerNum")] (EProd (DExp (ESort Sort_Str)) (EProd (DExp (ESort Sort_Str)) (EIdent "DeterminerNum"))) (EAbstr [(BIdent "tous"), (BIdent "toutes")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "g")] (ESelect (EApp (EApp (EIdent "genForms") (EIdent "tous")) (EIdent "toutes")) (EIdent "g"))))]))), (DFull [(IdentName "indefNounPhrase")] (EProd (DExp (EIdent "Number")) (EProd (DExp (EIdent "CommNounPhrase")) (EIdent "NounPhrase"))) (EAbstr [(BIdent "n"), (BIdent "mec")] (EApp (EApp (EApp (EIdent "normalNounPhrase") (ECTable [(BIdent "c")] (EConcat (EApp (EApp (EApp (EIdent "artIndef") (EProj (EIdent "mec") (LIdent "g"))) (EIdent "n")) (EIdent "c")) (ESelect (EProj (EIdent "mec") (LIdent "s")) (EIdent "n"))))) (EProj (EIdent "mec") (LIdent "g"))) (EIdent "n")))), (DFull [(IdentName "indefNounPhraseNum")] (EProd (DExp (EIdent "Numeral")) (EProd (DExp (EIdent "CommNounPhrase")) (EIdent "NounPhrase"))) (EAbstr [(BIdent "nu"), (BIdent "mec")] (EApp (EApp (EApp (EIdent "normalNounPhrase") (ECTable [(BIdent "c")] (ECase (EProj (EIdent "nu") (LIdent "isNo")) [(CaseC [(AltP (PV "True"))] (EConcat (EApp (EApp (EApp (EIdent "artIndef") (EProj (EIdent "mec") (LIdent "g"))) (EIdent "Pl")) (EIdent "c")) (ESelect (EProj (EIdent "mec") (LIdent "s")) (EIdent "Pl")))), (CaseC [(AltP PW)] (EConcat (EApp (EIdent "prepCase") (EIdent "c")) (EConcat (ESelect (EProj (EIdent "nu") (LIdent "s")) (EProj (EIdent "mec") (LIdent "g"))) (ESelect (EProj (EIdent "mec") (LIdent "s")) (EProj (EIdent "nu") (LIdent "n"))))))]))) (EProj (EIdent "mec") (LIdent "g"))) (EProj (EIdent "nu") (LIdent "n"))))), (DFull [(IdentName "defNounPhrase")] (EProd (DExp (EIdent "Number")) (EProd (DExp (EIdent "CommNounPhrase")) (EIdent "NounPhrase"))) (EAbstr [(BIdent "n"), (BIdent "mec")] (EApp (EApp (EApp (EIdent "normalNounPhrase") (ECTable [(BIdent "c")] (EConcat (EApp (EApp (EApp (EIdent "artDef") (EProj (EIdent "mec") (LIdent "g"))) (EIdent "n")) (EIdent "c")) (ESelect (EProj (EIdent "mec") (LIdent "s")) (EIdent "n"))))) (EProj (EIdent "mec") (LIdent "g"))) (EIdent "n")))), (DFull [(IdentName "defNounPhraseNum")] (EProd (DExp (EIdent "Numeral")) (EProd (DExp (EIdent "CommNounPhrase")) (EIdent "NounPhrase"))) (EAbstr [(BIdent "nu"), (BIdent "mec")] (EApp (EApp (EApp (EIdent "normalNounPhrase") (ECTable [(BIdent "c")] (EConcat (EApp (EApp (EApp (EIdent "artDef") (EProj (EIdent "mec") (LIdent "g"))) (EProj (EIdent "nu") (LIdent "n"))) (EIdent "c")) (EConcat (ESelect (EProj (EIdent "nu") (LIdent "s")) (EProj (EIdent "mec") (LIdent "g"))) (ESelect (EProj (EIdent "mec") (LIdent "s")) (EProj (EIdent "nu") (LIdent "n"))))))) (EProj (EIdent "mec") (LIdent "g"))) (EProj (EIdent "nu") (LIdent "n"))))), (DFull [(IdentName "indefNoun")] (EProd (DExp (EIdent "Number")) (EProd (DExp (EIdent "CommNounPhrase")) (ESort Sort_Str))) (EAbstr [(BIdent "n"), (BIdent "mec")] (ESelect (EProj (EApp (EApp (EIdent "indefNounPhrase") (EIdent "n")) (EIdent "mec")) (LIdent "s")) (EApp (EIdent "case2pform") (EIdent "nominative"))))), (DFull [(IdentName "npGenDet")] (EProd (DExp (EIdent "Number")) (EProd (DExp (EIdent "NounPhrase")) (EProd (DExp (EIdent "CommNounPhrase")) (EIdent "NounPhrase")))) (EAbstr [(BIdent "n"), (BIdent "jeanne"), (BIdent "mec")] (ELet [(LDFull ["str"] (ETType (EIdent "CaseA") (ESort Sort_Str)) (ECase (EProj (EIdent "jeanne") (LIdent "c")) [(CaseC [(AltP (PV "Clit0"))] (EApp (EApp (EApp (EIdent "npGenDe") (EIdent "n")) (EIdent "jeanne")) (EIdent "mec"))), (CaseC [(AltP PW)] (EApp (EApp (EApp (EIdent "npGenPoss") (EIdent "n")) (EIdent "jeanne")) (EIdent "mec")))]))] (EApp (EApp (EApp (EIdent "normalNounPhrase") (EIdent "str")) (EProj (EIdent "mec") (LIdent "g"))) (EIdent "n"))))), (DFull [(IdentName "npGenDetNum")] (EProd (DExp (EIdent "Numeral")) (EProd (DExp (EIdent "NounPhrase")) (EProd (DExp (EIdent "CommNounPhrase")) (EIdent "NounPhrase")))) (EAbstr [(BIdent "nu"), (BIdent "jeanne"), (BIdent "mec")] (ELet [(LDFull ["str"] (ETType (EIdent "CaseA") (ESort Sort_Str)) (ECase (EProj (EIdent "jeanne") (LIdent "c")) [(CaseC [(AltP (PV "Clit0"))] (EApp (EApp (EApp (EIdent "npGenDeNum") (EIdent "nu")) (EIdent "jeanne")) (EIdent "mec"))), (CaseC [(AltP PW)] (EApp (EApp (EApp (EIdent "npGenPossNum") (EIdent "nu")) (EIdent "jeanne")) (EIdent "mec")))]))] (EApp (EApp (EApp (EIdent "normalNounPhrase") (EIdent "str")) (EProj (EIdent "mec") (LIdent "g"))) (EProj (EIdent "nu") (LIdent "n")))))), (DFull [(IdentName "npGenDe")] (EProd (DExp (EIdent "Number")) (EProd (DExp (EIdent "NounPhrase")) (EProd (DExp (EIdent "CommNounPhrase")) (ETType (EIdent "CaseA") (ESort Sort_Str))))) (EAbstr [(BIdent "n"), (BIdent "jeanne"), (BIdent "mec")] (ECTable [(BIdent "c")] (EConcat (EApp (EApp (EApp (EIdent "artDef") (EProj (EIdent "mec") (LIdent "g"))) (EIdent "n")) (EIdent "c")) (EConcat (ESelect (EProj (EIdent "mec") (LIdent "s")) (EIdent "n")) (ESelect (EProj (EIdent "jeanne") (LIdent "s")) (EApp (EIdent "case2pform") (EIdent "genitive")))))))), (DFull [(IdentName "npGenDeNum")] (EProd (DExp (EIdent "Numeral")) (EProd (DExp (EIdent "NounPhrase")) (EProd (DExp (EIdent "CommNounPhrase")) (ETType (EIdent "CaseA") (ESort Sort_Str))))) (EAbstr [(BIdent "nu"), (BIdent "jeanne"), (BIdent "mec")] (ECTable [(BIdent "c")] (EConcat (EApp (EApp (EApp (EIdent "artDef") (EProj (EIdent "mec") (LIdent "g"))) (EProj (EIdent "nu") (LIdent "n"))) (EIdent "c")) (EConcat (ESelect (EProj (EIdent "nu") (LIdent "s")) (EProj (EIdent "mec") (LIdent "g"))) (EConcat (ESelect (EProj (EIdent "mec") (LIdent "s")) (EProj (EIdent "nu") (LIdent "n"))) (ESelect (EProj (EIdent "jeanne") (LIdent "s")) (EApp (EIdent "case2pform") (EIdent "genitive"))))))))), (DDeclC [(IdentName "npGenPoss")] (EProd (DExp (EIdent "Number")) (EProd (DExp (EIdent "NounPhrase")) (EProd (DExp (EIdent "CommNounPhrase")) (ETType (EIdent "CaseA") (ESort Sort_Str)))))), (DDeclC [(IdentName "npGenPossNum")] (EProd (DExp (EIdent "Numeral")) (EProd (DExp (EIdent "NounPhrase")) (EProd (DExp (EIdent "CommNounPhrase")) (ETType (EIdent "CaseA") (ESort Sort_Str)))))), (DFull [(IdentName "nounThatSentence")] (EProd (DExp (EIdent "CommNounPhrase")) (EProd (DExp (EIdent "Sentence")) (EIdent "CommNounPhrase"))) (EAbstr [(BIdent "idee"), (BIdent "x")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "n")] (EConcat (ESelect (EProj (EIdent "idee") (LIdent "s")) (EIdent "n")) (EConcat (EIdent "elisQue") (ESelect (EProj (EIdent "x") (LIdent "s")) (EIdent "Ind")))))), (LDDef ["g"] (EProj (EIdent "idee") (LIdent "g")))]))), (DDeclC [(IdentName "partitiveNounPhrase")] (EProd (DExp (EIdent "Number")) (EProd (DExp (EIdent "CommNounPhrase")) (EIdent "NounPhrase")))), (DFull [(IdentName "Adjective")] (ESort Sort_Type) (EExtend (EIdent "Adj") (ERecord [(LDDecl ["p"] (EIdent "Bool"))]))), (DDef [(IdentName "adjPre")] (EIdent "True")), (DDef [(IdentName "adjPost")] (EIdent "False")), (DFull [(IdentName "AdjPhrase")] (ESort Sort_Type) (EIdent "Adjective")), (DFull [(IdentName "adj2adjPhrase")] (EProd (DExp (EIdent "Adjective")) (EIdent "AdjPhrase")) (EAbstr [(BIdent "x")] (EIdent "x"))), (DFull [(IdentName "mkAdjective")] (EProd (DExp (EIdent "Adj")) (EProd (DExp (EIdent "Bool")) (EIdent "Adjective"))) (EAbstr [(BIdent "adj"), (BIdent "p")] (EExtend (EIdent "adj") (ERecord [(LDDef ["p"] (EIdent "p"))])))), (DDef [(IdentName "AdjDegr")] (EExtend (EIdent "AdjComp") (ERecord [(LDDecl ["p"] (EIdent "Bool"))]))), (DFull [(IdentName "mkAdjDegr")] (EProd (DExp (EIdent "AdjComp")) (EProd (DExp (EIdent "Bool")) (EIdent "AdjDegr"))) (EAbstr [(BIdent "adj"), (BIdent "p")] (EExtend (EIdent "adj") (ERecord [(LDDef ["p"] (EIdent "p"))])))), (DFull [(IdentName "mkAdjDegrLong")] (EProd (DExp (EIdent "Adj")) (EProd (DExp (EIdent "Bool")) (EIdent "AdjDegr"))) (EAbstr [(BIdent "adj"), (BIdent "p")] (EExtend (EApp (EIdent "adjCompLong") (EIdent "adj")) (ERecord [(LDDef ["p"] (EIdent "p"))])))), (DFull [(IdentName "positAdjPhrase")] (EProd (DExp (EIdent "AdjDegr")) (EIdent "AdjPhrase")) (EAbstr [(BIdent "bon")] (ERecord [(LDDef ["s"] (ESelect (EProj (EIdent "bon") (LIdent "s")) (EIdent "Pos"))), (LDDef ["p"] (EProj (EIdent "bon") (LIdent "p")))]))), (DFull [(IdentName "comparAdjPhrase")] (EProd (DExp (EIdent "AdjDegr")) (EProd (DExp (EIdent "NounPhrase")) (EIdent "AdjPhrase"))) (EAbstr [(BIdent "bon"), (BIdent "toi")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "a")] (EConcat (ESelect (ESelect (EProj (EIdent "bon") (LIdent "s")) (EIdent "Comp")) (EIdent "a")) (EConcat (EIdent "comparConj") (ESelect (EProj (EIdent "toi") (LIdent "s")) (EApp (EIdent "stressed") (EIdent "accusative"))))))), (LDDef ["p"] (EIdent "False"))]))), (DDeclC [(IdentName "comparConj")] (ESort Sort_Str)), (DFull [(IdentName "superlNounPhrase")] (EProd (DExp (EIdent "AdjDegr")) (EProd (DExp (EIdent "CommNoun")) (EIdent "NounPhrase"))) (EAbstr [(BIdent "bon"), (BIdent "mec")] (EApp (EApp (EApp (EIdent "normalNounPhrase") (ECTable [(BIdent "c")] (EConcat (EApp (EApp (EApp (EIdent "artDef") (EProj (EIdent "mec") (LIdent "g"))) (EIdent "Sg")) (EIdent "c")) (EApp (EApp (EApp (EApp (EIdent "if_then_else") (ESort Sort_Str)) (EProj (EIdent "bon") (LIdent "p"))) (EConcat (ESelect (ESelect (EProj (EIdent "bon") (LIdent "s")) (EIdent "Comp")) (EApp (EApp (EIdent "AF") (EProj (EIdent "mec") (LIdent "g"))) (EIdent "Sg"))) (ESelect (EProj (EIdent "mec") (LIdent "s")) (EIdent "Sg")))) (EConcat (ESelect (EProj (EIdent "mec") (LIdent "s")) (EIdent "Sg")) (EConcat (EApp (EApp (EApp (EIdent "artDef") (EProj (EIdent "mec") (LIdent "g"))) (EIdent "Sg")) (EIdent "nominative")) (ESelect (ESelect (EProj (EIdent "bon") (LIdent "s")) (EIdent "Comp")) (EApp (EApp (EIdent "AF") (EProj (EIdent "mec") (LIdent "g"))) (EIdent "Sg"))))))))) (EProj (EIdent "mec") (LIdent "g"))) (EIdent "Sg")))), (DFull [(IdentName "superlAdjPhrase")] (EProd (DExp (EIdent "AdjDegr")) (EIdent "AdjPhrase")) (EAbstr [(BIdent "bon")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "a")] (EConcat (EApp (EApp (EApp (EIdent "artDef") (EApp (EIdent "genAForm") (EIdent "a"))) (EApp (EIdent "numAForm") (EIdent "a"))) (EIdent "nominative")) (ESelect (ESelect (EProj (EIdent "bon") (LIdent "s")) (EIdent "Comp")) (EIdent "a"))))), (LDDef ["p"] (EProj (EIdent "bon") (LIdent "p")))]))), (DFull [(IdentName "predAdjSent")] (EProd (DExp (EExtend (EIdent "Adjective") (ERecord [(LDDecl ["mp", "mn"] (EIdent "Mode"))]))) (EProd (DExp (EIdent "Sentence")) (EIdent "Clause"))) (EAbstr [(BIdent "adj"), (BIdent "ildort")] (EApp (EIdent "sats2clause") (EApp (EApp (EIdent "insertExtrapos") (EApp (EApp (EIdent "mkSatsCopula") (EIdent "pronImpers")) (ESelect (EProj (EIdent "adj") (LIdent "s")) (EApp (EApp (EIdent "AF") (EIdent "Masc")) (EIdent "Sg"))))) (ECTable [(BIdent "b")] (EConcat (EIdent "embedConj") (ESelect (EProj (EIdent "ildort") (LIdent "s")) (EApp (EApp (EApp (EApp (EIdent "if_then_else") (EIdent "Mode")) (EIdent "b")) (EProj (EIdent "adj") (LIdent "mp"))) (EProj (EIdent "adj") (LIdent "mn")))))))))), (DFull [(IdentName "predAdjSent2")] (EProd (DExp (EExtend (EIdent "AdjCompl") (ERecord [(LDDecl ["mp", "mn"] (EIdent "Mode"))]))) (EProd (DExp (EIdent "NounPhrase")) (EExtend (EIdent "Adjective") (ERecord [(LDDecl ["mp", "mn"] (EIdent "Mode"))])))) (EAbstr [(BIdent "facile"), (BIdent "jean")] (EExtend (EApp (EApp (EIdent "complAdj") (EIdent "facile")) (EIdent "jean")) (ERecord [(LDDef ["mp"] (EProj (EIdent "facile") (LIdent "mp"))), (LDDef ["mn"] (EProj (EIdent "facile") (LIdent "mn")))])))), (DDeclC [(IdentName "pronImpers")] (EIdent "NounPhrase")), (DDef [(IdentName "Preposition")] (ESort Sort_Str)), (DDef [(IdentName "Complement")] (ERecord [(LDDecl ["s2"] (EIdent "Preposition")), (LDDecl ["c"] (EIdent "CaseA"))])), (DFull [(IdentName "complement")] (EProd (DExp (ESort Sort_Str)) (EIdent "Complement")) (EAbstr [(BIdent "par")] (ERecord [(LDDef ["s2"] (EIdent "par")), (LDDef ["c"] (EIdent "nominative"))]))), (DFull [(IdentName "complementDir")] (EIdent "Complement") (EApp (EIdent "complement") EEmpty)), (DFull [(IdentName "complementCas")] (EProd (DExp (EIdent "CaseA")) (EIdent "Complement")) (EAbstr [(BIdent "c")] (ERecord [(LDDef ["s2"] EEmpty), (LDDef ["c"] (EIdent "c"))]))), (DDef [(IdentName "AdjCompl")] (EExtend (EIdent "AdjPhrase") (EIdent "Complement"))), (DFull [(IdentName "mkAdjCompl")] (EProd (DExp (EIdent "Adj")) (EProd (DExp (EIdent "Bool")) (EProd (DExp (EIdent "Complement")) (EIdent "AdjCompl")))) (EAbstr [(BIdent "adj"), (BIdent "p"), (BIdent "c")] (EExtend (EApp (EApp (EIdent "mkAdjective") (EIdent "adj")) (EIdent "p")) (EIdent "c")))), (DFull [(IdentName "complAdj")] (EProd (DExp (EIdent "AdjCompl")) (EProd (DExp (EIdent "NounPhrase")) (EIdent "AdjPhrase"))) (EAbstr [(BIdent "relie"), (BIdent "jean")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "a")] (EConcat (ESelect (EProj (EIdent "relie") (LIdent "s")) (EIdent "a")) (EConcat (EProj (EIdent "relie") (LIdent "s2")) (ESelect (EProj (EIdent "jean") (LIdent "s")) (EApp (EIdent "case2pform") (EProj (EIdent "relie") (LIdent "c")))))))), (LDDef ["p"] (EIdent "False"))]))), (DFull [(IdentName "modCommNounPhrase")] (EProd (DExp (EIdent "AdjPhrase")) (EProd (DExp (EIdent "CommNounPhrase")) (EIdent "CommNounPhrase"))) (EAbstr [(BIdent "bon"), (BIdent "mec")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "n")] (EApp (EApp (EApp (EApp (EIdent "if_then_else") (ESort Sort_Str)) (EProj (EIdent "bon") (LIdent "p"))) (EConcat (ESelect (EProj (EIdent "bon") (LIdent "s")) (EApp (EApp (EIdent "AF") (EProj (EIdent "mec") (LIdent "g"))) (EIdent "n"))) (ESelect (EProj (EIdent "mec") (LIdent "s")) (EIdent "n")))) (EConcat (ESelect (EProj (EIdent "mec") (LIdent "s")) (EIdent "n")) (ESelect (EProj (EIdent "bon") (LIdent "s")) (EApp (EApp (EIdent "AF") (EProj (EIdent "mec") (LIdent "g"))) (EIdent "n"))))))), (LDDef ["g"] (EProj (EIdent "mec") (LIdent "g")))]))), (DFull [(IdentName "Function")] (ESort Sort_Type) (EExtend (EIdent "CommNounPhrase") (EIdent "Complement"))), (DFull [(IdentName "appFunComm")] (EProd (DExp (EIdent "Function")) (EProd (DExp (EIdent "NounPhrase")) (EIdent "CommNounPhrase"))) (EAbstr [(BIdent "mere"), (BIdent "jean")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "n")] (EConcat (ESelect (EProj (EIdent "mere") (LIdent "s")) (EIdent "n")) (EConcat (EProj (EIdent "mere") (LIdent "s2")) (ESelect (EProj (EIdent "jean") (LIdent "s")) (EApp (EIdent "case2pform") (EProj (EIdent "mere") (LIdent "c")))))))), (LDDef ["g"] (EProj (EIdent "mere") (LIdent "g")))]))), (DDef [(IdentName "Function2")] (EExtend (EIdent "Function") (ERecord [(LDDecl ["s3"] (EIdent "Preposition")), (LDDecl ["c3"] (EIdent "CaseA"))]))), (DFull [(IdentName "appFun2")] (EProd (DExp (EIdent "Function2")) (EProd (DExp (EIdent "NounPhrase")) (EIdent "Function"))) (EAbstr [(BIdent "vol"), (BIdent "paris")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "n")] (EConcat (ESelect (EProj (EIdent "vol") (LIdent "s")) (EIdent "n")) (EConcat (EProj (EIdent "vol") (LIdent "s2")) (ESelect (EProj (EIdent "paris") (LIdent "s")) (EApp (EIdent "case2pform") (EProj (EIdent "vol") (LIdent "c")))))))), (LDDef ["g"] (EProj (EIdent "vol") (LIdent "g"))), (LDDef ["s2"] (EProj (EIdent "vol") (LIdent "s3"))), (LDDef ["c"] (EProj (EIdent "vol") (LIdent "c3")))]))), (DFull [(IdentName "funAsCommNounPhrase")] (EProd (DExp (EIdent "Function")) (EIdent "CommNounPhrase")) (EAbstr [(BIdent "x")] (EIdent "x"))), (DFull [(IdentName "appFun")] (EProd (DExp (EIdent "Bool")) (EProd (DExp (EIdent "Function")) (EProd (DExp (EIdent "NounPhrase")) (EIdent "NounPhrase")))) (EAbstr [(BIdent "coll"), (BIdent "mere"), (BIdent "jean")] (ELetb [(LDDef ["n"] (EProj (EIdent "jean") (LIdent "n"))), (LDDef ["g"] (EProj (EIdent "mere") (LIdent "g"))), (LDDef ["nf"] (EApp (EApp (EApp (EApp (EIdent "if_then_else") (EIdent "Number")) (EIdent "coll")) (EIdent "Sg")) (EIdent "n")))] (EVariants [(EApp (EApp (EIdent "defNounPhrase") (EIdent "nf")) (EApp (EApp (EIdent "appFunComm") (EIdent "mere")) (EIdent "jean"))), (EApp (EApp (EApp (EIdent "npGenDet") (EIdent "nf")) (EIdent "jean")) (EIdent "mere"))]))))]), (DefPar [(ParDefDir "VPForm" [(ParConstrC "VPF" [(DDExp (EIdent "Anteriority")), (DDExp (EIdent "VF"))])]), (ParDefDir "Anteriority" [(ParConstrC "Simul" []), (ParConstrC "Anter" [])]), (ParDefDir "VIForm" [(ParConstrC "VIInfinit" []), (ParConstrC "VIImperat" [(DDExp (EIdent "Bool")), (DDExp (EIdent "Number"))]), (ParConstrC "VIGerund" [])])]), (DefOper [(DDef [(IdentName "VerbPhrase")] (ERecord [(LDDecl ["s"] (ETType (EIdent "VIForm") (ETType (EIdent "Gender") (ETType (EIdent "Number") (ETType (EIdent "Person") (ESort Sort_Str))))))])), (DDef [(IdentName "VerbClause")] (ERecord [(LDDecl ["s"] (ETType (EIdent "Bool") (ETType (EIdent "Anteriority") (ETType (EIdent "VIForm") (ETType (EIdent "Gender") (ETType (EIdent "Number") (ETType (EIdent "Person") (ESort Sort_Str))))))))])), (DFull [(IdentName "vpf2vf")] (EProd (DExp (EIdent "VPForm")) (EIdent "VF")) (EAbstr [(BIdent "vpf")] (ECase (EIdent "vpf") [(CaseC [(AltP (PC "VPF" [PW, (PV "vf")]))] (EIdent "vf"))]))), (DDeclC [(IdentName "auxVerb")] (EProd (DExp (EIdent "Verb")) (EIdent "Verb"))), (DFull [(IdentName "nombreVerbPhrase")] (EProd (DExp (EIdent "VPForm")) (EIdent "Number")) (EAbstr [(BIdent "v")] (ECase (EIdent "v") [(CaseC [(AltP (PC "VPF" [PW, (PV "f")]))] (EApp (EIdent "nombreVerb") (EIdent "f")))]))), (DFull [(IdentName "personVerbPhrase")] (EProd (DExp (EIdent "VPForm")) (EIdent "Person")) (EAbstr [(BIdent "v")] (ECase (EIdent "v") [(CaseC [(AltP (PC "VPF" [PW, (PV "f")]))] (EApp (EIdent "personVerb") (EIdent "f")))]))), (DFull [(IdentName "isNotImperative")] (EProd (DExp (EIdent "VPForm")) (EIdent "Bool")) (EAbstr [(BIdent "v")] (ECase (EIdent "v") [(CaseC [(AltP (PC "VPF" [PW, (PC "VImper" [PW])]))] (EIdent "False")), (CaseC [(AltP PW)] (EIdent "True"))]))), (DDeclC [(IdentName "negVerb")] (EProd (DExp (ESort Sort_Str)) (ESort Sort_Str))), (DDeclC [(IdentName "copula")] (EIdent "Verb")), (DFull [(IdentName "complVerbAdj")] (EProd (DExp (EIdent "AdjCompl")) (EProd (DExp (EIdent "VerbPhrase")) (EIdent "AdjPhrase"))) (EAbstr [(BIdent "facile"), (BIdent "ouvrir")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "gn")] (EConcat (ESelect (EProj (EIdent "facile") (LIdent "s")) (EIdent "gn")) (EConcat (EApp (EIdent "prepCase") (EProj (EIdent "facile") (LIdent "c"))) (EConcat (EProj (EIdent "facile") (LIdent "s2")) (ESelect (ESelect (ESelect (ESelect (EProj (EIdent "ouvrir") (LIdent "s")) (EIdent "VIInfinit")) (EIdent "Masc")) (EIdent "Sg")) (EIdent "P3"))))))), (LDDef ["p"] (EIdent "False"))]))), (DFull [(IdentName "complVerbAdj2")] (EProd (DExp (EIdent "Bool")) (EProd (DExp (EIdent "AdjCompl")) (EProd (DExp (EIdent "NounPhrase")) (EProd (DExp (EIdent "VerbPhrase")) (EIdent "AdjPhrase"))))) (EAbstr [(BIdent "b"), (BIdent "facile"), (BIdent "lui"), (BIdent "nager")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "gn")] (EConcat (ESelect (EProj (EIdent "facile") (LIdent "s")) (EIdent "gn")) (EConcat (ESelect (EProj (EIdent "lui") (LIdent "s")) (EApp (EIdent "stressed") (EIdent "dative"))) (EConcat (EApp (EIdent "prepCase") (EProj (EIdent "facile") (LIdent "c"))) (EConcat (EProj (EIdent "facile") (LIdent "s2")) (ESelect (ESelect (ESelect (ESelect (EProj (EIdent "nager") (LIdent "s")) (EIdent "VIInfinit")) (EApp (EIdent "pgen2gen") (EProj (EIdent "lui") (LIdent "g")))) (EProj (EIdent "lui") (LIdent "n"))) (EIdent "P3")))))))), (LDDef ["p"] (EIdent "False"))]))), (DFull [(IdentName "TransVerb")] (ESort Sort_Type) (EExtend (EIdent "Verb") (EIdent "Complement"))), (DFull [(IdentName "complementOfTransVerb")] (EProd (DExp (EIdent "TransVerb")) (EIdent "Complement")) (EAbstr [(BIdent "v")] (ERecord [(LDDef ["s2"] (EProj (EIdent "v") (LIdent "s2"))), (LDDef ["c"] (EProj (EIdent "v") (LIdent "c")))]))), (DFull [(IdentName "verbOfTransVerb")] (EProd (DExp (EIdent "TransVerb")) (EIdent "Verb")) (EAbstr [(BIdent "v")] (ERecord [(LDDef ["s"] (EProj (EIdent "v") (LIdent "s"))), (LDDef ["aux"] (EProj (EIdent "v") (LIdent "aux")))]))), (DFull [(IdentName "isNounPhraseClit")] (EProd (DExp (EIdent "NounPhrase")) (EIdent "Bool")) (EAbstr [(BIdent "n")] (ECase (EProj (EIdent "n") (LIdent "c")) [(CaseC [(AltP (PV "Clit0"))] (EIdent "False")), (CaseC [(AltP PW)] (EIdent "True"))]))), (DDeclC [(IdentName "isClitCase")] (EProd (DExp (EIdent "CaseA")) (EIdent "Bool"))), (DFull [(IdentName "isTransVerbClit")] (EProd (DExp (EIdent "TransVerb")) (EIdent "Bool")) (EAbstr [(BIdent "v")] (EApp (EIdent "isClitCase") (EProj (EIdent "v") (LIdent "c"))))), (DFull [(IdentName "isDitransVerbClit")] (EProd (DExp (EIdent "DitransVerb")) (ETupTyp (EIdent "Bool") (EIdent "Bool"))) (EAbstr [(BIdent "v")] (ETuple [(TComp (EApp (EIdent "isClitCase") (EProj (EIdent "v") (LIdent "c")))), (TComp (EApp (EIdent "isClitCase") (EProj (EIdent "v") (LIdent "c3"))))]))), (DDeclC [(IdentName "reflPron")] (ETType (EIdent "Number") (ETType (EIdent "Person") (ETType (EIdent "NPFormA") (ESort Sort_Str))))), (DFull [(IdentName "reflPronNounPhrase")] (EProd (DExp (EIdent "Gender")) (EProd (DExp (EIdent "Number")) (EProd (DExp (EIdent "Person")) (EIdent "NounPhrase")))) (EAbstr [(BIdent "g"), (BIdent "n"), (BIdent "p")] (ERecord [(LDDef ["s"] (ESelect (ESelect (EIdent "reflPron") (EIdent "n")) (EIdent "p"))), (LDDef ["g"] (EApp (EIdent "PGen") (EIdent "g"))), (LDDef ["n"] (EIdent "n")), (LDDef ["p"] (EIdent "p")), (LDDef ["c"] (EIdent "Clit1"))]))), (DFull [(IdentName "adjPastPart")] (EProd (DExp (EIdent "Verb")) (EIdent "Adjective")) (EAbstr [(BIdent "verb")] (ERecord [(LDDef ["s"] (ETable [(CaseC [(AltP (PC "AF" [(PV "g"), (PV "n")]))] (ESelect (EProj (EIdent "verb") (LIdent "s")) (EApp (EApp (EIdent "VPart") (EIdent "g")) (EIdent "n")))), (CaseC [(AltP (PV "AA"))] (ESelect (EProj (EIdent "verb") (LIdent "s")) (EApp (EApp (EIdent "VPart") (EIdent "Masc")) (EIdent "Sg"))))])), (LDDef ["p"] (EIdent "False"))]))), (DFull [(IdentName "mkTransVerb")] (EProd (DExp (EIdent "Verb")) (EProd (DExp (EIdent "Preposition")) (EProd (DExp (EIdent "CaseA")) (EIdent "TransVerb")))) (EAbstr [(BIdent "v"), (BIdent "p"), (BIdent "c")] (EExtend (EIdent "v") (ERecord [(LDDef ["s2"] (EIdent "p")), (LDDef ["c"] (EIdent "c"))])))), (DFull [(IdentName "mkTransVerbPrep")] (EProd (DExp (EIdent "Verb")) (EProd (DExp (EIdent "Preposition")) (EIdent "TransVerb"))) (EAbstr [(BIdent "passer"), (BIdent "par")] (EApp (EApp (EApp (EIdent "mkTransVerb") (EIdent "passer")) (EIdent "par")) (EIdent "accusative")))), (DFull [(IdentName "mkTransVerbCas")] (EProd (DExp (EIdent "Verb")) (EProd (DExp (EIdent "CaseA")) (EIdent "TransVerb"))) (EAbstr [(BIdent "penser"), (BIdent "a")] (EApp (EApp (EApp (EIdent "mkTransVerb") (EIdent "penser")) EEmpty) (EIdent "a")))), (DFull [(IdentName "mkTransVerbDir")] (EProd (DExp (EIdent "Verb")) (EIdent "TransVerb")) (EAbstr [(BIdent "aimer")] (EApp (EApp (EIdent "mkTransVerbCas") (EIdent "aimer")) (EIdent "accusative")))), (DFull [(IdentName "transAsVerb")] (EProd (DExp (EIdent "TransVerb")) (EIdent "Verb")) (EAbstr [(BIdent "love")] (EIdent "love"))), (DDef [(IdentName "DitransVerb")] (EExtend (EIdent "TransVerb") (ERecord [(LDDecl ["s3"] (EIdent "Preposition")), (LDDecl ["c3"] (EIdent "CaseA"))]))), (DFull [(IdentName "mkDitransVerb")] (EProd (DExp (EIdent "Verb")) (EProd (DExp (EIdent "Preposition")) (EProd (DExp (EIdent "CaseA")) (EProd (DExp (EIdent "Preposition")) (EProd (DExp (EIdent "CaseA")) (EIdent "DitransVerb")))))) (EAbstr [(BIdent "v"), (BIdent "p1"), (BIdent "c1"), (BIdent "p2"), (BIdent "c2")] (EExtend (EIdent "v") (ERecord [(LDDef ["s2"] (EIdent "p1")), (LDDef ["c"] (EIdent "c1")), (LDDef ["s3"] (EIdent "p2")), (LDDef ["c3"] (EIdent "c2"))])))), (DDeclC [(IdentName "posNeg")] (EProd (DExp (EIdent "Bool")) (EProd (DDec [(BIdent "verb"), (BIdent "compl")] (ESort Sort_Str)) (ESort Sort_Str)))), (DDef [(IdentName "DitransVerbVerb")] (EExtend (EIdent "TransVerb") (ERecord [(LDDecl ["c3"] (EIdent "CaseA"))]))), (DFull [(IdentName "Adverb")] (ESort Sort_Type) (EIdent "SS")), (DFull [(IdentName "advVerbPhrase")] (EProd (DExp (EIdent "VerbPhrase")) (EProd (DExp (EIdent "Adverb")) (EIdent "VerbPhrase"))) (EAbstr [(BIdent "chante"), (BIdent "bien")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "v"), (BIdent "g"), (BIdent "n"), (BIdent "p")] (EConcat (ESelect (ESelect (ESelect (ESelect (EProj (EIdent "chante") (LIdent "s")) (EIdent "v")) (EIdent "g")) (EIdent "n")) (EIdent "p")) (EProj (EIdent "bien") (LIdent "s")))))]))), (DFull [(IdentName "prepNounPhrase")] (EProd (DExp (ERecord [(LDDecl ["s"] (EIdent "Preposition")), (LDDecl ["c"] (EIdent "CaseA"))])) (EProd (DExp (EIdent "NounPhrase")) (EIdent "Adverb"))) (EAbstr [(BIdent "dans"), (BIdent "jean")] (ERecord [(LDDef ["s"] (EConcat (EProj (EIdent "dans") (LIdent "s")) (ESelect (EProj (EIdent "jean") (LIdent "s")) (EApp (EIdent "Ton") (EProj (EIdent "dans") (LIdent "c"))))))]))), (DFull [(IdentName "justPrep")] (EProd (DExp (EIdent "Preposition")) (ERecord [(LDDecl ["s"] (EIdent "Preposition")), (LDDecl ["c"] (EIdent "CaseA"))])) (EAbstr [(BIdent "sans")] (ERecord [(LDDef ["s"] (EIdent "sans")), (LDDef ["c"] (EIdent "prepositional"))]))), (DFull [(IdentName "justCase")] (EProd (DExp (EIdent "CaseA")) (ERecord [(LDDecl ["s"] (EIdent "Preposition")), (LDDecl ["c"] (EIdent "CaseA"))])) (EAbstr [(BIdent "nom")] (ERecord [(LDDef ["s"] EEmpty), (LDDef ["c"] (EIdent "nom"))]))), (DFull [(IdentName "advCommNounPhrase")] (EProd (DExp (EIdent "CommNounPhrase")) (EProd (DExp (EIdent "Adverb")) (EIdent "CommNounPhrase"))) (EAbstr [(BIdent "mec"), (BIdent "aparis")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "n")] (EConcat (ESelect (EProj (EIdent "mec") (LIdent "s")) (EIdent "n")) (EProj (EIdent "aparis") (LIdent "s"))))), (LDDef ["g"] (EProj (EIdent "mec") (LIdent "g")))]))), (DFull [(IdentName "advAdjPhrase")] (EProd (DExp (EIdent "Adverb")) (EProd (DExp (EIdent "AdjPhrase")) (EIdent "AdjPhrase"))) (EAbstr [(BIdent "trop"), (BIdent "lent")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "a")] (EConcat (EProj (EIdent "trop") (LIdent "s")) (ESelect (EProj (EIdent "lent") (LIdent "s")) (EIdent "a"))))), (LDDef ["p"] (EProj (EIdent "lent") (LIdent "p")))]))), (DFull [(IdentName "Sentence")] (ESort Sort_Type) (EApp (EIdent "SS1") (EIdent "Mode")))]), (DefPar [(ParDefDir "Tense" [(ParConstrC "Present" []), (ParConstrC "Past" []), (ParConstrC "Future" []), (ParConstrC "Condit" [])]), (ParDefDir "ClForm" [(ParConstrC "ClPres" [(DDExp (EIdent "Anteriority")), (DDExp (EIdent "Mode"))]), (ParConstrC "ClImperf" [(DDExp (EIdent "Anteriority")), (DDExp (EIdent "Mode"))]), (ParConstrC "ClPasse" [(DDExp (EIdent "Anteriority"))]), (ParConstrC "ClFut" [(DDExp (EIdent "Anteriority"))]), (ParConstrC "ClCondit" [(DDExp (EIdent "Anteriority"))]), (ParConstrC "ClInfinit" [(DDExp (EIdent "Anteriority"))])])]), (DefOper [(DFull [(IdentName "useClForm")] (EProd (DExp (EIdent "Tense")) (EProd (DExp (EIdent "Anteriority")) (EProd (DExp (EIdent "Mode")) (EIdent "ClForm")))) (EAbstr [(BIdent "t"), (BIdent "a"), (BIdent "m")] (ECase (EIdent "t") [(CaseC [(AltP (PV "Present"))] (EApp (EApp (EIdent "ClPres") (EIdent "a")) (EIdent "m"))), (CaseC [(AltP (PV "Past"))] (EApp (EApp (EIdent "ClImperf") (EIdent "a")) (EIdent "m"))), (CaseC [(AltP (PV "Future"))] (EApp (EIdent "ClFut") (EIdent "a"))), (CaseC [(AltP (PV "Condit"))] (EApp (EIdent "ClCondit") (EIdent "a")))]))), (DDef [(IdentName "Clause")] (ERecord [(LDDecl ["s"] (ETType (EIdent "Bool") (ETType (EIdent "ClForm") (ESort Sort_Str))))])), (DFull [(IdentName "SentenceVerb")] (ESort Sort_Type) (EExtend (EIdent "Verb") (ERecord [(LDDecl ["mp", "mn"] (EIdent "Mode"))]))), (DFull [(IdentName "subordMode")] (EProd (DExp (EIdent "SentenceVerb")) (EProd (DExp (EIdent "Bool")) (EIdent "Mode"))) (EAbstr [(BIdent "verb"), (BIdent "b")] (EApp (EApp (EApp (EApp (EIdent "if_then_else") (EIdent "Mode")) (EIdent "b")) (EProj (EIdent "verb") (LIdent "mp"))) (EProj (EIdent "verb") (LIdent "mn"))))), (DFull [(IdentName "verbSent")] (EProd (DExp (EIdent "Verb")) (EProd (DExp (EIdent "Mode")) (EProd (DExp (EIdent "Mode")) (EIdent "SentenceVerb")))) (EAbstr [(BIdent "v"), (BIdent "mp"), (BIdent "mn")] (EExtend (EIdent "v") (ERecord [(LDDef ["mp"] (EIdent "mp")), (LDDef ["mn"] (EIdent "mn"))])))), (DDeclC [(IdentName "embedConj")] (ESort Sort_Str)), (DFull [(IdentName "VerbVerb")] (ESort Sort_Type) (EExtend (EIdent "Verb") (ERecord [(LDDecl ["c"] (EIdent "CaseA"))]))), (DFull [(IdentName "mkVerbVerbDir")] (EProd (DExp (EIdent "Verb")) (EIdent "VerbVerb")) (EAbstr [(BIdent "v")] (EExtend (EIdent "v") (ERecord [(LDDef ["c"] (EIdent "accusative"))])))), (DDef [(IdentName "ClauseSlashNounPhrase")] (EExtend (EIdent "Clause") (EIdent "Complement"))), (DFull [(IdentName "dummyNounPhrase")] (EIdent "NounPhrase") (EApp (EApp (EIdent "mkNameNounPhrase") EEmpty) (EIdent "Masc"))), (DFull [(IdentName "slashTransVerb")] (EProd (DExp (EIdent "NounPhrase")) (EProd (DExp (EIdent "TransVerb")) (EIdent "ClauseSlashNounPhrase"))) (EAbstr [(BIdent "np"), (BIdent "v")] (EExtend (EApp (EIdent "sats2clause") (EApp (EApp (EApp (EIdent "mkSatsObject") (EIdent "np")) (EIdent "v")) (EIdent "dummyNounPhrase"))) (EApp (EIdent "complementOfTransVerb") (EIdent "v"))))), (DFull [(IdentName "slashVerbVerb")] (EProd (DExp (EIdent "NounPhrase")) (EProd (DExp (EIdent "VerbVerb")) (EProd (DExp (EIdent "TransVerb")) (EIdent "ClauseSlashNounPhrase")))) (EAbstr [(BIdent "subj"), (BIdent "verb"), (BIdent "tv")] (EExtend (EApp (EIdent "sats2clause") (EApp (EApp (EIdent "insertExtrapos") (EApp (EApp (EIdent "mkSats") (EIdent "subj")) (EIdent "verb"))) (ECTable [BWild] (EConcat (EApp (EIdent "prepCase") (EProj (EIdent "verb") (LIdent "c"))) (ESelect (EProj (EIdent "tv") (LIdent "s")) (EIdent "VInfin")))))) (EApp (EIdent "complementOfTransVerb") (EIdent "tv"))))), (DFull [(IdentName "slashAdverb")] (EProd (DExp (EIdent "Clause")) (EProd (DExp (ERecord [(LDDecl ["s"] (ESort Sort_Str)), (LDDecl ["c"] (EIdent "CaseA"))])) (EIdent "ClauseSlashNounPhrase"))) (EAbstr [(BIdent "ilhabite"), (BIdent "dans")] (EExtend (EIdent "ilhabite") (ERecord [(LDDef ["s2"] (EProj (EIdent "dans") (LIdent "s"))), (LDDef ["c"] (EProj (EIdent "dans") (LIdent "c")))]))))]), (DefOper [(DFull [(IdentName "RelPron")] (ESort Sort_Type) (ERecord [(LDDecl ["s"] (ETType (EIdent "RelFormA") (ESort Sort_Str))), (LDDecl ["g"] (EIdent "RelGen"))])), (DFull [(IdentName "RelClause")] (ESort Sort_Type) (ERecord [(LDDecl ["s1"] (ETType (EIdent "Gender") (ETType (EIdent "Number") (ETType (EIdent "Person") (ESort Sort_Str))))), (LDDecl ["s2"] (ETType (EIdent "Bool") (ETType (EIdent "ClForm") (ETType (EIdent "Gender") (ETType (EIdent "Number") (ETType (EIdent "Person") (ESort Sort_Str))))))), (LDDecl ["s3"] (ETType (EIdent "Bool") (ESort Sort_Str)))])), (DFull [(IdentName "RelSentence")] (ESort Sort_Type) (ERecord [(LDDecl ["s"] (ETType (EIdent "Mode") (ETType (EIdent "Gender") (ETType (EIdent "Number") (ETType (EIdent "Person") (ESort Sort_Str))))))])), (DFull [(IdentName "mkGenRel")] (EProd (DExp (EIdent "RelGen")) (EProd (DExp (EIdent "Gender")) (EIdent "Gender"))) (EAbstr [(BIdent "rg"), (BIdent "g")] (ECase (EIdent "rg") [(CaseC [(AltP (PC "PGen" [(PV "gen")]))] (EIdent "gen")), (CaseC [(AltP PW)] (EIdent "g"))]))), (DDeclC [(IdentName "identRelPron")] (EIdent "RelPron")), (DDeclC [(IdentName "composRelPron")] (EProd (DExp (EIdent "Gender")) (EProd (DExp (EIdent "Number")) (EProd (DExp (EIdent "CaseA")) (ESort Sort_Str))))), (DDeclC [(IdentName "funRelPron")] (EProd (DExp (EIdent "Function")) (EProd (DExp (EIdent "RelPron")) (EIdent "RelPron")))), (DDeclC [(IdentName "allRelForms")] (EProd (DExp (EIdent "RelPron")) (EProd (DExp (EIdent "Gender")) (EProd (DExp (EIdent "Number")) (EProd (DExp (EIdent "CaseA")) (ESort Sort_Str)))))), (DFull [(IdentName "relSlash")] (EProd (DExp (EIdent "RelPron")) (EProd (DExp (EIdent "ClauseSlashNounPhrase")) (EIdent "RelClause"))) (EAbstr [(BIdent "dont"), (BIdent "jeparle")] (ERecord [(LDDef ["s1"] (ECTable [(BIdent "g"), (BIdent "n"), (BIdent "p")] (EConcat (EProj (EIdent "jeparle") (LIdent "s2")) (EApp (EApp (EApp (EApp (EIdent "allRelForms") (EIdent "dont")) (EIdent "g")) (EIdent "n")) (EProj (EIdent "jeparle") (LIdent "c")))))), (LDDef ["s2"] (ECTable [(BIdent "b"), (BIdent "cl"), (BIdent "g"), (BIdent "n"), (BIdent "p")] (ESelect (ESelect (EProj (EIdent "jeparle") (LIdent "s")) (EIdent "b")) (EIdent "cl")))), (LDDef ["s3"] (ECTable [BWild] EEmpty))]))), (DFull [(IdentName "relSuch")] (EProd (DExp (EIdent "Clause")) (EIdent "RelClause")) (EAbstr [(BIdent "A")] (ERecord [(LDDef ["s1"] (ECTable [(BIdent "g"), (BIdent "n"), (BIdent "p")] (EApp (EApp (EIdent "suchPron") (EIdent "g")) (EIdent "n")))), (LDDef ["s2"] (ECTable [(BIdent "b"), (BIdent "cl"), (BIdent "g"), (BIdent "n"), (BIdent "p")] (EConcat (EIdent "embedConj") (ESelect (ESelect (EProj (EIdent "A") (LIdent "s")) (EIdent "b")) (EIdent "cl"))))), (LDDef ["s3"] (ECTable [BWild] EEmpty))]))), (DDeclC [(IdentName "suchPron")] (EProd (DExp (EIdent "Gender")) (EProd (DExp (EIdent "Number")) (ESort Sort_Str)))), (DFull [(IdentName "modRelClause")] (EProd (DExp (EIdent "CommNounPhrase")) (EProd (DExp (EIdent "RelSentence")) (EIdent "CommNounPhrase"))) (EAbstr [(BIdent "mec"), (BIdent "quidort")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "n")] (EConcat (ESelect (EProj (EIdent "mec") (LIdent "s")) (EIdent "n")) (ESelect (ESelect (ESelect (ESelect (EProj (EIdent "quidort") (LIdent "s")) (EIdent "Ind")) (EProj (EIdent "mec") (LIdent "g"))) (EIdent "n")) (EIdent "P3"))))), (LDDef ["g"] (EProj (EIdent "mec") (LIdent "g")))]))), (DFull [(IdentName "IntPron")] (ESort Sort_Type) (ERecord [(LDDecl ["s"] (ETType (EIdent "CaseA") (ESort Sort_Str))), (LDDecl ["g"] (EIdent "Gender")), (LDDecl ["n"] (EIdent "Number"))])), (DFull [(IdentName "funIntPron")] (EProd (DExp (EIdent "Function")) (EProd (DExp (EIdent "IntPron")) (EIdent "IntPron"))) (EAbstr [(BIdent "mere"), (BIdent "qui")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "c")] (EConcat (EApp (EApp (EApp (EIdent "artDef") (EProj (EIdent "mere") (LIdent "g"))) (EProj (EIdent "qui") (LIdent "n"))) (EIdent "c")) (EConcat (ESelect (EProj (EIdent "mere") (LIdent "s")) (EProj (EIdent "qui") (LIdent "n"))) (EConcat (EProj (EIdent "mere") (LIdent "s2")) (ESelect (EProj (EIdent "qui") (LIdent "s")) (EProj (EIdent "mere") (LIdent "c")))))))), (LDDef ["g"] (EProj (EIdent "mere") (LIdent "g"))), (LDDef ["n"] (EProj (EIdent "qui") (LIdent "n")))]))), (DDeclC [(IdentName "nounIntPron")] (EProd (DExp (EIdent "Number")) (EProd (DExp (EIdent "CommNounPhrase")) (EIdent "IntPron")))), (DDeclC [(IdentName "intPronWho")] (EProd (DExp (EIdent "Number")) (EIdent "IntPron"))), (DDeclC [(IdentName "intPronWhat")] (EProd (DExp (EIdent "Number")) (EIdent "IntPron"))), (DDef [(IdentName "Utterance")] (EIdent "SS")), (DFull [(IdentName "indicUtt")] (EProd (DExp (EIdent "Sentence")) (EIdent "Utterance")) (EAbstr [(BIdent "x")] (EApp (EIdent "ss") (EConcat (ESelect (EProj (EIdent "x") (LIdent "s")) (EIdent "Ind")) (EString "."))))), (DFull [(IdentName "interrogUtt")] (EProd (DExp (EIdent "QuestionSent")) (EIdent "Utterance")) (EAbstr [(BIdent "x")] (EApp (EIdent "ss") (EConcat (ESelect (EProj (EIdent "x") (LIdent "s")) (EIdent "DirQ")) (EString "?")))))]), (DefPar [(ParDefDir "QuestForm" [(ParConstrC "DirQ" []), (ParConstrC "IndirQ" [])])]), (DefOper [(DDef [(IdentName "Question")] (ERecord [(LDDecl ["s"] (ETType (EIdent "Bool") (ETType (EIdent "ClForm") (ETType (EIdent "QuestForm") (ESort Sort_Str)))))])), (DDef [(IdentName "QuestionSent")] (ERecord [(LDDecl ["s"] (ETType (EIdent "QuestForm") (ESort Sort_Str)))])), (DFull [(IdentName "questClause")] (EProd (DExp (EIdent "Clause")) (EIdent "Question")) (EAbstr [(BIdent "cl")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "b"), (BIdent "c")] (ETable [(CaseC [(AltP (PV "DirQ"))] (ESelect (ESelect (EProj (EIdent "cl") (LIdent "s")) (EIdent "b")) (EIdent "c"))), (CaseC [(AltP (PV "IndirQ"))] (ESelect (ESelect (EProj (EIdent "cl") (LIdent "s")) (EIdent "b")) (EIdent "c")))])))]))), (DDeclC [(IdentName "intSlash")] (EProd (DExp (EIdent "IntPron")) (EProd (DExp (EIdent "ClauseSlashNounPhrase")) (EIdent "Question")))), (DFull [(IdentName "intNounPhrase")] (EProd (DExp (EIdent "IntPron")) (EIdent "NounPhrase")) (EAbstr [(BIdent "ip")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "nf")] (ESelect (EProj (EIdent "ip") (LIdent "s")) (EApp (EIdent "pform2case") (EIdent "nf"))))), (LDDef ["g"] (EApp (EIdent "PGen") (EProj (EIdent "ip") (LIdent "g")))), (LDDef ["n"] (EProj (EIdent "ip") (LIdent "n"))), (LDDef ["p"] (EIdent "P3")), (LDDef ["c"] (EIdent "Clit0"))]))), (DDef [(IdentName "IntAdverb")] (EIdent "SS")), (DFull [(IdentName "questAdverbial")] (EProd (DExp (EIdent "IntAdverb")) (EProd (DExp (EIdent "Clause")) (EIdent "Question"))) (EAbstr [(BIdent "quand"), (BIdent "jeanDort")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "b"), (BIdent "cl")] (ELetb [(LDDef ["jeandort"] (ESelect (ESelect (EProj (EIdent "jeanDort") (LIdent "s")) (EIdent "b")) (EIdent "cl")))] (ETable [(CaseC [(AltP (PV "DirQ"))] (EConcat (EProj (EIdent "quand") (LIdent "s")) (EIdent "jeandort"))), (CaseC [(AltP (PV "IndirQ"))] (EConcat (EProj (EIdent "quand") (LIdent "s")) (EIdent "jeandort")))]))))]))), (DDef [(IdentName "Imperative")] (ERecord [(LDDecl ["s"] (ETType (EIdent "Gender") (ETType (EIdent "Number") (ESort Sort_Str))))])), (DFull [(IdentName "imperVerbPhrase")] (EProd (DExp (EIdent "Bool")) (EProd (DExp (EIdent "VerbClause")) (EIdent "Imperative"))) (EAbstr [(BIdent "b"), (BIdent "dormir")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "g"), (BIdent "n")] (ESelect (ESelect (ESelect (ESelect (ESelect (ESelect (EProj (EIdent "dormir") (LIdent "s")) (EIdent "b")) (EIdent "Simul")) (EApp (EApp (EIdent "VIImperat") (EIdent "b")) (EIdent "n"))) (EIdent "g")) (EIdent "n")) (EIdent "P2"))))]))), (DFull [(IdentName "imperUtterance")] (EProd (DExp (EIdent "Number")) (EProd (DExp (EIdent "Imperative")) (EIdent "Utterance"))) (EAbstr [(BIdent "n"), (BIdent "I")] (EApp (EIdent "ss") (EConcat (ESelect (ESelect (EProj (EIdent "I") (LIdent "s")) (EIdent "Masc")) (EIdent "n")) (EString "!"))))), (DFull [(IdentName "advClause")] (EProd (DExp (EIdent "Clause")) (EProd (DExp (EIdent "Adverb")) (EIdent "Clause"))) (EAbstr [(BIdent "yousing"), (BIdent "well")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "b"), (BIdent "c")] (EConcat (ESelect (ESelect (EProj (EIdent "yousing") (LIdent "s")) (EIdent "b")) (EIdent "c")) (EProj (EIdent "well") (LIdent "s")))))]))), (DFull [(IdentName "advSentence")] (EProd (DExp (EIdent "SS")) (EProd (DExp (EIdent "Sentence")) (EIdent "Utterance"))) (EAbstr [(BIdent "donc"), (BIdent "ildort")] (EApp (EIdent "ss") (EConcat (EProj (EIdent "donc") (LIdent "s")) (EConcat (ESelect (EProj (EIdent "ildort") (LIdent "s")) (EIdent "Ind")) (EString ".")))))), (DDef [(IdentName "Conjunction")] (EExtend (EProj (EIdent "CO") (LIdent "Conjunction")) (ERecord [(LDDecl ["n"] (EIdent "Number"))]))), (DDef [(IdentName "ConjunctionDistr")] (EExtend (EProj (EIdent "CO") (LIdent "ConjunctionDistr")) (ERecord [(LDDecl ["n"] (EIdent "Number"))]))), (DFull [(IdentName "ListSentence")] (ESort Sort_Type) (ERecord [(LDDecl ["s1", "s2"] (ETType (EIdent "Mode") (ESort Sort_Str)))])), (DFull [(IdentName "twoSentence")] (EProd (DDec [BWild, BWild] (EIdent "Sentence")) (EIdent "ListSentence")) (EApp (EProj (EIdent "CO") (LIdent "twoTable")) (EIdent "Mode"))), (DFull [(IdentName "consSentence")] (EProd (DExp (EIdent "ListSentence")) (EProd (DExp (EIdent "Sentence")) (EIdent "ListSentence"))) (EApp (EApp (EProj (EIdent "CO") (LIdent "consTable")) (EIdent "Mode")) (EProj (EIdent "CO") (LIdent "comma")))), (DFull [(IdentName "conjunctSentence")] (EProd (DExp (EIdent "Conjunction")) (EProd (DExp (EIdent "ListSentence")) (EIdent "Sentence"))) (EApp (EProj (EIdent "CO") (LIdent "conjunctTable")) (EIdent "Mode"))), (DFull [(IdentName "conjunctDistrSentence")] (EProd (DExp (EIdent "ConjunctionDistr")) (EProd (DExp (EIdent "ListSentence")) (EIdent "Sentence"))) (EApp (EProj (EIdent "CO") (LIdent "conjunctDistrTable")) (EIdent "Mode"))), (DFull [(IdentName "ListAdjPhrase")] (ESort Sort_Type) (ERecord [(LDDecl ["s1", "s2"] (ETType (EIdent "AForm") (ESort Sort_Str))), (LDDecl ["p"] (EIdent "Bool"))])), (DFull [(IdentName "twoAdjPhrase")] (EProd (DDec [BWild, BWild] (EIdent "AdjPhrase")) (EIdent "ListAdjPhrase")) (EAbstr [(BIdent "x"), (BIdent "y")] (EExtend (EApp (EApp (EApp (EProj (EIdent "CO") (LIdent "twoTable")) (EIdent "AForm")) (EIdent "x")) (EIdent "y")) (ERecord [(LDDef ["p"] (EApp (EApp (EIdent "andB") (EProj (EIdent "x") (LIdent "p"))) (EProj (EIdent "y") (LIdent "p"))))])))), (DFull [(IdentName "consAdjPhrase")] (EProd (DExp (EIdent "ListAdjPhrase")) (EProd (DExp (EIdent "AdjPhrase")) (EIdent "ListAdjPhrase"))) (EAbstr [(BIdent "xs"), (BIdent "x")] (EExtend (EApp (EApp (EApp (EApp (EProj (EIdent "CO") (LIdent "consTable")) (EIdent "AForm")) (EProj (EIdent "CO") (LIdent "comma"))) (EIdent "xs")) (EIdent "x")) (ERecord [(LDDef ["p"] (EApp (EApp (EIdent "andB") (EProj (EIdent "xs") (LIdent "p"))) (EProj (EIdent "x") (LIdent "p"))))])))), (DFull [(IdentName "conjunctAdjPhrase")] (EProd (DExp (EIdent "Conjunction")) (EProd (DExp (EIdent "ListAdjPhrase")) (EIdent "AdjPhrase"))) (EAbstr [(BIdent "c"), (BIdent "xs")] (EExtend (EApp (EApp (EApp (EProj (EIdent "CO") (LIdent "conjunctTable")) (EIdent "AForm")) (EIdent "c")) (EIdent "xs")) (ERecord [(LDDef ["p"] (EProj (EIdent "xs") (LIdent "p")))])))), (DFull [(IdentName "conjunctDistrAdjPhrase")] (EProd (DExp (EIdent "ConjunctionDistr")) (EProd (DExp (EIdent "ListAdjPhrase")) (EIdent "AdjPhrase"))) (EAbstr [(BIdent "c"), (BIdent "xs")] (EExtend (EApp (EApp (EApp (EProj (EIdent "CO") (LIdent "conjunctDistrTable")) (EIdent "AForm")) (EIdent "c")) (EIdent "xs")) (ERecord [(LDDef ["p"] (EProj (EIdent "xs") (LIdent "p")))])))), (DFull [(IdentName "ListNounPhrase")] (ESort Sort_Type) (ERecord [(LDDecl ["s1", "s2"] (ETType (EIdent "CaseA") (ESort Sort_Str))), (LDDecl ["g"] (EIdent "PronGen")), (LDDecl ["n"] (EIdent "Number")), (LDDecl ["p"] (EIdent "Person"))])), (DFull [(IdentName "twoNounPhrase")] (EProd (DDec [BWild, BWild] (EIdent "NounPhrase")) (EIdent "ListNounPhrase")) (EAbstr [(BIdent "x"), (BIdent "y")] (EExtend (ERecord [(LDDef ["s1"] (ECTable [(BIdent "c")] (ESelect (EProj (EIdent "x") (LIdent "s")) (EApp (EIdent "stressed") (EIdent "c"))))), (LDDef ["s2"] (ECTable [(BIdent "c")] (ESelect (EProj (EIdent "y") (LIdent "s")) (EApp (EIdent "stressed") (EApp (EIdent "conjunctCase") (EIdent "c"))))))]) (ERecord [(LDDef ["n"] (EApp (EApp (EIdent "conjNumber") (EProj (EIdent "x") (LIdent "n"))) (EProj (EIdent "y") (LIdent "n")))), (LDDef ["g"] (EApp (EApp (EIdent "conjGender") (EProj (EIdent "x") (LIdent "g"))) (EProj (EIdent "y") (LIdent "g")))), (LDDef ["p"] (EApp (EApp (EIdent "conjPers") (EProj (EIdent "x") (LIdent "p"))) (EProj (EIdent "y") (LIdent "p"))))])))), (DFull [(IdentName "consNounPhrase")] (EProd (DExp (EIdent "ListNounPhrase")) (EProd (DExp (EIdent "NounPhrase")) (EIdent "ListNounPhrase"))) (EAbstr [(BIdent "xs"), (BIdent "x")] (EExtend (ERecord [(LDDef ["s1"] (ECTable [(BIdent "c")] (EConcat (ESelect (EProj (EIdent "xs") (LIdent "s1")) (EIdent "c")) (EConcat (EProj (EIdent "CO") (LIdent "comma")) (ESelect (EProj (EIdent "xs") (LIdent "s2")) (EApp (EIdent "conjunctCase") (EIdent "c"))))))), (LDDef ["s2"] (ECTable [(BIdent "c")] (ESelect (EProj (EIdent "x") (LIdent "s")) (EApp (EIdent "stressed") (EApp (EIdent "conjunctCase") (EIdent "c"))))))]) (ERecord [(LDDef ["n"] (EApp (EApp (EIdent "conjNumber") (EProj (EIdent "xs") (LIdent "n"))) (EProj (EIdent "x") (LIdent "n")))), (LDDef ["g"] (EApp (EApp (EIdent "conjGender") (EProj (EIdent "xs") (LIdent "g"))) (EProj (EIdent "x") (LIdent "g")))), (LDDef ["p"] (EApp (EApp (EIdent "conjPers") (EProj (EIdent "xs") (LIdent "p"))) (EProj (EIdent "x") (LIdent "p"))))])))), (DDeclC [(IdentName "conjunctCase")] (EProd (DExp (EIdent "CaseA")) (EIdent "CaseA"))), (DFull [(IdentName "conjunctNounPhrase")] (EProd (DExp (EIdent "Conjunction")) (EProd (DExp (EIdent "ListNounPhrase")) (EIdent "NounPhrase"))) (EAbstr [(BIdent "co"), (BIdent "xs")] (EExtend (ERecord [(LDDef ["s"] (ECTable [(BIdent "c")] (EConcat (ESelect (EProj (EIdent "xs") (LIdent "s1")) (EApp (EIdent "pform2case") (EIdent "c"))) (EConcat (EProj (EIdent "co") (LIdent "s")) (ESelect (EProj (EIdent "xs") (LIdent "s2")) (EApp (EIdent "pform2case") (EIdent "c")))))))]) (ERecord [(LDDef ["n"] (EApp (EApp (EIdent "conjNumber") (EProj (EIdent "co") (LIdent "n"))) (EProj (EIdent "xs") (LIdent "n")))), (LDDef ["g"] (EProj (EIdent "xs") (LIdent "g"))), (LDDef ["p"] (EProj (EIdent "xs") (LIdent "p"))), (LDDef ["c"] (EIdent "Clit0"))])))), (DFull [(IdentName "conjunctDistrNounPhrase")] (EProd (DExp (EIdent "ConjunctionDistr")) (EProd (DExp (EIdent "ListNounPhrase")) (EIdent "NounPhrase"))) (EAbstr [(BIdent "co"), (BIdent "xs")] (EExtend (ERecord [(LDDef ["s"] (ECTable [(BIdent "c")] (EConcat (EProj (EIdent "co") (LIdent "s1")) (EConcat (ESelect (EProj (EIdent "xs") (LIdent "s1")) (EApp (EIdent "pform2case") (EIdent "c"))) (EConcat (EProj (EIdent "co") (LIdent "s2")) (ESelect (EProj (EIdent "xs") (LIdent "s2")) (EApp (EIdent "pform2case") (EIdent "c"))))))))]) (ERecord [(LDDef ["n"] (EApp (EApp (EIdent "conjNumber") (EProj (EIdent "co") (LIdent "n"))) (EProj (EIdent "xs") (LIdent "n")))), (LDDef ["g"] (EProj (EIdent "xs") (LIdent "g"))), (LDDef ["p"] (EProj (EIdent "xs") (LIdent "p"))), (LDDef ["c"] (EIdent "Clit0"))])))), (DFull [(IdentName "conjNumber")] (EProd (DExp (EIdent "Number")) (EProd (DExp (EIdent "Number")) (EIdent "Number"))) (EAbstr [(BIdent "m"), (BIdent "n")] (ECase (ETuple [(TComp (EIdent "m")), (TComp (EIdent "n"))]) [(CaseC [(AltP (PTup [(PTComp (PV "Sg")), (PTComp (PV "Sg"))]))] (EIdent "Sg")), (CaseC [(AltP PW)] (EIdent "Pl"))]))), (DFull [(IdentName "conjGen")] (EProd (DExp (EIdent "Gender")) (EProd (DExp (EIdent "Gender")) (EIdent "Gender"))) (EAbstr [(BIdent "m"), (BIdent "n")] (ECase (ETuple [(TComp (EIdent "m")), (TComp (EIdent "n"))]) [(CaseC [(AltP (PTup [(PTComp (PV "Fem")), (PTComp (PV "Fem"))]))] (EIdent "Fem")), (CaseC [(AltP PW)] (EIdent "Masc"))]))), (DFull [(IdentName "conjGender")] (EProd (DExp (EIdent "PronGen")) (EProd (DExp (EIdent "PronGen")) (EIdent "PronGen"))) (EAbstr [(BIdent "m"), (BIdent "n")] (ECase (ETuple [(TComp (EIdent "m")), (TComp (EIdent "n"))]) [(CaseC [(AltP (PTup [(PTComp (PC "PGen" [(PV "Fem")])), (PTComp (PC "PGen" [(PV "Fem")]))]))] (EApp (EIdent "PGen") (EIdent "Fem"))), (CaseC [(AltP PW)] (EIdent "PNoGen"))]))), (DFull [(IdentName "conjPers")] (EProd (DExp (EIdent "Person")) (EProd (DExp (EIdent "Person")) (EIdent "Person"))) (EAbstr [(BIdent "p"), (BIdent "q")] (ECase (ETuple [(TComp (EIdent "p")), (TComp (EIdent "q"))]) [(CaseC [(AltP (PTup [(PTComp (PV "P3")), (PTComp (PV "P3"))]))] (EIdent "P3")), (CaseC [(AltP (PTup [(PTComp (PV "P1")), (PTComp PW)]))] (EIdent "P1")), (CaseC [(AltP (PTup [(PTComp PW), (PTComp (PV "P1"))]))] (EIdent "P1")), (CaseC [(AltP PW)] (EIdent "P2"))]))), (DFull [(IdentName "ListAdverb")] (ESort Sort_Type) (EIdent "SD2")), (DFull [(IdentName "twoAdverb")] (EProd (DDec [BWild, BWild] (EIdent "Adverb")) (EIdent "ListAdverb")) (EProj (EIdent "CO") (LIdent "twoSS"))), (DFull [(IdentName "consAdverb")] (EProd (DExp (EIdent "ListAdverb")) (EProd (DExp (EIdent "Adverb")) (EIdent "ListAdverb"))) (EApp (EProj (EIdent "CO") (LIdent "consSS")) (EProj (EIdent "CO") (LIdent "comma")))), (DFull [(IdentName "conjunctAdverb")] (EProd (DExp (EIdent "Conjunction")) (EProd (DExp (EIdent "ListAdverb")) (EIdent "Adverb"))) (EAbstr [(BIdent "c"), (BIdent "xs")] (EApp (EIdent "ss") (EApp (EApp (EProj (EIdent "CO") (LIdent "conjunctX")) (EIdent "c")) (EIdent "xs"))))), (DFull [(IdentName "conjunctDistrAdverb")] (EProd (DExp (EIdent "ConjunctionDistr")) (EProd (DExp (EIdent "ListAdverb")) (EIdent "Adverb"))) (EAbstr [(BIdent "c"), (BIdent "xs")] (EApp (EIdent "ss") (EApp (EApp (EProj (EIdent "CO") (LIdent "conjunctDistrX")) (EIdent "c")) (EIdent "xs"))))), (DDef [(IdentName "Subjunction")] (ERecord [(LDDecl ["s"] (ESort Sort_Str)), (LDDecl ["m"] (EIdent "Mode"))])), (DFull [(IdentName "subjunctSentence")] (EProd (DExp (EIdent "Subjunction")) (EProd (DExp (EIdent "Sentence")) (EProd (DExp (EIdent "Sentence")) (EIdent "Sentence")))) (EAbstr [(BIdent "si"), (BIdent "A"), (BIdent "B")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "m")] (EApp (EApp (EApp (EIdent "subjunctVariants") (EIdent "si")) (EIdent "A")) (ESelect (EProj (EIdent "B") (LIdent "s")) (EIdent "m")))))]))), (DFull [(IdentName "subjunctImperative")] (EProd (DExp (EIdent "Subjunction")) (EProd (DExp (EIdent "Sentence")) (EProd (DExp (EIdent "Imperative")) (EIdent "Imperative")))) (EAbstr [(BIdent "si"), (BIdent "A"), (BIdent "B")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "g"), (BIdent "n")] (EApp (EApp (EApp (EIdent "subjunctVariants") (EIdent "si")) (EIdent "A")) (ESelect (ESelect (EProj (EIdent "B") (LIdent "s")) (EIdent "g")) (EIdent "n")))))]))), (DFull [(IdentName "subjunctQuestion")] (EProd (DExp (EIdent "Subjunction")) (EProd (DExp (EIdent "Sentence")) (EProd (DExp (EIdent "QuestionSent")) (EIdent "QuestionSent")))) (EAbstr [(BIdent "si"), (BIdent "A"), (BIdent "B")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "q")] (EApp (EApp (EApp (EIdent "subjunctVariants") (EIdent "si")) (EIdent "A")) (ESelect (EProj (EIdent "B") (LIdent "s")) (EIdent "q")))))]))), (DFull [(IdentName "subjunctVariants")] (EProd (DExp (EIdent "Subjunction")) (EProd (DExp (EIdent "Sentence")) (EProd (DExp (ESort Sort_Str)) (ESort Sort_Str)))) (EAbstr [(BIdent "si"), (BIdent "A"), (BIdent "B")] (ELet [(LDDef ["As"] (ESelect (EProj (EIdent "A") (LIdent "s")) (EProj (EIdent "si") (LIdent "m"))))] (EVariants [(EConcat (EProj (EIdent "si") (LIdent "s")) (EConcat (EIdent "As") (EIdent "B"))), (EConcat (EIdent "B") (EConcat (EProj (EIdent "si") (LIdent "s")) (EIdent "As")))])))), (DFull [(IdentName "useNounPhrase")] (EProd (DExp (EIdent "NounPhrase")) (EIdent "Utterance")) (EAbstr [(BIdent "jean")] (EApp (EApp (EIdent "postfixSS") (EString ".")) (EApp (EIdent "defaultNounPhrase") (EIdent "jean"))))), (DFull [(IdentName "useCommonNounPhrase")] (EProd (DExp (EIdent "Number")) (EProd (DExp (EIdent "CommNounPhrase")) (EIdent "Utterance"))) (EAbstr [(BIdent "n"), (BIdent "mec")] (EApp (EIdent "useNounPhrase") (EApp (EApp (EIdent "indefNounPhrase") (EIdent "n")) (EIdent "mec"))))), (DFull [(IdentName "verbUtterance")] (EProd (DExp (EIdent "VerbPhrase")) (EIdent "Utterance")) (EAbstr [(BIdent "vp")] (EApp (EIdent "ss") (ESelect (ESelect (ESelect (ESelect (EProj (EIdent "vp") (LIdent "s")) (EIdent "VIInfinit")) (EIdent "Masc")) (EIdent "Sg")) (EIdent "P3"))))), (DFull [(IdentName "defaultNounPhrase")] (EProd (DExp (EIdent "NounPhrase")) (EIdent "SS")) (EAbstr [(BIdent "jean")] (EApp (EIdent "ss") (ESelect (EProj (EIdent "jean") (LIdent "s")) (EApp (EIdent "stressed") (EIdent "nominative")))))), (DFull [(IdentName "defaultQuestion")] (EProd (DExp (EIdent "QuestionSent")) (EIdent "SS")) (EAbstr [(BIdent "quiesttu")] (EApp (EIdent "ss") (ESelect (EProj (EIdent "quiesttu") (LIdent "s")) (EIdent "DirQ"))))), (DFull [(IdentName "defaultSentence")] (EProd (DExp (EIdent "Sentence")) (EIdent "SS")) (EAbstr [(BIdent "x")] (EApp (EIdent "ss") (ESelect (EProj (EIdent "x") (LIdent "s")) (EIdent "Ind"))))), (DDeclC [(IdentName "artDef")] (EProd (DExp (EIdent "Gender")) (EProd (DExp (EIdent "Number")) (EProd (DExp (EIdent "CaseA")) (ESort Sort_Str))))), (DDeclC [(IdentName "artIndef")] (EProd (DExp (EIdent "Gender")) (EProd (DExp (EIdent "Number")) (EProd (DExp (EIdent "CaseA")) (ESort Sort_Str))))), (DDeclC [(IdentName "genForms")] (EProd (DExp (ESort Sort_Str)) (EProd (DExp (ESort Sort_Str)) (ETType (EIdent "Gender") (ESort Sort_Str))))), (DDeclC [(IdentName "pronJe"), (IdentName "pronTu"), (IdentName "pronIl"), (IdentName "pronElle"), (IdentName "pronNous"), (IdentName "pronVous"), (IdentName "pronIls"), (IdentName "pronElles")] (EIdent "Pronoun")), (DDeclC [(IdentName "chaqueDet"), (IdentName "quelDet"), (IdentName "plupartDet")] (EIdent "Determiner")), (DDeclC [(IdentName "commentAdv"), (IdentName "quandAdv"), (IdentName "ouAdv"), (IdentName "pourquoiAdv")] (EIdent "Adverb")), (DDeclC [(IdentName "etConj"), (IdentName "ouConj")] (EIdent "Conjunction")), (DDeclC [(IdentName "etetConj"), (IdentName "ououConj")] (EIdent "ConjunctionDistr")), (DDeclC [(IdentName "siSubj"), (IdentName "quandSubj")] (EIdent "Subjunction")), (DDeclC [(IdentName "ouiPhr"), (IdentName "noPhr")] (EIdent "Utterance")), (DFull [(IdentName "Sats")] (ESort Sort_Type) (ERecord [(LDDecl ["s1"] (ESort Sort_Str)), (LDDecl ["s3"] (ESort Sort_Str)), (LDDecl ["s4"] (ETType (EIdent "VF") (ESort Sort_Str))), (LDDecl ["s5"] (ESort Sort_Str)), (LDDecl ["s6"] (ESort Sort_Str)), (LDDecl ["s7"] (ETType (EIdent "Bool") (ESort Sort_Str))), (LDDecl ["aux"] (EIdent "VAux")), (LDDecl ["g", "g2"] (EIdent "Gender")), (LDDecl ["n", "n2"] (EIdent "Number")), (LDDecl ["p"] (EIdent "Person"))])), (DFull [(IdentName "verbClForm")] (EProd (DExp (EIdent "Verb")) (EProd (DExp (EIdent "ClForm")) (EProd (DExp (EIdent "Gender")) (EProd (DExp (EIdent "Number")) (EProd (DExp (EIdent "Person")) (EProd (DExp (EIdent "Gender")) (EProd (DExp (EIdent "Number")) (ETupTyp (ESort Sort_Str) (ESort Sort_Str))))))))) (EAbstr [(BIdent "verb"), (BIdent "cl"), (BIdent "g"), (BIdent "n"), (BIdent "p"), (BIdent "g2"), (BIdent "n2")] (ELetb [(LDDef ["aimee"] (ESelect (EProj (EIdent "verb") (LIdent "s")) (EApp (EApp (EIdent "VPart") (EIdent "g2")) (EIdent "n2")))), (LDDef ["auxv"] (EProj (EApp (EIdent "auxVerb") (EIdent "verb")) (LIdent "s"))), (LDFull ["aime"] (EProd (DExp (EIdent "TMode")) (ESort Sort_Str)) (EAbstr [(BIdent "t")] (ESelect (EProj (EIdent "verb") (LIdent "s")) (EApp (EApp (EApp (EIdent "VFin") (EIdent "t")) (EIdent "n")) (EIdent "p"))))), (LDFull ["avoir"] (EProd (DExp (EIdent "TMode")) (ESort Sort_Str)) (EAbstr [(BIdent "t")] (ESelect (EIdent "auxv") (EApp (EApp (EApp (EIdent "VFin") (EIdent "t")) (EIdent "n")) (EIdent "p"))))), (LDDef ["aimer"] (ESelect (EProj (EIdent "verb") (LIdent "s")) (EIdent "VInfin"))), (LDDef ["avoirr"] (ESelect (EIdent "auxv") (EIdent "VInfin")))] (ECase (EIdent "cl") [(CaseC [(AltP (PC "ClPres" [(PV "Simul"), (PV "m")]))] (ETuple [(TComp (EApp (EIdent "aime") (EApp (EIdent "VPres") (EIdent "m")))), (TComp EEmpty)])), (CaseC [(AltP (PC "ClPres" [(PV "a"), (PV "m")]))] (ETuple [(TComp (EApp (EIdent "avoir") (EApp (EIdent "VPres") (EIdent "m")))), (TComp (EIdent "aimee"))])), (CaseC [(AltP (PC "ClImperf" [(PV "Simul"), (PV "m")]))] (ETuple [(TComp (EApp (EIdent "aime") (EApp (EIdent "VImperf") (EIdent "m")))), (TComp EEmpty)])), (CaseC [(AltP (PC "ClImperf" [(PV "a"), (PV "m")]))] (ETuple [(TComp (EApp (EIdent "avoir") (EApp (EIdent "VImperf") (EIdent "m")))), (TComp (EIdent "aimee"))])), (CaseC [(AltP (PC "ClPasse" [(PV "Simul")]))] (ETuple [(TComp (EApp (EIdent "aime") (EIdent "VPasse"))), (TComp EEmpty)])), (CaseC [(AltP (PC "ClPasse" [(PV "a")]))] (ETuple [(TComp (EApp (EIdent "avoir") (EIdent "VPasse"))), (TComp (EIdent "aimee"))])), (CaseC [(AltP (PC "ClFut" [(PV "Simul")]))] (ETuple [(TComp (EApp (EIdent "aime") (EIdent "VFut"))), (TComp EEmpty)])), (CaseC [(AltP (PC "ClFut" [(PV "a")]))] (ETuple [(TComp (EApp (EIdent "avoir") (EIdent "VFut"))), (TComp (EIdent "aimee"))])), (CaseC [(AltP (PC "ClCondit" [(PV "Simul")]))] (ETuple [(TComp (EApp (EIdent "aime") (EIdent "VCondit"))), (TComp EEmpty)])), (CaseC [(AltP (PC "ClCondit" [(PV "a")]))] (ETuple [(TComp (EApp (EIdent "avoir") (EIdent "VCondit"))), (TComp (EIdent "aimee"))])), (CaseC [(AltP (PC "ClInfinit" [(PV "Simul")]))] (ETuple [(TComp (EIdent "aimer")), (TComp EEmpty)])), (CaseC [(AltP (PC "ClInfinit" [(PV "a")]))] (ETuple [(TComp (EIdent "avoirr")), (TComp (EIdent "aimee"))]))])))), (DFull [(IdentName "mkSats")] (EProd (DExp (EIdent "NounPhrase")) (EProd (DExp (EIdent "Verb")) (EIdent "Sats"))) (EAbstr [(BIdent "subj"), (BIdent "verb")] (ELetb [(LDFull ["ifEsse"] (EProd (DDec [(BIdent "T")] (ESort Sort_Type)) (EProd (DExp (EIdent "T")) (EProd (DExp (EIdent "T")) (EIdent "T")))) (EAbstr [(BIdent "T"), (BIdent "e"), (BIdent "h")] (ECase (EProj (EIdent "verb") (LIdent "aux")) [(CaseC [(AltP (PV "AEsse"))] (EIdent "e")), (CaseC [(AltP (PV "AHabere"))] (EIdent "h"))])))] (ERecord [(LDDef ["s1"] (ESelect (EProj (EIdent "subj") (LIdent "s")) (EApp (EIdent "unstressed") (EIdent "nominative")))), (LDDef ["s3"] EEmpty), (LDDef ["s4"] (EProj (EIdent "verb") (LIdent "s"))), (LDDef ["s5", "s6"] EEmpty), (LDDef ["s7"] (ECTable [BWild] EEmpty)), (LDDef ["aux"] (EProj (EIdent "verb") (LIdent "aux"))), (LDDef ["g"] (EApp (EIdent "pgen2gen") (EProj (EIdent "subj") (LIdent "g")))), (LDDef ["n"] (EProj (EIdent "subj") (LIdent "n"))), (LDDef ["p"] (EProj (EIdent "subj") (LIdent "p"))), (LDDef ["g2"] (EApp (EApp (EApp (EIdent "ifEsse") (EIdent "Gender")) (EApp (EIdent "pgen2gen") (EProj (EIdent "subj") (LIdent "g")))) (EIdent "Masc"))), (LDDef ["n2"] (EApp (EApp (EApp (EIdent "ifEsse") (EIdent "Number")) (EProj (EIdent "subj") (LIdent "n"))) (EIdent "Sg")))])))), (DFull [(IdentName "insertObject")] (EProd (DExp (EIdent "Sats")) (EProd (DExp (EIdent "CaseA")) (EProd (DExp (ESort Sort_Str)) (EProd (DExp (EIdent "NounPhrase")) (EIdent "Sats"))))) (EAbstr [(BIdent "sats"), (BIdent "c"), (BIdent "prep"), (BIdent "obj")] (ELetb [(LDFull ["ifClit"] (EProd (DDec [(BIdent "T")] (ESort Sort_Type)) (EProd (DExp (EIdent "T")) (EProd (DExp (EIdent "T")) (EIdent "T")))) (EAbstr [(BIdent "T")] (EApp (EApp (EIdent "if_then_else") (EIdent "T")) (EApp (EApp (EIdent "andB") (EApp (EIdent "isNounPhraseClit") (EIdent "obj"))) (EApp (EIdent "isClitCase") (EIdent "c")))))), (LDDef ["object"] (ESelect (EProj (EIdent "obj") (LIdent "s")) (EApp (EIdent "case2pformClit") (EIdent "c")))), (LDDef ["clit"] (EApp (EApp (EApp (EIdent "ifClit") (ESort Sort_Str)) (EIdent "object")) EEmpty)), (LDDef ["np"] (EApp (EApp (EApp (EIdent "ifClit") (ESort Sort_Str)) EEmpty) (EIdent "object")))] (ERecord [(LDDef ["s1"] (EProj (EIdent "sats") (LIdent "s1"))), (LDDef ["s3"] (EConcat (EProj (EIdent "sats") (LIdent "s3")) (EIdent "clit"))), (LDDef ["s4"] (EProj (EIdent "sats") (LIdent "s4"))), (LDDef ["s5"] (EProj (EIdent "sats") (LIdent "s5"))), (LDDef ["s6"] (EConcat (EProj (EIdent "sats") (LIdent "s6")) (EConcat (EIdent "prep") (EIdent "np")))), (LDDef ["s7"] (EProj (EIdent "sats") (LIdent "s7"))), (LDDef ["aux"] (EProj (EIdent "sats") (LIdent "aux"))), (LDDef ["g"] (EProj (EIdent "sats") (LIdent "g"))), (LDDef ["n"] (EProj (EIdent "sats") (LIdent "n"))), (LDDef ["g2"] (EApp (EApp (EApp (EIdent "ifClit") (EIdent "Gender")) (EApp (EIdent "pgen2gen") (EProj (EIdent "obj") (LIdent "g")))) (EProj (EIdent "sats") (LIdent "g2")))), (LDDef ["n2"] (EApp (EApp (EApp (EIdent "ifClit") (EIdent "Number")) (EProj (EIdent "obj") (LIdent "n"))) (EProj (EIdent "sats") (LIdent "n2")))), (LDDef ["p"] (EProj (EIdent "sats") (LIdent "p")))])))), (DFull [(IdentName "insertExtrapos")] (EProd (DExp (EIdent "Sats")) (EProd (DExp (ETType (EIdent "Bool") (ESort Sort_Str))) (EIdent "Sats"))) (EAbstr [(BIdent "sats"), (BIdent "obj")] (ERecord [(LDDef ["s1"] (EProj (EIdent "sats") (LIdent "s1"))), (LDDef ["s3"] (EProj (EIdent "sats") (LIdent "s3"))), (LDDef ["s4"] (EProj (EIdent "sats") (LIdent "s4"))), (LDDef ["s5"] (EProj (EIdent "sats") (LIdent "s5"))), (LDDef ["s6"] (EProj (EIdent "sats") (LIdent "s6"))), (LDDef ["s7"] (EIdent "obj")), (LDDef ["aux"] (EProj (EIdent "sats") (LIdent "aux"))), (LDDef ["g"] (EProj (EIdent "sats") (LIdent "g"))), (LDDef ["n"] (EProj (EIdent "sats") (LIdent "n"))), (LDDef ["g2"] (EProj (EIdent "sats") (LIdent "g2"))), (LDDef ["n2"] (EProj (EIdent "sats") (LIdent "n2"))), (LDDef ["p"] (EProj (EIdent "sats") (LIdent "p")))]))), (DFull [(IdentName "mkSatsObject")] (EProd (DExp (EIdent "NounPhrase")) (EProd (DExp (EIdent "TransVerb")) (EProd (DExp (EIdent "NounPhrase")) (EIdent "Sats")))) (EAbstr [(BIdent "subj"), (BIdent "verb"), (BIdent "obj")] (EApp (EApp (EApp (EApp (EIdent "insertObject") (EApp (EApp (EIdent "mkSats") (EIdent "subj")) (EIdent "verb"))) (EProj (EIdent "verb") (LIdent "c"))) (EProj (EIdent "verb") (LIdent "s2"))) (EIdent "obj")))), (DFull [(IdentName "mkSatsCopula")] (EProd (DExp (EIdent "NounPhrase")) (EProd (DExp (ESort Sort_Str)) (EIdent "Sats"))) (EAbstr [(BIdent "subj"), (BIdent "obj")] (EApp (EApp (EApp (EIdent "mkSatsObject") (EIdent "subj")) (EApp (EIdent "mkTransVerbDir") (EIdent "copula"))) (EApp (EIdent "nameNounPhrase") (EApp (EApp (EIdent "mkProperName") (EIdent "obj")) (EIdent "Masc")))))), (DFull [(IdentName "sats2clause")] (EProd (DExp (EIdent "Sats")) (EIdent "Clause")) (EAbstr [(BIdent "sats")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "b"), (BIdent "cf")] (ELetb [(LDDef ["je"] (EProj (EIdent "sats") (LIdent "s1"))), (LDDef ["lui"] (EProj (EIdent "sats") (LIdent "s3"))), (LDDef ["dire"] (EApp (EApp (EApp (EApp (EApp (EApp (EApp (EIdent "verbClForm") (ERecord [(LDDef ["s"] (EProj (EIdent "sats") (LIdent "s4"))), (LDDef ["aux"] (EProj (EIdent "sats") (LIdent "aux")))])) (EIdent "cf")) (EProj (EIdent "sats") (LIdent "g"))) (EProj (EIdent "sats") (LIdent "n"))) (EProj (EIdent "sats") (LIdent "p"))) (EProj (EIdent "sats") (LIdent "g2"))) (EProj (EIdent "sats") (LIdent "n2")))), (LDDef ["ai"] (EProj (EIdent "dire") (LIdent "p1"))), (LDDef ["dit"] (EProj (EIdent "dire") (LIdent "p2"))), (LDDef ["toujours"] (EProj (EIdent "sats") (LIdent "s5"))), (LDDef ["directement"] (EProj (EIdent "sats") (LIdent "s6"))), (LDDef ["ne"] (EApp (EApp (EApp (EIdent "if_then_Str") (EIdent "b")) EEmpty) (EIdent "negNe"))), (LDDef ["pas"] (EApp (EApp (EApp (EIdent "if_then_Str") (EIdent "b")) EEmpty) (EIdent "negPas"))), (LDDef ["oui"] (ESelect (EProj (EIdent "sats") (LIdent "s7")) (EIdent "b")))] (EConcat (EIdent "je") (EConcat (EIdent "ne") (EConcat (EIdent "lui") (EConcat (EIdent "ai") (EConcat (EIdent "toujours") (EConcat (EIdent "pas") (EConcat (EIdent "dit") (EConcat (EIdent "directement") (EIdent "oui"))))))))))))]))), (DDeclC [(IdentName "negNe"), (IdentName "negPas")] (ESort Sort_Str)), (DFull [(IdentName "sats2quest")] (EProd (DExp (EIdent "Sats")) (EIdent "Question")) (EAbstr [(BIdent "x")] (ELetb [(LDDef ["cl"] (EApp (EIdent "sats2clause") (EIdent "x")))] (ERecord [(LDDef ["s"] (ECTable [(BIdent "b"), (BIdent "f"), BWild] (ESelect (ESelect (EProj (EIdent "cl") (LIdent "s")) (EIdent "b")) (EIdent "f"))))])))), (DFull [(IdentName "sats2rel")] (EProd (DExp (EProd (DExp (EIdent "Gender")) (EProd (DExp (EIdent "Number")) (EProd (DExp (EIdent "Person")) (EIdent "Sats"))))) (EIdent "RelClause")) (EAbstr [(BIdent "s")] (ERecord [(LDDef ["s1"] (ECTable [(BIdent "g"), (BIdent "n"), (BIdent "p")] (ELetb [(LDDef ["sats"] (EApp (EApp (EApp (EIdent "s") (EIdent "g")) (EIdent "n")) (EIdent "p")))] (EProj (EIdent "sats") (LIdent "s1"))))), (LDDef ["s2"] (ECTable [(BIdent "b"), (BIdent "cf"), (BIdent "g"), (BIdent "n"), (BIdent "p")] (ELetb [(LDDef ["sats"] (EApp (EApp (EApp (EIdent "s") (EIdent "g")) (EIdent "n")) (EIdent "p"))), (LDDef ["lui"] (EProj (EIdent "sats") (LIdent "s3"))), (LDDef ["dire"] (EApp (EApp (EApp (EApp (EApp (EApp (EApp (EIdent "verbClForm") (ERecord [(LDDef ["s"] (EProj (EIdent "sats") (LIdent "s4"))), (LDDef ["aux"] (EProj (EIdent "sats") (LIdent "aux")))])) (EIdent "cf")) (EProj (EIdent "sats") (LIdent "g"))) (EProj (EIdent "sats") (LIdent "n"))) (EProj (EIdent "sats") (LIdent "p"))) (EProj (EIdent "sats") (LIdent "g2"))) (EProj (EIdent "sats") (LIdent "n2")))), (LDDef ["ai"] (EProj (EIdent "dire") (LIdent "p1"))), (LDDef ["toujours"] (EProj (EIdent "sats") (LIdent "s5"))), (LDDef ["dit"] (EProj (EIdent "dire") (LIdent "p2"))), (LDDef ["ne"] (EApp (EApp (EApp (EIdent "if_then_Str") (EIdent "b")) EEmpty) (EIdent "negNe"))), (LDDef ["pas"] (EApp (EApp (EApp (EIdent "if_then_Str") (EIdent "b")) EEmpty) (EIdent "negPas")))] (EConcat (EIdent "ne") (EConcat (EIdent "lui") (EConcat (EIdent "ai") (EConcat (EIdent "toujours") (EConcat (EIdent "pas") (EIdent "dit"))))))))), (LDDef ["s3"] (ECTable [(BIdent "b")] (ELetb [(LDDef ["sats"] (EApp (EApp (EApp (EIdent "s") (EIdent "Masc")) (EIdent "Sg")) (EIdent "P3"))), (LDDef ["directement"] (EProj (EIdent "sats") (LIdent "s6"))), (LDDef ["oui"] (ESelect (EProj (EIdent "sats") (LIdent "s7")) (EIdent "b")))] (EConcat (EIdent "directement") (EIdent "oui")))))]))), (DFull [(IdentName "relNounPhrase")] (EProd (DExp (EIdent "RelPron")) (EProd (DExp (EIdent "Gender")) (EProd (DExp (EIdent "Number")) (EProd (DExp (EIdent "Person")) (EIdent "NounPhrase"))))) (EAbstr [(BIdent "r"), (BIdent "g"), (BIdent "n"), (BIdent "p")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "np")] (ESelect (EProj (EIdent "r") (LIdent "s")) (EApp (EIdent "npRelForm") (EIdent "np"))))), (LDDef ["g"] (EApp (EIdent "PGen") (EIdent "g"))), (LDDef ["n"] (EIdent "n")), (LDDef ["p"] (EIdent "p")), (LDDef ["c"] (EIdent "Clit0"))]))), (DFull [(IdentName "sats2verbPhrase")] (EProd (DExp (EIdent "Sats")) (EIdent "VerbClause")) (EAbstr [(BIdent "sats")] (ERecord [(LDDef ["s"] (ECTable [(BIdent "b"), (BIdent "ant"), (BIdent "vi"), (BIdent "g"), (BIdent "n"), (BIdent "p")] (ELetb [(LDDef ["lui"] (EProj (EIdent "sats") (LIdent "s3"))), (LDDef ["dire"] (EApp (EApp (EApp (EApp (EApp (EApp (EApp (EApp (EIdent "verbVIForm") (ERecord [(LDDef ["s"] (EProj (EIdent "sats") (LIdent "s4"))), (LDDef ["aux"] (EProj (EIdent "sats") (LIdent "aux")))])) (EIdent "ant")) (EIdent "vi")) (EIdent "g")) (EIdent "n")) (EIdent "p")) (EProj (EIdent "sats") (LIdent "g2"))) (EProj (EIdent "sats") (LIdent "n2")))), (LDDef ["ai"] (EProj (EIdent "dire") (LIdent "p1"))), (LDDef ["dit"] (EProj (EIdent "dire") (LIdent "p2"))), (LDDef ["toujours"] (EProj (EIdent "sats") (LIdent "s5"))), (LDDef ["directement"] (EProj (EIdent "sats") (LIdent "s6"))), (LDDef ["ne"] (EApp (EApp (EApp (EIdent "if_then_Str") (EIdent "b")) EEmpty) (EIdent "negNe"))), (LDDef ["pas"] (EApp (EApp (EApp (EIdent "if_then_Str") (EIdent "b")) EEmpty) (EIdent "negPas"))), (LDDef ["oui"] (ESelect (EProj (EIdent "sats") (LIdent "s7")) (EIdent "b")))] (EConcat (EIdent "ne") (EConcat (EIdent "lui") (EConcat (EIdent "ai") (EConcat (EIdent "toujours") (EConcat (EIdent "pas") (EConcat (EIdent "dit") (EConcat (EIdent "directement") (EIdent "oui")))))))))))]))), (DFull [(IdentName "verbVIForm")] (EProd (DExp (EIdent "Verb")) (EProd (DExp (EIdent "Anteriority")) (EProd (DExp (EIdent "VIForm")) (EProd (DExp (EIdent "Gender")) (EProd (DExp (EIdent "Number")) (EProd (DExp (EIdent "Person")) (EProd (DExp (EIdent "Gender")) (EProd (DExp (EIdent "Number")) (ETupTyp (ESort Sort_Str) (ESort Sort_Str)))))))))) (EAbstr [(BIdent "verb"), (BIdent "ant"), (BIdent "cl"), (BIdent "g"), (BIdent "n"), (BIdent "p"), (BIdent "g2"), (BIdent "n2")] (ELetb [(LDFull ["aime"] (EProd (DExp (EIdent "Number")) (ESort Sort_Str)) (EAbstr [(BIdent "t")] (ESelect (EProj (EIdent "verb") (LIdent "s")) (EApp (EApp (EIdent "vImper") (EIdent "t")) (EIdent "P2"))))), (LDDef ["aimee"] (ECase (EIdent "ant") [(CaseC [(AltP (PV "Simul"))] EEmpty), (CaseC [(AltP PW)] (ESelect (EProj (EIdent "verb") (LIdent "s")) (EApp (EApp (EIdent "VPart") (EIdent "Masc")) (EIdent "Sg"))))])), (LDDef ["finverb"] (ECase (EIdent "ant") [(CaseC [(AltP (PV "Simul"))] (EProj (EIdent "verb") (LIdent "s"))), (CaseC [(AltP PW)] (EProj (EApp (EIdent "auxVerb") (EIdent "verb")) (LIdent "s")))])), (LDDef ["aimer"] (ESelect (EIdent "finverb") (EIdent "VInfin"))), (LDDef ["aimant"] (ESelect (EIdent "finverb") (EIdent "VGer")))] (ECase (EIdent "cl") [(CaseC [(AltP (PC "VIImperat" [PW, (PV "n")]))] (ETuple [(TComp (EApp (EIdent "aime") (EIdent "n"))), (TComp EEmpty)])), (CaseC [(AltP (PV "VIGerund"))] (ETuple [(TComp (EIdent "aimant")), (TComp (EIdent "aimee"))])), (CaseC [(AltP (PV "VIInfinit"))] (ETuple [(TComp (EIdent "aimer")), (TComp (EIdent "aimee"))]))])))), (DFull [(IdentName "predVerb0")] (EProd (DExp (EIdent "Verb")) (EIdent "Clause")) (EAbstr [(BIdent "rain")] (EApp (EIdent "sats2clause") (EApp (EApp (EIdent "mkSats") (EApp (EIdent "pronNounPhrase") (EIdent "pronImpers"))) (EIdent "rain"))))), (DDeclC [(IdentName "progressiveSats")] (EProd (DExp (EIdent "NounPhrase")) (EProd (DExp (EIdent "VerbPhrase")) (EIdent "Sats"))))])]))]) 

[Linearized Tree]

interface SyntaxRomance = TypesRomance ** open Prelude, (CO = Coordination) in 
{
  flags coding = utf8 oper CommNoun : Type = 
  {
    s : Number => Str;
    g : Gender}
 ;
  CommNounPhrase = CommNoun;
  noun2CommNounPhrase : CommNounPhrase -> CommNoun = \ x -> x;
  commonNounComp : CommNoun -> Str -> CommNoun = \ numero, detelephone -> 
  {
    s = \ \ n => numero . s ! n ++ detelephone;
    g = numero . g}
 ;
  ProperName : Type = 
  {
    s : Str;
    g : Gender}
 ;
  NounPhrase : Type = Pronoun;
  nameNounPhrase : ProperName -> NounPhrase;
  mkProperName : Str -> Gender -> ProperName = \ jean, m -> 
  {
    s = jean;
    g = m}
 ;
  mkNameNounPhrase : Str -> Gender -> NounPhrase = \ jean, m -> nameNounPhrase (mkProperName jean m);
  nounPhraseOn : NounPhrase;
  normalNounPhrase : (CaseA => Str) -> Gender -> Number -> NounPhrase = \ cs, g, n -> 
  {
    s = \ \ p => cs ! pform2case p;
    g = PGen g;
    n = n;
    p = P3;
    c = Clit0}
 ;
  pronNounPhrase : Pronoun -> NounPhrase = \ pro -> pro;
  Numeral : Type = 
  {
    s : Gender => Str;
    n : Number;
    isNo : Bool}
 ;
  pronWithNum : Pronoun -> Numeral -> Pronoun = \ nous, deux -> 
  {
    s = \ \ c => nous . s ! c ++ deux . s ! pgen2gen nous . g;
    g = nous . g;
    n = nous . n;
    p = nous . p;
    c = nous . c}
 ;
  noNum : Numeral = 
  {
    s = \ \ _ => [];
    n = Pl;
    isNo = True}
 ;
  existNounPhrase : NounPhrase -> Clause;
  addSymbNounPhrase : NounPhrase -> Str -> NounPhrase = \ np, x -> 
  {
    s = \ \ c => np . s ! c ++ x;
    g = np . g;
    n = np . n;
    p = np . p;
    c = np . c}
 ;
  Determiner : Type = 
  {
    s : Gender => Str;
    n : Number}
 ;
  DeterminerNum : Type = 
  {
    s : Gender => Str}
 ;
  detNounPhrase : Determiner -> CommNoun -> NounPhrase = \ tout, homme -> normalNounPhrase (\ \ c => prepCase c ++ tout . s ! homme . g ++ homme . s ! tout . n) homme . g tout . n;
  numDetNounPhrase : DeterminerNum -> Numeral -> CommNounPhrase -> NounPhrase = \ tous, six, homme -> normalNounPhrase (\ \ c => prepCase c ++ tous . s ! homme . g ++ six . s ! homme . g ++ homme . s ! six . n) homme . g six . n;
  justNumDetNounPhrase : DeterminerNum -> Numeral -> NounPhrase = \ tous, six -> normalNounPhrase (\ \ c => prepCase c ++ tous . s ! Masc ++ six . s ! Masc) Masc six . n;
  mkDeterminer : Number -> Str -> Str -> Determiner = \ n, tous, toutes -> 
  {
    s = genForms tous toutes;
    n = n}
 ;
  mkDeterminer1 : Number -> Str -> Determiner = \ n, chaque -> mkDeterminer n chaque chaque;
  mkDeterminerNum : Str -> Str -> DeterminerNum = \ tous, toutes -> 
  {
    s = \ \ g => genForms tous toutes ! g}
 ;
  indefNounPhrase : Number -> CommNounPhrase -> NounPhrase = \ n, mec -> normalNounPhrase (\ \ c => artIndef mec . g n c ++ mec . s ! n) mec . g n;
  indefNounPhraseNum : Numeral -> CommNounPhrase -> NounPhrase = \ nu, mec -> normalNounPhrase (\ \ c => case nu . isNo of 
  {
    True => artIndef mec . g Pl c ++ mec . s ! Pl;
    _ => prepCase c ++ nu . s ! mec . g ++ mec . s ! nu . n}
 ) mec . g nu . n;
  defNounPhrase : Number -> CommNounPhrase -> NounPhrase = \ n, mec -> normalNounPhrase (\ \ c => artDef mec . g n c ++ mec . s ! n) mec . g n;
  defNounPhraseNum : Numeral -> CommNounPhrase -> NounPhrase = \ nu, mec -> normalNounPhrase (\ \ c => artDef mec . g nu . n c ++ nu . s ! mec . g ++ mec . s ! nu . n) mec . g nu . n;
  indefNoun : Number -> CommNounPhrase -> Str = \ n, mec -> (indefNounPhrase n mec) . s ! case2pform nominative;
  npGenDet : Number -> NounPhrase -> CommNounPhrase -> NounPhrase = \ n, jeanne, mec -> let 
  {
    str : CaseA => Str = case jeanne . c of 
    {
      Clit0 => npGenDe n jeanne mec;
      _ => npGenPoss n jeanne mec}
  }
  in normalNounPhrase str mec . g n;
  npGenDetNum : Numeral -> NounPhrase -> CommNounPhrase -> NounPhrase = \ nu, jeanne, mec -> let 
  {
    str : CaseA => Str = case jeanne . c of 
    {
      Clit0 => npGenDeNum nu jeanne mec;
      _ => npGenPossNum nu jeanne mec}
  }
  in normalNounPhrase str mec . g nu . n;
  npGenDe : Number -> NounPhrase -> CommNounPhrase -> CaseA => Str = \ n, jeanne, mec -> \ \ c => artDef mec . g n c ++ mec . s ! n ++ jeanne . s ! case2pform genitive;
  npGenDeNum : Numeral -> NounPhrase -> CommNounPhrase -> CaseA => Str = \ nu, jeanne, mec -> \ \ c => artDef mec . g nu . n c ++ nu . s ! mec . g ++ mec . s ! nu . n ++ jeanne . s ! case2pform genitive;
  npGenPoss : Number -> NounPhrase -> CommNounPhrase -> CaseA => Str;
  npGenPossNum : Numeral -> NounPhrase -> CommNounPhrase -> CaseA => Str;
  nounThatSentence : CommNounPhrase -> Sentence -> CommNounPhrase = \ idee, x -> 
  {
    s = \ \ n => idee . s ! n ++ elisQue ++ x . s ! Ind;
    g = idee . g}
 ;
  partitiveNounPhrase : Number -> CommNounPhrase -> NounPhrase;
  Adjective : Type = Adj ** 
  {
    p : Bool}
 ;
  adjPre = True;
  adjPost = False;
  AdjPhrase : Type = Adjective;
  adj2adjPhrase : Adjective -> AdjPhrase = \ x -> x;
  mkAdjective : Adj -> Bool -> Adjective = \ adj, p -> adj ** 
  {
    p = p}
 ;
  AdjDegr = AdjComp ** 
  {
    p : Bool}
 ;
  mkAdjDegr : AdjComp -> Bool -> AdjDegr = \ adj, p -> adj ** 
  {
    p = p}
 ;
  mkAdjDegrLong : Adj -> Bool -> AdjDegr = \ adj, p -> adjCompLong adj ** 
  {
    p = p}
 ;
  positAdjPhrase : AdjDegr -> AdjPhrase = \ bon -> 
  {
    s = bon . s ! Pos;
    p = bon . p}
 ;
  comparAdjPhrase : AdjDegr -> NounPhrase -> AdjPhrase = \ bon, toi -> 
  {
    s = \ \ a => bon . s ! Comp ! a ++ comparConj ++ toi . s ! stressed accusative;
    p = False}
 ;
  comparConj : Str;
  superlNounPhrase : AdjDegr -> CommNoun -> NounPhrase = \ bon, mec -> normalNounPhrase (\ \ c => artDef mec . g Sg c ++ if_then_else Str bon . p (bon . s ! Comp ! AF mec . g Sg ++ mec . s ! Sg) (mec . s ! Sg ++ artDef mec . g Sg nominative ++ bon . s ! Comp ! AF mec . g Sg)) mec . g Sg;
  superlAdjPhrase : AdjDegr -> AdjPhrase = \ bon -> 
  {
    s = \ \ a => artDef (genAForm a) (numAForm a) nominative ++ bon . s ! Comp ! a;
    p = bon . p}
 ;
  predAdjSent : (Adjective ** 
  {
    mp, mn : Mode}
 ) -> Sentence -> Clause = \ adj, ildort -> sats2clause (insertExtrapos (mkSatsCopula pronImpers (adj . s ! AF Masc Sg)) (\ \ b => embedConj ++ ildort . s ! if_then_else Mode b adj . mp adj . mn));
  predAdjSent2 : (AdjCompl ** 
  {
    mp, mn : Mode}
 ) -> NounPhrase -> Adjective ** 
  {
    mp, mn : Mode}
  = \ facile, jean -> complAdj facile jean ** 
  {
    mp = facile . mp;
    mn = facile . mn}
 ;
  pronImpers : NounPhrase;
  Preposition = Str;
  Complement = 
  {
    s2 : Preposition;
    c : CaseA}
 ;
  complement : Str -> Complement = \ par -> 
  {
    s2 = par;
    c = nominative}
 ;
  complementDir : Complement = complement [];
  complementCas : CaseA -> Complement = \ c -> 
  {
    s2 = [];
    c = c}
 ;
  AdjCompl = AdjPhrase ** Complement;
  mkAdjCompl : Adj -> Bool -> Complement -> AdjCompl = \ adj, p, c -> mkAdjective adj p ** c;
  complAdj : AdjCompl -> NounPhrase -> AdjPhrase = \ relie, jean -> 
  {
    s = \ \ a => relie . s ! a ++ relie . s2 ++ jean . s ! case2pform relie . c;
    p = False}
 ;
  modCommNounPhrase : AdjPhrase -> CommNounPhrase -> CommNounPhrase = \ bon, mec -> 
  {
    s = \ \ n => if_then_else Str bon . p (bon . s ! AF mec . g n ++ mec . s ! n) (mec . s ! n ++ bon . s ! AF mec . g n);
    g = mec . g}
 ;
  Function : Type = CommNounPhrase ** Complement;
  appFunComm : Function -> NounPhrase -> CommNounPhrase = \ mere, jean -> 
  {
    s = \ \ n => mere . s ! n ++ mere . s2 ++ jean . s ! case2pform mere . c;
    g = mere . g}
 ;
  Function2 = Function ** 
  {
    s3 : Preposition;
    c3 : CaseA}
 ;
  appFun2 : Function2 -> NounPhrase -> Function = \ vol, paris -> 
  {
    s = \ \ n => vol . s ! n ++ vol . s2 ++ paris . s ! case2pform vol . c;
    g = vol . g;
    s2 = vol . s3;
    c = vol . c3}
 ;
  funAsCommNounPhrase : Function -> CommNounPhrase = \ x -> x;
  appFun : Bool -> Function -> NounPhrase -> NounPhrase = \ coll, mere, jean -> let n = jean . n;
  g = mere . g;
  nf = if_then_else Number coll Sg n in variants 
  {
    defNounPhrase nf (appFunComm mere jean);
    npGenDet nf jean mere}
  param VPForm = VPF Anteriority VF;
  Anteriority = Simul | Anter;
  VIForm = VIInfinit | VIImperat Bool Number | VIGerund oper VerbPhrase = 
  {
    s : VIForm => Gender => Number => Person => Str}
 ;
  VerbClause = 
  {
    s : Bool => Anteriority => VIForm => Gender => Number => Person => Str}
 ;
  vpf2vf : VPForm -> VF = \ vpf -> case vpf of 
  {
    VPF _ vf => vf}
 ;
  auxVerb : Verb -> Verb;
  nombreVerbPhrase : VPForm -> Number = \ v -> case v of 
  {
    VPF _ f => nombreVerb f}
 ;
  personVerbPhrase : VPForm -> Person = \ v -> case v of 
  {
    VPF _ f => personVerb f}
 ;
  isNotImperative : VPForm -> Bool = \ v -> case v of 
  {
    VPF _ VImper _ => False;
    _ => True}
 ;
  negVerb : Str -> Str;
  copula : Verb;
  complVerbAdj : AdjCompl -> VerbPhrase -> AdjPhrase = \ facile, ouvrir -> 
  {
    s = \ \ gn => facile . s ! gn ++ prepCase facile . c ++ facile . s2 ++ ouvrir . s ! VIInfinit ! Masc ! Sg ! P3;
    p = False}
 ;
  complVerbAdj2 : Bool -> AdjCompl -> NounPhrase -> VerbPhrase -> AdjPhrase = \ b, facile, lui, nager -> 
  {
    s = \ \ gn => facile . s ! gn ++ lui . s ! stressed dative ++ prepCase facile . c ++ facile . s2 ++ nager . s ! VIInfinit ! pgen2gen lui . g ! lui . n ! P3;
    p = False}
 ;
  TransVerb : Type = Verb ** Complement;
  complementOfTransVerb : TransVerb -> Complement = \ v -> 
  {
    s2 = v . s2;
    c = v . c}
 ;
  verbOfTransVerb : TransVerb -> Verb = \ v -> 
  {
    s = v . s;
    aux = v . aux}
 ;
  isNounPhraseClit : NounPhrase -> Bool = \ n -> case n . c of 
  {
    Clit0 => False;
    _ => True}
 ;
  isClitCase : CaseA -> Bool;
  isTransVerbClit : TransVerb -> Bool = \ v -> isClitCase v . c;
  isDitransVerbClit : DitransVerb -> Bool * Bool = \ v -> < isClitCase v . c, isClitCase v . c3 >;
  reflPron : Number => Person => NPFormA => Str;
  reflPronNounPhrase : Gender -> Number -> Person -> NounPhrase = \ g, n, p -> 
  {
    s = reflPron ! n ! p;
    g = PGen g;
    n = n;
    p = p;
    c = Clit1}
 ;
  adjPastPart : Verb -> Adjective = \ verb -> 
  {
    s = table 
    {
      AF g n => verb . s ! VPart g n;
      AA => verb . s ! VPart Masc Sg}
   ;
    p = False}
 ;
  mkTransVerb : Verb -> Preposition -> CaseA -> TransVerb = \ v, p, c -> v ** 
  {
    s2 = p;
    c = c}
 ;
  mkTransVerbPrep : Verb -> Preposition -> TransVerb = \ passer, par -> mkTransVerb passer par accusative;
  mkTransVerbCas : Verb -> CaseA -> TransVerb = \ penser, a -> mkTransVerb penser [] a;
  mkTransVerbDir : Verb -> TransVerb = \ aimer -> mkTransVerbCas aimer accusative;
  transAsVerb : TransVerb -> Verb = \ love -> love;
  DitransVerb = TransVerb ** 
  {
    s3 : Preposition;
    c3 : CaseA}
 ;
  mkDitransVerb : Verb -> Preposition -> CaseA -> Preposition -> CaseA -> DitransVerb = \ v, p1, c1, p2, c2 -> v ** 
  {
    s2 = p1;
    c = c1;
    s3 = p2;
    c3 = c2}
 ;
  posNeg : Bool -> (verb, compl : Str) -> Str;
  DitransVerbVerb = TransVerb ** 
  {
    c3 : CaseA}
 ;
  Adverb : Type = SS;
  advVerbPhrase : VerbPhrase -> Adverb -> VerbPhrase = \ chante, bien -> 
  {
    s = \ \ v, g, n, p => chante . s ! v ! g ! n ! p ++ bien . s}
 ;
  prepNounPhrase : 
  {
    s : Preposition;
    c : CaseA}
  -> NounPhrase -> Adverb = \ dans, jean -> 
  {
    s = dans . s ++ jean . s ! Ton dans . c}
 ;
  justPrep : Preposition -> 
  {
    s : Preposition;
    c : CaseA}
  = \ sans -> 
  {
    s = sans;
    c = prepositional}
 ;
  justCase : CaseA -> 
  {
    s : Preposition;
    c : CaseA}
  = \ nom -> 
  {
    s = [];
    c = nom}
 ;
  advCommNounPhrase : CommNounPhrase -> Adverb -> CommNounPhrase = \ mec, aparis -> 
  {
    s = \ \ n => mec . s ! n ++ aparis . s;
    g = mec . g}
 ;
  advAdjPhrase : Adverb -> AdjPhrase -> AdjPhrase = \ trop, lent -> 
  {
    s = \ \ a => trop . s ++ lent . s ! a;
    p = lent . p}
 ;
  Sentence : Type = SS1 Mode param Tense = Present | Past | Future | Condit;
  ClForm = ClPres Anteriority Mode | ClImperf Anteriority Mode | ClPasse Anteriority | ClFut Anteriority | ClCondit Anteriority | ClInfinit Anteriority oper useClForm : Tense -> Anteriority -> Mode -> ClForm = \ t, a, m -> case t of 
  {
    Present => ClPres a m;
    Past => ClImperf a m;
    Future => ClFut a;
    Condit => ClCondit a}
 ;
  Clause = 
  {
    s : Bool => ClForm => Str}
 ;
  SentenceVerb : Type = Verb ** 
  {
    mp, mn : Mode}
 ;
  subordMode : SentenceVerb -> Bool -> Mode = \ verb, b -> if_then_else Mode b verb . mp verb . mn;
  verbSent : Verb -> Mode -> Mode -> SentenceVerb = \ v, mp, mn -> v ** 
  {
    mp = mp;
    mn = mn}
 ;
  embedConj : Str;
  VerbVerb : Type = Verb ** 
  {
    c : CaseA}
 ;
  mkVerbVerbDir : Verb -> VerbVerb = \ v -> v ** 
  {
    c = accusative}
 ;
  ClauseSlashNounPhrase = Clause ** Complement;
  dummyNounPhrase : NounPhrase = mkNameNounPhrase [] Masc;
  slashTransVerb : NounPhrase -> TransVerb -> ClauseSlashNounPhrase = \ np, v -> sats2clause (mkSatsObject np v dummyNounPhrase) ** complementOfTransVerb v;
  slashVerbVerb : NounPhrase -> VerbVerb -> TransVerb -> ClauseSlashNounPhrase = \ subj, verb, tv -> sats2clause (insertExtrapos (mkSats subj verb) (\ \ _ => prepCase verb . c ++ tv . s ! VInfin)) ** complementOfTransVerb tv;
  slashAdverb : Clause -> 
  {
    s : Str;
    c : CaseA}
  -> ClauseSlashNounPhrase = \ ilhabite, dans -> ilhabite ** 
  {
    s2 = dans . s;
    c = dans . c}
  oper RelPron : Type = 
  {
    s : RelFormA => Str;
    g : RelGen}
 ;
  RelClause : Type = 
  {
    s1 : Gender => Number => Person => Str;
    s2 : Bool => ClForm => Gender => Number => Person => Str;
    s3 : Bool => Str}
 ;
  RelSentence : Type = 
  {
    s : Mode => Gender => Number => Person => Str}
 ;
  mkGenRel : RelGen -> Gender -> Gender = \ rg, g -> case rg of 
  {
    PGen gen => gen;
    _ => g}
 ;
  identRelPron : RelPron;
  composRelPron : Gender -> Number -> CaseA -> Str;
  funRelPron : Function -> RelPron -> RelPron;
  allRelForms : RelPron -> Gender -> Number -> CaseA -> Str;
  relSlash : RelPron -> ClauseSlashNounPhrase -> RelClause = \ dont, jeparle -> 
  {
    s1 = \ \ g, n, p => jeparle . s2 ++ allRelForms dont g n jeparle . c;
    s2 = \ \ b, cl, g, n, p => jeparle . s ! b ! cl;
    s3 = \ \ _ => []}
 ;
  relSuch : Clause -> RelClause = \ A -> 
  {
    s1 = \ \ g, n, p => suchPron g n;
    s2 = \ \ b, cl, g, n, p => embedConj ++ A . s ! b ! cl;
    s3 = \ \ _ => []}
 ;
  suchPron : Gender -> Number -> Str;
  modRelClause : CommNounPhrase -> RelSentence -> CommNounPhrase = \ mec, quidort -> 
  {
    s = \ \ n => mec . s ! n ++ quidort . s ! Ind ! mec . g ! n ! P3;
    g = mec . g}
 ;
  IntPron : Type = 
  {
    s : CaseA => Str;
    g : Gender;
    n : Number}
 ;
  funIntPron : Function -> IntPron -> IntPron = \ mere, qui -> 
  {
    s = \ \ c => artDef mere . g qui . n c ++ mere . s ! qui . n ++ mere . s2 ++ qui . s ! mere . c;
    g = mere . g;
    n = qui . n}
 ;
  nounIntPron : Number -> CommNounPhrase -> IntPron;
  intPronWho : Number -> IntPron;
  intPronWhat : Number -> IntPron;
  Utterance = SS;
  indicUtt : Sentence -> Utterance = \ x -> ss (x . s ! Ind ++ ".");
  interrogUtt : QuestionSent -> Utterance = \ x -> ss (x . s ! DirQ ++ "?") param QuestForm = DirQ | IndirQ oper Question = 
  {
    s : Bool => ClForm => QuestForm => Str}
 ;
  QuestionSent = 
  {
    s : QuestForm => Str}
 ;
  questClause : Clause -> Question = \ cl -> 
  {
    s = \ \ b, c => table 
    {
      DirQ => cl . s ! b ! c;
      IndirQ => cl . s ! b ! c}
  }
 ;
  intSlash : IntPron -> ClauseSlashNounPhrase -> Question;
  intNounPhrase : IntPron -> NounPhrase = \ ip -> 
  {
    s = \ \ nf => ip . s ! pform2case nf;
    g = PGen ip . g;
    n = ip . n;
    p = P3;
    c = Clit0}
 ;
  IntAdverb = SS;
  questAdverbial : IntAdverb -> Clause -> Question = \ quand, jeanDort -> 
  {
    s = \ \ b, cl => let jeandort = jeanDort . s ! b ! cl in table 
    {
      DirQ => quand . s ++ jeandort;
      IndirQ => quand . s ++ jeandort}
  }
 ;
  Imperative = 
  {
    s : Gender => Number => Str}
 ;
  imperVerbPhrase : Bool -> VerbClause -> Imperative = \ b, dormir -> 
  {
    s = \ \ g, n => dormir . s ! b ! Simul ! VIImperat b n ! g ! n ! P2}
 ;
  imperUtterance : Number -> Imperative -> Utterance = \ n, I -> ss (I . s ! Masc ! n ++ "!");
  advClause : Clause -> Adverb -> Clause = \ yousing, well -> 
  {
    s = \ \ b, c => yousing . s ! b ! c ++ well . s}
 ;
  advSentence : SS -> Sentence -> Utterance = \ donc, ildort -> ss (donc . s ++ ildort . s ! Ind ++ ".");
  Conjunction = CO . Conjunction ** 
  {
    n : Number}
 ;
  ConjunctionDistr = CO . ConjunctionDistr ** 
  {
    n : Number}
 ;
  ListSentence : Type = 
  {
    s1, s2 : Mode => Str}
 ;
  twoSentence : (_, _ : Sentence) -> ListSentence = CO . twoTable Mode;
  consSentence : ListSentence -> Sentence -> ListSentence = CO . consTable Mode CO . comma;
  conjunctSentence : Conjunction -> ListSentence -> Sentence = CO . conjunctTable Mode;
  conjunctDistrSentence : ConjunctionDistr -> ListSentence -> Sentence = CO . conjunctDistrTable Mode;
  ListAdjPhrase : Type = 
  {
    s1, s2 : AForm => Str;
    p : Bool}
 ;
  twoAdjPhrase : (_, _ : AdjPhrase) -> ListAdjPhrase = \ x, y -> CO . twoTable AForm x y ** 
  {
    p = andB x . p y . p}
 ;
  consAdjPhrase : ListAdjPhrase -> AdjPhrase -> ListAdjPhrase = \ xs, x -> CO . consTable AForm CO . comma xs x ** 
  {
    p = andB xs . p x . p}
 ;
  conjunctAdjPhrase : Conjunction -> ListAdjPhrase -> AdjPhrase = \ c, xs -> CO . conjunctTable AForm c xs ** 
  {
    p = xs . p}
 ;
  conjunctDistrAdjPhrase : ConjunctionDistr -> ListAdjPhrase -> AdjPhrase = \ c, xs -> CO . conjunctDistrTable AForm c xs ** 
  {
    p = xs . p}
 ;
  ListNounPhrase : Type = 
  {
    s1, s2 : CaseA => Str;
    g : PronGen;
    n : Number;
    p : Person}
 ;
  twoNounPhrase : (_, _ : NounPhrase) -> ListNounPhrase = \ x, y -> 
  {
    s1 = \ \ c => x . s ! stressed c;
    s2 = \ \ c => y . s ! stressed (conjunctCase c)}
  ** 
  {
    n = conjNumber x . n y . n;
    g = conjGender x . g y . g;
    p = conjPers x . p y . p}
 ;
  consNounPhrase : ListNounPhrase -> NounPhrase -> ListNounPhrase = \ xs, x -> 
  {
    s1 = \ \ c => xs . s1 ! c ++ CO . comma ++ xs . s2 ! conjunctCase c;
    s2 = \ \ c => x . s ! stressed (conjunctCase c)}
  ** 
  {
    n = conjNumber xs . n x . n;
    g = conjGender xs . g x . g;
    p = conjPers xs . p x . p}
 ;
  conjunctCase : CaseA -> CaseA;
  conjunctNounPhrase : Conjunction -> ListNounPhrase -> NounPhrase = \ co, xs -> 
  {
    s = \ \ c => xs . s1 ! pform2case c ++ co . s ++ xs . s2 ! pform2case c}
  ** 
  {
    n = conjNumber co . n xs . n;
    g = xs . g;
    p = xs . p;
    c = Clit0}
 ;
  conjunctDistrNounPhrase : ConjunctionDistr -> ListNounPhrase -> NounPhrase = \ co, xs -> 
  {
    s = \ \ c => co . s1 ++ xs . s1 ! pform2case c ++ co . s2 ++ xs . s2 ! pform2case c}
  ** 
  {
    n = conjNumber co . n xs . n;
    g = xs . g;
    p = xs . p;
    c = Clit0}
 ;
  conjNumber : Number -> Number -> Number = \ m, n -> case < m, n > of 
  {
    < Sg, Sg > => Sg;
    _ => Pl}
 ;
  conjGen : Gender -> Gender -> Gender = \ m, n -> case < m, n > of 
  {
    < Fem, Fem > => Fem;
    _ => Masc}
 ;
  conjGender : PronGen -> PronGen -> PronGen = \ m, n -> case < m, n > of 
  {
    < PGen Fem, PGen Fem > => PGen Fem;
    _ => PNoGen}
 ;
  conjPers : Person -> Person -> Person = \ p, q -> case < p, q > of 
  {
    < P3, P3 > => P3;
    < P1, _ > => P1;
    < _, P1 > => P1;
    _ => P2}
 ;
  ListAdverb : Type = SD2;
  twoAdverb : (_, _ : Adverb) -> ListAdverb = CO . twoSS;
  consAdverb : ListAdverb -> Adverb -> ListAdverb = CO . consSS CO . comma;
  conjunctAdverb : Conjunction -> ListAdverb -> Adverb = \ c, xs -> ss (CO . conjunctX c xs);
  conjunctDistrAdverb : ConjunctionDistr -> ListAdverb -> Adverb = \ c, xs -> ss (CO . conjunctDistrX c xs);
  Subjunction = 
  {
    s : Str;
    m : Mode}
 ;
  subjunctSentence : Subjunction -> Sentence -> Sentence -> Sentence = \ si, A, B -> 
  {
    s = \ \ m => subjunctVariants si A (B . s ! m)}
 ;
  subjunctImperative : Subjunction -> Sentence -> Imperative -> Imperative = \ si, A, B -> 
  {
    s = \ \ g, n => subjunctVariants si A (B . s ! g ! n)}
 ;
  subjunctQuestion : Subjunction -> Sentence -> QuestionSent -> QuestionSent = \ si, A, B -> 
  {
    s = \ \ q => subjunctVariants si A (B . s ! q)}
 ;
  subjunctVariants : Subjunction -> Sentence -> Str -> Str = \ si, A, B -> let 
  {
    As = A . s ! si . m}
  in variants 
  {
    si . s ++ As ++ B;
    B ++ si . s ++ As}
 ;
  useNounPhrase : NounPhrase -> Utterance = \ jean -> postfixSS "." (defaultNounPhrase jean);
  useCommonNounPhrase : Number -> CommNounPhrase -> Utterance = \ n, mec -> useNounPhrase (indefNounPhrase n mec);
  verbUtterance : VerbPhrase -> Utterance = \ vp -> ss (vp . s ! VIInfinit ! Masc ! Sg ! P3);
  defaultNounPhrase : NounPhrase -> SS = \ jean -> ss (jean . s ! stressed nominative);
  defaultQuestion : QuestionSent -> SS = \ quiesttu -> ss (quiesttu . s ! DirQ);
  defaultSentence : Sentence -> SS = \ x -> ss (x . s ! Ind);
  artDef : Gender -> Number -> CaseA -> Str;
  artIndef : Gender -> Number -> CaseA -> Str;
  genForms : Str -> Str -> Gender => Str;
  pronJe, pronTu, pronIl, pronElle, pronNous, pronVous, pronIls, pronElles : Pronoun;
  chaqueDet, quelDet, plupartDet : Determiner;
  commentAdv, quandAdv, ouAdv, pourquoiAdv : Adverb;
  etConj, ouConj : Conjunction;
  etetConj, ououConj : ConjunctionDistr;
  siSubj, quandSubj : Subjunction;
  ouiPhr, noPhr : Utterance;
  Sats : Type = 
  {
    s1 : Str;
    s3 : Str;
    s4 : VF => Str;
    s5 : Str;
    s6 : Str;
    s7 : Bool => Str;
    aux : VAux;
    g, g2 : Gender;
    n, n2 : Number;
    p : Person}
 ;
  verbClForm : Verb -> ClForm -> Gender -> Number -> Person -> Gender -> Number -> Str * Str = \ verb, cl, g, n, p, g2, n2 -> let aimee = verb . s ! VPart g2 n2;
  auxv = (auxVerb verb) . s;
  aime : TMode -> Str = \ t -> verb . s ! VFin t n p;
  avoir : TMode -> Str = \ t -> auxv ! VFin t n p;
  aimer = verb . s ! VInfin;
  avoirr = auxv ! VInfin in case cl of 
  {
    ClPres Simul m => < aime (VPres m), [] >;
    ClPres a m => < avoir (VPres m), aimee >;
    ClImperf Simul m => < aime (VImperf m), [] >;
    ClImperf a m => < avoir (VImperf m), aimee >;
    ClPasse Simul => < aime VPasse, [] >;
    ClPasse a => < avoir VPasse, aimee >;
    ClFut Simul => < aime VFut, [] >;
    ClFut a => < avoir VFut, aimee >;
    ClCondit Simul => < aime VCondit, [] >;
    ClCondit a => < avoir VCondit, aimee >;
    ClInfinit Simul => < aimer, [] >;
    ClInfinit a => < avoirr, aimee >}
 ;
  mkSats : NounPhrase -> Verb -> Sats = \ subj, verb -> let ifEsse : (T : Type) -> T -> T -> T = \ T, e, h -> case verb . aux of 
  {
    AEsse => e;
    AHabere => h}
  in 
  {
    s1 = subj . s ! unstressed nominative;
    s3 = [];
    s4 = verb . s;
    s5, s6 = [];
    s7 = \ \ _ => [];
    aux = verb . aux;
    g = pgen2gen subj . g;
    n = subj . n;
    p = subj . p;
    g2 = ifEsse Gender (pgen2gen subj . g) Masc;
    n2 = ifEsse Number subj . n Sg}
 ;
  insertObject : Sats -> CaseA -> Str -> NounPhrase -> Sats = \ sats, c, prep, obj -> let ifClit : (T : Type) -> T -> T -> T = \ T -> if_then_else T (andB (isNounPhraseClit obj) (isClitCase c));
  object = obj . s ! case2pformClit c;
  clit = ifClit Str object [];
  np = ifClit Str [] object in 
  {
    s1 = sats . s1;
    s3 = sats . s3 ++ clit;
    s4 = sats . s4;
    s5 = sats . s5;
    s6 = sats . s6 ++ prep ++ np;
    s7 = sats . s7;
    aux = sats . aux;
    g = sats . g;
    n = sats . n;
    g2 = ifClit Gender (pgen2gen obj . g) sats . g2;
    n2 = ifClit Number obj . n sats . n2;
    p = sats . p}
 ;
  insertExtrapos : Sats -> (Bool => Str) -> Sats = \ sats, obj -> 
  {
    s1 = sats . s1;
    s3 = sats . s3;
    s4 = sats . s4;
    s5 = sats . s5;
    s6 = sats . s6;
    s7 = obj;
    aux = sats . aux;
    g = sats . g;
    n = sats . n;
    g2 = sats . g2;
    n2 = sats . n2;
    p = sats . p}
 ;
  mkSatsObject : NounPhrase -> TransVerb -> NounPhrase -> Sats = \ subj, verb, obj -> insertObject (mkSats subj verb) verb . c verb . s2 obj;
  mkSatsCopula : NounPhrase -> Str -> Sats = \ subj, obj -> mkSatsObject subj (mkTransVerbDir copula) (nameNounPhrase (mkProperName obj Masc));
  sats2clause : Sats -> Clause = \ sats -> 
  {
    s = \ \ b, cf => let je = sats . s1;
    lui = sats . s3;
    dire = verbClForm 
    {
      s = sats . s4;
      aux = sats . aux}
    cf sats . g sats . n sats . p sats . g2 sats . n2;
    ai = dire . p1;
    dit = dire . p2;
    toujours = sats . s5;
    directement = sats . s6;
    ne = if_then_Str b [] negNe;
    pas = if_then_Str b [] negPas;
    oui = sats . s7 ! b in je ++ ne ++ lui ++ ai ++ toujours ++ pas ++ dit ++ directement ++ oui}
 ;
  negNe, negPas : Str;
  sats2quest : Sats -> Question = \ x -> let cl = sats2clause x in 
  {
    s = \ \ b, f, _ => cl . s ! b ! f}
 ;
  sats2rel : (Gender -> Number -> Person -> Sats) -> RelClause = \ s -> 
  {
    s1 = \ \ g, n, p => let sats = s g n p in sats . s1;
    s2 = \ \ b, cf, g, n, p => let sats = s g n p;
    lui = sats . s3;
    dire = verbClForm 
    {
      s = sats . s4;
      aux = sats . aux}
    cf sats . g sats . n sats . p sats . g2 sats . n2;
    ai = dire . p1;
    toujours = sats . s5;
    dit = dire . p2;
    ne = if_then_Str b [] negNe;
    pas = if_then_Str b [] negPas in ne ++ lui ++ ai ++ toujours ++ pas ++ dit;
    s3 = \ \ b => let sats = s Masc Sg P3;
    directement = sats . s6;
    oui = sats . s7 ! b in directement ++ oui}
 ;
  relNounPhrase : RelPron -> Gender -> Number -> Person -> NounPhrase = \ r, g, n, p -> 
  {
    s = \ \ np => r . s ! npRelForm np;
    g = PGen g;
    n = n;
    p = p;
    c = Clit0}
 ;
  sats2verbPhrase : Sats -> VerbClause = \ sats -> 
  {
    s = \ \ b, ant, vi, g, n, p => let lui = sats . s3;
    dire = verbVIForm 
    {
      s = sats . s4;
      aux = sats . aux}
    ant vi g n p sats . g2 sats . n2;
    ai = dire . p1;
    dit = dire . p2;
    toujours = sats . s5;
    directement = sats . s6;
    ne = if_then_Str b [] negNe;
    pas = if_then_Str b [] negPas;
    oui = sats . s7 ! b in ne ++ lui ++ ai ++ toujours ++ pas ++ dit ++ directement ++ oui}
 ;
  verbVIForm : Verb -> Anteriority -> VIForm -> Gender -> Number -> Person -> Gender -> Number -> Str * Str = \ verb, ant, cl, g, n, p, g2, n2 -> let aime : Number -> Str = \ t -> verb . s ! vImper t P2;
  aimee = case ant of 
  {
    Simul => [];
    _ => verb . s ! VPart Masc Sg}
 ;
  finverb = case ant of 
  {
    Simul => verb . s;
    _ => (auxVerb verb) . s}
 ;
  aimer = finverb ! VInfin;
  aimant = finverb ! VGer in case cl of 
  {
    VIImperat _ n => < aime n, [] >;
    VIGerund => < aimant, aimee >;
    VIInfinit => < aimer, aimee >}
 ;
  predVerb0 : Verb -> Clause = \ rain -> sats2clause (mkSats (pronNounPhrase pronImpers) rain);
  progressiveSats : NounPhrase -> VerbPhrase -> Sats}