Production rules

Condition-action rule
- Consists of a goal, some tests to determine if the rule is applicable, and actions to perform

(p bones-rule-out-candidate

(task ^name rule-out ^status active ^details )

{ (frame ^cname ^status candidate) }

(sr-test ^status false ^SR-ID ^cname )

-->

(write (crlf) "Bone" "violated a restriction.")

(modify ^status failed))

Condition-action rule