test11.frm

begin
<>p1 & <><>!p1 & <><><>p1 & <><><><>!p1 & <><><><><>p1 & <><><><><><>!p1;
[](p1 & [](!p1 & [](p1 & [](!p1 & [](p1 & []!p1)))))
end