Assertion list
public sidewalk (subgroup of sidewalk ) → IsA
Results from Ascent++: 1
public sidewalk → IsA → public forums 0.25