Assertion list
new registration (subgroup of registration ) → ReceivesAction
Results from Ascent++: 3
new registration → ReceivesAction → created 0.47
new registration → ReceivesAction → required 0.39
new registration → ReceivesAction → applied 0.27