1 2 3 4 5 6 7 8 9 10 11 12 13 14
% EXPECT: unknown % EXIT: 0 %-------------------------------------------------------------------------- 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) ). %--------------------------------------------------------------------------