Assertion list
porpoise (primary) → ReceivesAction
Results from Ascent++: 2
porpoise → ReceivesAction → spotted 0.70
porpoise → ReceivesAction → buried 0.25