which rocket has height of 80.0?
(AND spaceflight.rocket (JOIN spaceflight.rocket.height_meters 80.0^^http://www.w3.org/2001/XMLSchema#float))