Assertion list
pianist (primary) → AtLocation
Results from Ascent++: 1
pianist → AtLocation → london 0.16