name the function of the rocket manufactured by thiokol.
(AND spaceflight.rocket_function (JOIN (R spaceflight.rocket.rocket_function) (JOIN spaceflight.rocket.manufacturer m.05fj01)))