Assertion list
shoelace (primary) → CapableOf
Results from Ascent++: 3
shoelace → CapableOf → provide more support 0.53
shoelace → CapableOf → make loop 0.31
shoelace → CapableOf → stay tied 0.25