A named section of a rule that contains one or more predicate calls to run if the rule evaluates to true.