Did M1 , M4 , and M5 executive produce M2 , executive produce M0 's prequel , and executive produce M3
SELECT count(*) WHERE {
?x0 ns:film.film.sequel M0 .
M1 ns:film.producer.films_executive_produced ?x0 .
M1 ns:film.producer.films_executive_produced M2 .
M1 ns:film.producer.films_executive_produced M3 .
M4 ns:film.producer.films_executive_produced ?x0 .
M4 ns:film.producer.films_executive_produced M2 .
M4 ns:film.producer.films_executive_produced M3 .
M5 ns:film.producer.films_executive_produced ?x0 .
M5 ns:film.producer.films_executive_produced M2 .
M5 ns:film.producer.films_executive_produced M3
}