Assertion list
sidewalk (primary) → AtLocation
Results from Ascent++: 2
sidewalk → AtLocation → good state of repair 0.43
sidewalk → AtLocation → disrepair 0.35