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