Assertion list for term "be a state highway".

Results from Ascent++: 1
stretch CapableOfbe a state highway 0.25