folding bike subgroup of bicycle, 1 assertions