Typo
Generalize Parser so that we can use it for diffirent kinds of parsing. New kind: feed some input to the semantics processor.
Add a unified DLVResultGrammar