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