Assertion list for term "at least one lane".
Results from Ascent++: 1
hertz → HasA → at least one lane 0.29