what does the thiokol rocket do?
(AND spaceflight.rocket_function (JOIN (R spaceflight.rocket.rocket_function) (JOIN spaceflight.rocket.manufacturer m.05fj01)))