Assertion list
main road (subgroup of road ) → HasA
Results from Ascent++: 1
main road → HasA → pavement 0.25