Assertion list
way communication (subgroup of communication ) → ReceivesAction
Results from Ascent++: 1
way communication → ReceivesAction → established 0.35