what rocket's height is 80.0?
(AND spaceflight.rocket (JOIN spaceflight.rocket.height_meters 80.0^^http://www.w3.org/2001/XMLSchema#float))