Assertion list
grandmother (primary) → AtLocation
Results from Ascent++: 1
grandmother → AtLocation → israel 0.25