Assertion list
leaf (aspect of spinach ) → HasProperty
Results from Ascent++: 1
leaf → HasProperty → tender 0.59