Assertion list
prop (primary) → AtLocation
Results from Ascent++: 2
prop → AtLocation → effect 0.34
prop → AtLocation → good screen 0.16