%------------------------------------------------------------------------------
include('M.sys').
include('ModalAxiomDefns.ax',[axiom_4,axiom_B]).
%------------------------------------------------------------------------------
fof(system_KM4B,axiom,
    ( axiom_4
    & axiom_B )  ).
%------------------------------------------------------------------------------