unicode_fol_kit.parse_tptp_formula

unicode_fol_kit.parse_tptp_formula(text)

Parse a single bare TPTP FOF/CNF formula (no fof(...) wrapper) into a Node.

Parameters:

text (str) – a TPTP formula, e.g. "![X]: (p(X) => q(X))".

Returns:

The formula as a toolkit Node.

Raises:

ParsingError – if text is not a well-formed TPTP formula.

Return type:

Node