Assertion list for term "required to be subscriber".

Results from Ascent++: 1
local union (subgroup of union) ReceivesActionrequired to be subscriber 0.25