Assertion list
net (primary) → AtLocation
Results from Ascent++: 2
net → AtLocation → the water 0.42
net → AtLocation → china 0.31