%------------------------------------------------------------------------------
include('S1-0.sys').
include('ModalAxiomDefns.ax',[axiom_m6]).
%------------------------------------------------------------------------------
fof(system_S1,axiom,
    ( axiom_m6 )  ).
%------------------------------------------------------------------------------