Assertion list
gymnasium (primary) → AtLocation
Results from Ascent++: 1
gymnasium → AtLocation → tel aviv 0.31