Were M0 , M5 , M6 , and M7 produced by M4 , written by M2 and M3 , and executive produced by M1
SELECT count(*) WHERE {
M0 ns:film.film.executive_produced_by M1 .
M0 ns:film.film.produced_by|ns:film.film.production_companies M4 .
M0 ns:film.film.written_by M2 .
M0 ns:film.film.written_by M3 .
M5 ns:film.film.executive_produced_by M1 .
M5 ns:film.film.produced_by|ns:film.film.production_companies M4 .
M5 ns:film.film.written_by M2 .
M5 ns:film.film.written_by M3 .
M6 ns:film.film.executive_produced_by M1 .
M6 ns:film.film.produced_by|ns:film.film.production_companies M4 .
M6 ns:film.film.written_by M2 .
M6 ns:film.film.written_by M3 .
M7 ns:film.film.executive_produced_by M1 .
M7 ns:film.film.produced_by|ns:film.film.production_companies M4 .
M7 ns:film.film.written_by M2 .
M7 ns:film.film.written_by M3
}