Assertion list
upper petal (subgroup of petal ) → HasProperty

Results from Ascent++: 1
upper petalHasProperty large 0.68