FormulaLogicTransformer