Was M1 produced by a production company , edited by M3 , M4 , M5 , M6 , and M7 , and executive produced by M2
SELECT count(*) WHERE {
?x0 a ns:film.production_company .
M1 ns:film.film.edited_by M3 .
M1 ns:film.film.edited_by M4 .
M1 ns:film.film.edited_by M5 .
M1 ns:film.film.edited_by M6 .
M1 ns:film.film.edited_by M7 .
M1 ns:film.film.executive_produced_by M2 .
M1 ns:film.film.produced_by|ns:film.film.production_companies ?x0
}