What is the total heat ranked higher than 7?
CREATE TABLE "semifinals" (
  "rank" real,
  "heat" real,
  "cyclist" text,
  "nation" text,
  "result" text
);
SELECT SUM("heat") FROM "semifinals" WHERE "rank">7;