Group()
Grouping clause to extract input and output states into matched groups and then run a set of clauses over each group.