Assertion list
bud (primary) → AtLocation
Results from Ascent++: 1
bud → AtLocation → upper portion of each panel 0.28