Assertion list
fairness (primary) → AtLocation
Results from Ascent++: 1
fairness → AtLocation → the eye of the beholder 0.48