This rule is called by

-> spec_condition