Assertion list
waist (primary) → AtLocation
Results from Ascent++: 1
waist → AtLocation → right place 0.25