Assertion list
major road (subgroup of road ) → CapableOf
Results from Ascent++: 1
major road → CapableOf → connect city 0.41