lane highway subgroup of highway, 1 assertions