Typo.
Parse THF logic formulas separately.
Export the THF logic formula parser function.
Test the THF parser.