%------------------------------------------------------------------------------
include('S1=S1-0M6.sys').
include('ModalAxiomDefns.ax',[axiom_s3,axiom_m9,axiom_B]).
%------------------------------------------------------------------------------
fof(system_S1345,axiom,
    ( axiom_s3
    & axiom_m9
    & axiom_B )  ).
%------------------------------------------------------------------------------