Assertion list
public library (primary) → AtLocation
Results from Ascent++: 1
public library → AtLocation → crossroad 0.25