Categories SI, S, NP, V1, VL1, V2, VL2, A1, A2, CN, C1, VD, RC

Parametres 
Num(n,sg,pl), Cas(c,with)

Operations 

NomReg(Num)   = _,s ;
VerbReg(Num)  = s,_ ;
be(Num)       = is,are ;
do(Num)       = does,do ;
prep(Cas)     = with ;
man(Num)      = man,men


Ind    : (A:S)SI - "A" ;

Pot    : (A:S)S - "it is possible that A" ;

PredV1 : (Q:NP)(F:V1)S - "Q F(Num(Q))" ;

PredA1 : (F:A1)V1 - (n)"be(n) F" ;

NegA1  : (F:A1)V1 - (n)"be(n) not F" ;

UseV1L : (F:VL1)V1 - (n)"F(n)" ;

NegV1L : (F:VL1)V1 - (n)"do(n) not F(pl)" ;

UseV2L : (F:VL2)V2 - (n)"F(n)" - Cas(F) ;

NegV2L : (F:VL2)V2 - (n)"do(n) not F(pl)" - Cas(F) ;

ComplA2 : (F:A2)(Q:NP)A1 - "F prep(Cas(F)) Q" ;

ComplV2 : (F:V2)(Q:NP)V1 - (n)"F(n) Q" ;

FractV2 : (Q:NP)(F:V2)VD - "Q F(Num(Q))" ;

Si     : (A:S)(B:S)S - "if A then B" ;

Jean   : NP - "John" - sg ;

Marie  : NP - "Mary" - sg ;

ConjS  : (C:C1)(A:S)(B:S)S - "A C B" ;

ConjV1 : (C:C1)(F:V1)(G:V1)V1 - (n)"F(n) C G(n)" ;

ConjA1 : (C:C1)(F:A1)(G:A1)A1 - "F C G" ;

Bon    : A1 - "good" ;

Amoureux : A2 - "in love" - with ;

Heureux : A1 - "happy" ;

Homme  : CN - (n)"man(n)" ;

Femme  : CN - (n)"wo+man(n)" ;

ModRC  : (A:CN)(F:RC)CN - (n)"A(n) F(n)" ;

Qui    : (F:V1)RC - (n)"that F(n)" ;

Que    : (F:VD)RC - (n)"F" ;

Dormir : VL1 - (n)"sleep+VerbReg(n)" ;

Parler : VL1 - (n)"speak+VerbReg(n)" ;

Aimer  : VL2 - (n)"love+VerbReg(n)" ;

Tout   : (A:CN)NP - "all A(pl)" - pl ;

Un     : (A:CN)NP - "a/an A(sg)" - sg ;

Et     : C1 - "and" ;

Ou     : C1 - "or" ;

Mais   : C1 - "but"