Wrong approach for propositional logic.
Pass along the TPTP DB.
Parameter name change to indicate that we are dealing with a TPTP DB.