Operators within blocks of rules

Recursivity cannot be applied to the individual rules of a block. Instead, it is applied on the whole block when the operator is placed after the last rule.

Agreement can be applied on the individual rules of a block. Concerning the use of this operator, there are no differences between rules within a bloc and regular rules.

Add and Inherit only can be applied on the last rule of a block. The reason is that these operators are aimed to modify the features of a head and a block only returns the main head.