Assertion list
physicist (primary) → AtLocation
Results from Ascent++: 1
physicist → AtLocation → palo alto 0.16