Assertion list
flower (aspect of iris ) → HasA

Results from Ascent++: 2
flowerHasA six petals 0.30
flowerHasA 3 upright petals 0.25