find spacecrafts whose manufacturer is finmeccanica.
(AND spaceflight.spacecraft (JOIN spaceflight.spacecraft.manufacturer m.02r3h1))