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

Parametres Num(n,sg,pl), Mod(m,ind,subj), Cas(c,from,to)

Operations 
NomReg(Num)   = _,s ;
be(Num)       = is,are ;
prep(Cas)     = from,to

Ind    : (A:S)SI                                - "A" ;
NegS   : (A:S)S                        - "it is not the case that A" ;
PredV1 : (A:CN)(Q:NP(A))(F:V1(A))S              - "Q F(Num(Q))" ;
PredA1 : (A:CN)(F:A1(A))V1(A)                   - (n)"be(n) F" ;
ComplA2 : (A:CN)(B:CN)(F:A2(A,B))(Q:NP(B))A1(A) - "F prep(Cas(F)) Q" ;
ImplS  : (A:S)(B:S)S                            - "if A then B" ;

Ln     : CN          - (n)"line+NomReg(n)" ;
Pt     : CN          - (n)"point+NomReg(n)" ;
Vert   : A1(Ln)      - "vertical" ;
DiPt   : A2(Pt,Pt)   - "distinct"             - from ;
Par    : A2(Ln,Ln)   - "parallel"             - to ;
Tout   : (A:CN)NP(A) - "all A(pl)"            - sg ;
Un     : (A:CN)NP(A) - "a/an A(sg)"           - sg

