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:
&forall x P1(x) &and ... &and Pn(x) &rarr C(x)
However, the interpretation of rules may or may not correspond to a formal logical interpretation.