Broadcasted Parameter

A sweep predicate may also have an additional input parameter of an arbitrary type T

Then, the additional parameter is passed to all constituents. The default rule has the form:

'rule' P( f(X₁ , X₂ , ... , X_n), Z ) :
P( X₁, Z ) P( X₂, Z ) ... P( X_n, Z )