Did M4 's Spanish star executive produce M0 and M1 and executive produce M2
SELECT count(*) WHERE {
?x0 ns:film.actor.film/ns:film.performance.film M4 .
?x0 ns:film.producer.films_executive_produced M0 .
?x0 ns:film.producer.films_executive_produced M1 .
?x0 ns:film.producer.films_executive_produced M2 .
?x0 ns:people.person.nationality ns:m.06mkj
}