Assertion list
ribbon (primary) → AtLocation
Results from Ascent++: 2
ribbon → AtLocation → one piece 0.28
ribbon → AtLocation → expanded configuration 0.25