Assertion list
leaf (aspect of olive ) → HasProperty
Results from Ascent++: 1
leaf → HasProperty → green 0.84