Replaced input files with cases from the textbook.

The AtomicStatement UNIVERSAL_CONCEPT now subsumes everything.

parseStatement now returns the UNIVERSAL_CONCEPT in place of a vaccuous
statement, rather than the EMPTY_CONCEPT.