Найти ошибку в Pascal ABC

Формулировка задачи:

Var x,y:real;
Begin 
Readln (x,y);
If y<=x then
if y<=-x then 
if y>=x*x-2 then 
Write('принадлежит ')
else
write('не принадлежит')
end.

Исправьте ошибку

Решение задачи: «Найти ошибку в Pascal ABC»

Листинг программы

var x,y:real;
begin
readln (x,y);
If (y<=-abs(x))and(y>=x*x-2) then
write('принадлежит ')
else  write('не принадлежит')
end.

Объяснение кода листинга программы

Объявлены две переменные типа real: x и y.
С помощью функции readln() происходит ввод значений для переменных x и y.
В условии If (y<=-abs(x))and(y>=x*x-2) происходит сравнение значения переменной y с определенными границами.
Если условие выполняется, то выводится сообщение принадлежит, иначе выводится сообщение не принадлежит.
Код не содержит циклов, процедур, функций или других структур управления, кроме условного оператора If.
Код не содержит операций с плавающей точкой или другими типами данных, кроме реальных чисел.
Код не содержит операций сравнения строк или символов, кроме сравнения типа данных в условии If.
Код не содержит операций присваивания или арифметических операций, кроме ввода значений с помощью функции readln().
Код не содержит операций ввода/вывода, кроме функции readln() и операции вывода с помощью функции write().
Код не содержит операций логического И (and), а также операций отрицания (not) и логического ИЛИ (or), которые есть в условии If.
Код не содержит операций сравнения меньше (<) и больше (>), которые есть в условии If.
Код не содержит операций возведения в степень (^) и удвоения (**), которые есть в условии If.
Код не содержит операций вычисления абсолютного значения числа (abs()), которая есть в условии If.
Код не содержит операций вычитания (–), которые есть в условии If.
Код не содержит операций умножения (*) и деления (/), которые есть в условии If.
Код не содержит операций вычисления квадратного корня (sqrt()), которая есть в условии If.
Код не содержит операций вычисления суммы (+) и разности (–), которые есть в условии If.
Код не содержит операций вычисления частного (/) и остатка (mod), которые есть в условии If.
Код не содержит операций логического И (and) и логического ИЛИ (or), которые есть в условии If.
Код не содержит операций присваивания (:=), которые могут быть использованы для определения значений переменных.