Assertion list
sidewalk (primary) → IsA
Results from Ascent++: 4
sidewalk → IsA → public property 0.56
sidewalk → IsA → private property 0.40
sidewalk → IsA → path 0.25
sidewalk → IsA → walkway 0.25