what is the quantity of spacecrafts trw inc. has manufactured?
(COUNT (AND spaceflight.spacecraft (JOIN (R spaceflight.satellite_manufacturer.spacecraft_manufactured) m.01m5n0)))