Assertion list
root (aspect of radish ) → HasA

Results from Ascent++: 1
rootHasA enough space 0.25