question: Did M0 , M4 , M5 , M6 , and M7 executive produce M1 , executive produce M2 , and executive produce M3
query: SELECT count(*) WHERE {
  M0 ns:film.producer.films_executive_produced M1 .
  M0 ns:film.producer.films_executive_produced M2 .
  M0 ns:film.producer.films_executive_produced M3 .
  M4 ns:film.producer.films_executive_produced M1 .
  M4 ns:film.producer.films_executive_produced M2 .
  M4 ns:film.producer.films_executive_produced M3 .
  M5 ns:film.producer.films_executive_produced M1 .
  M5 ns:film.producer.films_executive_produced M2 .
  M5 ns:film.producer.films_executive_produced M3 .
  M6 ns:film.producer.films_executive_produced M1 .
  M6 ns:film.producer.films_executive_produced M2 .
  M6 ns:film.producer.films_executive_produced M3 .
  M7 ns:film.producer.films_executive_produced M1 .
  M7 ns:film.producer.films_executive_produced M2 .
  M7 ns:film.producer.films_executive_produced M3
  }