Assertion list
zero (primary) → AtLocation
Results from Ascent++: 3
zero → AtLocation → trillion 0.46
zero → AtLocation → a billion dollars 0.40
zero → AtLocation → the very largest ones 0.31