find the bipropellant rocket with test fired status and a thrust >/= 8830.0.
(AND spaceflight.bipropellant_rocket_engine (AND (JOIN spaceflight.rocket_engine.status m.03p41f2) (ge spaceflight.rocket_engine.thrust_sea_level 8830.0^^http://www.w3.org/2001/XMLSchema#float)))