Assertion list
local union (subgroup of union ) → ReceivesAction
Results from Ascent++: 2
local union → ReceivesAction → ineligible to act 0.25
local union → ReceivesAction → required to be subscriber 0.25