%--------------------------------------------------------------------------
% File     : claim4.thf
% Domain   : Basil Smith's Elementary Theory of Relations
% Problems : 
% Version  : 
% English  : 
% Refs     :  
% Source   : Definitions from Basil Smith's Elementary Theory of Relations (CAMELEON 08)
%            Formalization by C E Brown
% Names    : 
% Status   : 
% Rating   : 
% Syntax   : 
% Comments : 
%--------------------------------------------------------------------------
include('ElemRelns.ax').
%--------------------------------------------------------------------------

thf(claim,conjecture,(![X:$i]: ((prim @ X) => ((cls @ X) & (trans @ X))))).