% 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) ).

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