Assertion list
shoelace (primary) → ReceivesAction
Results from Ascent++: 4
shoelace → ReceivesAction → untied 0.84
shoelace → ReceivesAction → tied 0.58
shoelace → ReceivesAction → inserted 0.25
shoelace → ReceivesAction → purchased for 5 per pair 0.25