(1) means the loop "y" to be pumped must be of length at least one; (2) means the loop must occur within the first "p" characters.
(1) означает, что цикл "y" должен быть накачан хотя бы длиной 1, (2) означает, что цикл должен быть в пределах первых "p" символов.