Assertion list
new label (subgroup of label ) → ReceivesAction
Results from Ascent++: 1
new label → ReceivesAction → created 0.25