Assertion list
petal (primary) → AtLocation
Results from Ascent++: 1
petal → AtLocation → verity of shapes 0.25