Assertion list
project scope (subgroup of scope ) → ReceivesAction
Results from Ascent++: 1
project scope → ReceivesAction → defined 0.68