Grouping is done in such a way as to encourage the intended mixture behaviors.
for the rule p ∈ +c ∧ Form(p, +f), all instances given a fixed c form a group; for each of the remaining three rules, all instances given a fixed a form a group.