Assertion list
stem (aspect of cactus ) → HasProperty
Results from Ascent++: 2
stem → HasProperty → green 0.68
stem → HasProperty → thick 0.25