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

% File : No information

% Domain : No information

% Problem : asym.dfg

% Version : No information

% English : No information

% Refs : No information

% Source : No information

% Name : [soapTest]

% Status : unknown

% Rating : ?

% Syntax : No information

% Comments : File generated by dfg2tptp Version 0.47a

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

fof('ga_non_empty_sort_Elem',axiom,(

? [U] : ssElem(U))).

fof('trans',axiom,(

! [U,V,W] : ((ssElem(U) &

ssElem(V) &

ssElem(W)) =>

((ssTilde__(U,V) &

ssTilde__(V,W)) =>

ssTilde__(U,W))))).

fof('irrefl',axiom,(

! [U] : (ssElem(U) =>

~(ssTilde__(U,U))))).

fof('asym',conjecture,(

! [U,V] : ((ssElem(U) &

ssElem(V)) =>

(ssTilde__(V,U) =>

~(ssTilde__(U,V)))))).

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