Assertion list
arrowhead (primary) → ReceivesAction
Results from Ascent++: 5
arrowhead → ReceivesAction → made 0.64
arrowhead → ReceivesAction → added 0.32
arrowhead → ReceivesAction → drawn through female lock eleme… 0.25
arrowhead → ReceivesAction → rejected 0.25
arrowhead → ReceivesAction → completed in time 0.16