Were M5 and M7 produced by a Spanish director of M1 , M2 , M3 , and M4 and distributed by M6
SELECT count(*) WHERE {
?x0 ns:film.director.film M1 .
?x0 ns:film.director.film M2 .
?x0 ns:film.director.film M3 .
?x0 ns:film.director.film M4 .
?x0 ns:people.person.nationality ns:m.06mkj .
M5 ns:film.film.distributors/ns:film.film_film_distributor_relationship.distributor M6 .
M5 ns:film.film.produced_by|ns:film.film.production_companies ?x0 .
M7 ns:film.film.distributors/ns:film.film_film_distributor_relationship.distributor M6 .
M7 ns:film.film.produced_by|ns:film.film.production_companies ?x0
}