nec toshiba space systems, ltd. manufactured how many spacecrafts?
(COUNT (AND spaceflight.spacecraft (JOIN (R spaceflight.satellite_manufacturer.spacecraft_manufactured) m.0x0h0h6)))