Как в Паскале обозначить, что aamp;gt;0, но а [0.5;2]

Имеем одну переменную a для блока описания переменных (var). Всего три процедуры.
PASCAL ABC
var a: real;
begin
writeln(a);
read(a);
if agt;0 then
begin
if alt;=0.5 then writeln(agt;0 a!=[0.5;2])
else
if agt;=2 then writeln(agt;0 a!=[0.5;2])
else writeln(Not right!)
end
else writeln(Not right!)
end.