trw inc. has manufactured how many spacecraft?
(COUNT (AND spaceflight.spacecraft (JOIN (R spaceflight.satellite_manufacturer.spacecraft_manufactured) m.01m5n0)))