hov lane subgroup of lane, 1 assertions