Canonical Form
Implications can be redundantly expressed with each primitive sentence as the consequent
E.g., (=> (Type ?g OR) (Signal (Out 1 ?g) On)
(Signal (In (Sk1 ?g) ?g) On))
can be also be expressed as:
(=> (Type ?g OR) (not (Signal (In (Sk1 ?g) ?g) On))
(not (Signal (Out 1 ?g) On)))
and
(=> (not (Signal (In (Sk1 ?g) ?g) On)) (Signal (Out 1 ?g) On)
(not (Type ?g OR)))