Имеются описания:
Недопустимым является выражение …
Недопустимым является выражение …
✓ p2.succ(x)
Выражение p2.succ(x) не имеет смысла, так как здесь x – имя поля записи, а аргументом функции succ должно быть выражение упорядоченного типа. В остальных случаях аргументами функции succ являются выражения целого типа.