# # Il faut indiquer l'axiome avec la ligne suivante : %start Phrase # Grammaire # --------- Phrase[SEM=] -> SyntNominal[SEM=?n] SyntVerbal[SEM=?v] SyntNominal[SEM=?n] -> NomPropre[SEM=?n] SyntNominal[SEM=] -> Det[SEM=?d] NomCommun[SEM=?n] SyntVerbal[SEM=?v] -> VerbeIntrans[SEM=?v] SyntVerbal[SEM=] -> VerbeTrans[SEM=?v] SyntNominal[SEM=?n] # Lexique # -------- # PN NomPropre[SEM=<\P.P(jean)>] -> 'Jean' NomPropre[SEM=<\P.P(marie)>] -> 'Marie' # CN NomCommun[SEM=<\x. man(x)>] -> 'homme' NomCommun[SEM=<\x. woman(x)>] -> 'femme' # Vi VerbeIntrans[SEM=<\x.(snore(x))>] -> 'ronfle' VerbeIntrans[SEM=<\x.(snore(x))>] -> 'ronfla' VerbeIntrans[SEM=<\x.(snore(x))>] -> 'ronflera' # Vt VerbeTrans[SEM=<\X x.(X(\y. love(x,y)))>] -> 'aime' VerbeTrans[SEM=<\X x.(X(\y. love(x,y)))>] -> 'aima' VerbeTrans[SEM=<\X x.(X(\y. love(x,y)))>] -> 'aimera' # Det Det[SEM=<\P Q. exists x. (P(x) and Q(x))>] -> 'un' | 'une' | 'Un' | 'Une' Det[SEM=<\P Q. all x. (P(x) implies Q(x))>] -> 'tout' | 'toute' | 'Tout' | 'Toute'