What district has a democratic leader from Roby?
CREATE TABLE "senate" (
  "senator" text,
  "party" text,
  "district" real,
  "home_town" text,
  "took_office" real
);
SELECT SUM("district") FROM "senate" WHERE "party"='democratic' AND "home_town"='roby';