Assertion list
genius (primary) → AtLocation
Results from Ascent++: 1
genius → AtLocation → near past 0.53