7
Natural Semantics vs RML
§rules and propositions are grouped into relations
§relation negate: bool => bool =
§  axiom negate true => false
§  axiom negate false => true
§end
§axioms are rules with no premises
§
§axiom negate true => false
§rule
§       ---------------------
§       negate true => false