Assertion list for term "envelop the rest of the petals".

Results from Ascent++: 1
upper petal (subgroup of petal) CapableOfenvelop the rest of the petals 0.25