What is the average overall rank of all players drafted from Duke after round 9?
CREATE TABLE "nfl_draft" (
  "round" real,
  "overall" real,
  "player" text,
  "position" text,
  "school_club_team" text
);
SELECT AVG("overall") FROM "nfl_draft" WHERE "school_club_team"='duke' AND "round">9;