Assertion list
walking cane (subgroup of cane ) → HasProperty
Results from Ascent++: 1
walking cane → HasProperty → unique 0.16