Was M5 executive produced by M0 's employee and produced by a Spanish writer of M1 , M2 , and M3
SELECT count(*) WHERE {
?x0 ns:people.person.employment_history/ns:business.employment_tenure.company M0 .
?x1 ns:film.writer.film M1 .
?x1 ns:film.writer.film M2 .
?x1 ns:film.writer.film M3 .
?x1 ns:people.person.nationality ns:m.06mkj .
M5 ns:film.film.executive_produced_by ?x0 .
M5 ns:film.film.produced_by|ns:film.film.production_companies ?x1
}