antique carousel subgroup of carousel, 1 assertions