Assertion list
interstate (primary) → IsA
Results from Ascent++: 4
interstate → IsA → major highway 0.56
interstate → IsA → an interstate highway 0.55
interstate → IsA → main highway 0.38
interstate → IsA → the longest interstate highway 0.36