road bike subgroup of bicycle, 3 assertions