Assertion list
crampon (primary) → CapableOf
Results from Ascent++: 1
crampon → CapableOf → utilize simple ratchet buckle b… 0.16