CREATE TABLE "nfl_draft" (
  "round" real,
  "pick" real,
  "player" text,
  "position" text,
  "school_club_team" text
);

Question: What round was Ken Irvin drafted?
SQL: SELECT MAX("round") FROM "nfl_draft" WHERE "player"='ken irvin';

Question: In what round was a player from Michigan selected?
SQL: SELECT MAX("round") FROM "nfl_draft" WHERE "school_club_team"='michigan';