Made significant changes to SentenceParser such that it produces several
assertions rather than a single, hierarchical assertion. Also modified
which information is produced.