Rules
Rules are typically written in an `` If ... then'' form:
If <premises> then <conclusion> If <condition> then <action>These forms correspond to the logical implication form:
∀ x P1(x) ∧ ... ∧ Pn(x) → C(x)
However, the interpretation of rules may or may not correspond to a formal logical interpretation.