Assertion list
main road (subgroup of road ) → IsA
Results from Ascent++: 3
main road → IsA → under construction 0.46
main road → IsA → highway 0.25
main road → IsA → pothole-free 0.16