Assertion list
timothy (primary) → AtLocation
Results from Ascent++: 2
timothy → AtLocation → ephesus 0.56
timothy → AtLocation → bond 0.25