Assertion list
strength (aspect of rope ) → HasProperty
Results from Ascent++: 1
strength → HasProperty → critical 0.25