Assertion list
animation (primary) → AtLocation
Results from Ascent++: 2
animation → AtLocation → white 0.50
animation → AtLocation → black 0.47