lane road subgroup of road, 3 assertions