# gram0.fcfg : grammaire minimale pour démarrer le TP
# Il faut indiquer l'axiome avec la ligne suivante : 

%start S

# Grammaire
# ---------

S[SEM=<?s(?v)>]	-> SN[SEM=?s]	SV[SEM=?v]

SN[SEM=?n]     		-> NP[SEM=?n]
SN[SEM=<?d(?n)>] 	-> Det[SEM=?d]	N[SEM=?n]

SV[SEM=?v] 		-> Vi[SEM=?v]

# Lexique
# --------

NP[SEM=<\P.P(belbo)>] -> 'Belbo'
Det[SEM=<\P Q. exists x. (P(x) and Q(x))>] -> 'un'
N[SEM=<\x. bird(x)>] -> 'oiseau'
Vi[SEM=<\x. fly(x)>] -> 'vole'
Vi[SEM=<\x. cry(x)>] -> 'pleure'