Assertion list
hazel (primary) → AtLocation
Results from Ascent++: 1
hazel → AtLocation → london 0.25