S   ::= NP VP ;
VP  ::= V | TV NP | "is" A ;
NP  ::= "this" CN | "that" CN | "the" CN | "a" CN ;
CN  ::= A CN ;
CN  ::= "boy" | "louse" | "snake" | "worm" ;
A   ::= "green" | "rotten" | "thick" | "warm" ;
V   ::= "laughs" | "sleeps" | "swims" ;
TV  ::= "eats" | "kills" | "washes" ;
