null
if this rule does not
have a main formula.null
if this rule
does not have a main formula.ModalFormula
.ModalWffListener
,
which can be extended to create a listener which only needs to handle a subset
of the available methods.ModalWffParser
.