test/regress/regress0/tptp/tptp_parser9.p


1
2
3
4
5
6
7
8
9
10
11
12
13

% Status: CounterSatisfiable

%--------------------------------------------------------------------------

fof(query_1,axiom, include(1) ).

fof(query_1,axiom, ![E]: e(E,1.6) ).

fof(query_1,axiom, ![A,E]: ~e(A,3.0E3) ).

fof(query_1,conjecture, ![E]: e(E,2.6) ).

%--------------------------------------------------------------------------