Assertion list
hierarchy (primary) → ReceivesAction
Results from Ascent++: 1
hierarchy → ReceivesAction → created 0.84