S => NP, VP
NP => Dt, Nt
VP => Vt, NP
D:the
N:book|table|man|woman
V:read
the man read the book
S => ADDEXPR
S => MINUSEXPR
ADDEXPR => INTt, ADD-OPt, INTt
MINUSEXPR => INTt, MINUS-OP, INTt
INT:^\d+$
ADD-OP:\+
MINUS-OP:-
2 + 3
S => NP, VP
NP => Dt, Nt
VP => Vt, NP
VP => Vt, NP, PREP
NP => Dt, Nt, PREP
PREP => PREPt, NP
D:the
N:book|table|man|woman
V:read
PREP:on
the woman read the book on the table