Assertion list
quad cane (subgroup of cane ) → HasProperty
Results from Ascent++: 1
quad cane → HasProperty → adjustable 0.25