Assertion list
handle (aspect of wrench ) → ReceivesAction
Results from Ascent++: 1
handle → ReceivesAction → comfortable to hold 0.59