Структурированный тип данных. Множества (PASCAL)

[nazar_vol]

Подскажите, почему не работает программа?

Даны множества A,B,C. A[1..100]; B[10..40]; C[20..70]. Определить, в какие из этих множеств входит множество D[10..30]

Program lab_set;
uses crt;
type at=set of 1..100;
     bt=set of 10..40;
     ct=set of 20..70;
     dt=set of 10..30;
var a:at;  b:bt;  c:ct; d:dt;
    x:integer;
begin
a:=[1..100];  b:=[10..40];
 c:=[20..70]; d:=[10..30];
 x:=1;
 repeat
 if (a>=d) or (b>=d) or (c>=d) then
 begin
  if a>=d  then writeln('A>=D');
  if b>=d then writeln ('B>=D');
  if c>=d then writeln ('C>=D');
  end
  else writeln('set D does not belong to any set')
until x>100;
 readln;
end.

[Stilet]

Писал прогу не ты?
Я к тому что не понятно зачем тут цикл...