============================== Prover9 ===============================
Prover9 (32) version Aug-2007, Aug 2007.
Process 2005 was started by mccune on cleo,
Tue Sep 18 14:26:03 2007
The command was "prover9 -f temp1".
============================== end of head ===========================

============================== INPUT =================================

% Reading from file temp1

Error parsing input string, cannot construct a term from this string:
----------------------------------------


p(x) | q([1,2, **HERE** )).
----------------------------------------

Fatal error:  sread_term error

