Assertion list
upper petal (subgroup of petal ) → CapableOf
Results from Ascent++: 2
upper petal → CapableOf → call the banner 0.68
upper petal → CapableOf → envelop the rest of the petals 0.25