A parser for first-order (predicate) logic, created with JavaCC. Includes basic model classes.