Assertion list
pitchfork (primary) → ReceivesAction
Results from Ascent++: 1
pitchfork → ReceivesAction → drawn 0.68