Among the films directed by directors who direct the best, how many of them have an average rating of over 3.5?
d_quality = 5 refers to direct the best, d_quality = 0 refers to direct the worst
SELECT COUNT(*) FROM ( SELECT DISTINCT T2.movieid FROM directors AS T1 INNER JOIN movies2directors AS T2 ON T1.directorid = T2.directorid INNER JOIN u2base AS T3 ON T2.movieid = T3.movieid WHERE T1.d_quality = 5 GROUP BY T2.movieid HAVING AVG(T3.rating) > 3.5 ) AS T1
database name:db_id movielens
users table users Cols: user id dtype integer, age dtype text, user gender dtype text, occupation dtype text, 
directors table directors Cols: director id dtype integer, director quality dtype integer, average revenue dtype integer, 
actors table actors Cols: actor id dtype integer, actor gender dtype text, actor quality dtype integer, 
movies table movies Cols: movie id dtype integer, year dtype integer, is English dtype text, country dtype text, runningtime dtype integer, 
movies2actors table movies2actors Cols: movie id dtype integer, actor id dtype integer, cast number dtype integer, 
movies2directors table movies2directors Cols: movie id dtype integer, director id dtype integer, genre dtype text, 
u2base table u2base Cols: user id dtype integer, movie id dtype integer, rating dtype text, 
