Hunt for quantifiers.
CONTAINS-CONTRADICTION-P for generalizations.
CONTAINS-VERUM-P for generalizations.
Use an around method to set the returned db's path.
If there are quantifiers, bail.
Return the db.
Drop redundant PRINT-OBJECT methods.
CONTAINS-QUANTIFER-P for TPTP inputs.
Print the error.
Import from CL-FAD.
CNF.
A quantifier rule.
"Which instance?" now takes an argument.
Appearing in.
Don't render the which-instance attack.
Don't render which-instance.
Comment out (for now) rules involving the which-instance symbolic attack.
Take out the which-instance move (for now).
Adapt some old code.
HEAD.