Assertion list
interstate highway (subgroup of highway ) → DefinedAs

Results from Ascent++: 1
interstate highwayDefinedAs the presence of interchanges 0.68