Assertion list
new cane (subgroup of cane ) → HasProperty
Results from Ascent++: 1
new cane → HasProperty → green 0.59