Assertion list
zenith (primary) → AtLocation
Results from Ascent++: 2
zenith → AtLocation → china 0.59
zenith → AtLocation → india 0.30