lex(john,     np).
lex(bananas,  np).
lex(likes,    (s-np)+np).
lex(really,   ((s-np)+(s-np))).

startsymbol(s).