solid rocket subgroup of rocket, 1 assertions