amos-5 is of which type?
(AND spaceflight.satellite_type (JOIN spaceflight.satellite_type.satellites m.010ff8wk))