Boil down logic programming on the parse tree.

A fairly reasonable DRS structure is now build iteratively on the text.