Categories SI, S, NP, V1, A1, A2, CN

Parametres Gen(g,masc,fem), Num(n,sg,pl), Mod(m,ind,subj), Cas(c,de,aa)

Operations 
NomReg(Num)       = _,s ;
AdjReg(Gen,Num)   = _,s,e,es ;
AdjE(Gen,Num)     = _,s,_,s ;
AdjAl(Gen,Num)    = l,ux,le,les ;
etre(Num,Mod)     = est,soit,sont,soient ;
tout(Gen,Num)     = tout,tous,toute,toutes ;
prep(Cas)         = de/d',a,avec

Ind    : (A:S)SI - "A(ind)" ;
NegS   : (A:S)S - (m)"il ne/n' etre(m) pas vrai que/qu' A(subj)" ;
PredV1 : (A:CN)(Q:NP(A))(F:V1(A))S - (m)"Q F(Gen(Q),Num(Q),m)" ;
PredA1 : (A:CN)(F:A1(A))V1(A) - (g,n,m)"etre(n,m) F(g,n)" ;
ComplA2 : (A:CN)(B:CN)(F:A2(A,B))(Q:NP(B))A1(A) - (g,n)"F(g,n) prep(Cas(F)) Q" ;
ImplS  : (A:S)(B:S)S - (m)"s'(il,ils)/si A(ind) alors B(m)" ;

Ln     : CN - (n)"droite+NomReg(n)" - fem ;
Pt     : CN - (n)"point+NomReg(n)" - masc ;
Vert   : A1(Ln) - (g,n)"vertica+AdjAl(g,n)" ;
DiPt   : A2(Pt,Pt) - (g,n)"distinct+AdjReg(g,n)" - de ;
Par    : A2(Ln,Ln) - (g,n)"parall\`ele+AdjE(g,n)" - aa ;
Tout   : (A:CN)NP(A) - "tout(Gen(A),sg) A(sg)" - Gen(A),sg ;
Un     : (A:CN)NP(A) - "un+AdjReg(Gen(A),sg) A(sg)" - Gen(A),sg

