function F: boolean;
begin
F := false;
if token = '(' then begin
{ simulace pravidla 7: F ® (E) }
GetNextToken;
if E then begin
F := (token = ')');
GetNextToken;
end;
end
else
if token = 'i' then begin
{ simulace pravidla 8: F ® i }
F := true;
GetNextToken;
end;
end;