CONTAINS-QUANTIFER-P for TPTP inputs.
Print the error.