Assertion list
sphere (primary) → AtLocation
Results from Ascent++: 2
sphere → AtLocation → infinity 0.34
sphere → AtLocation → war 0.16