A toolkit for parsing and manipulating formulas of first-order predicate logic.