中文
English
PPTLSAT
#
1
p&&()()empty;([](()more;p);q&&empty)
2
p1&&()more;([]()p2;()p3)
3
[](p1&&()()empty;q)&&[]()p2||[](p1&&more;q)&&[]()p3
4
(p&&skip;q&&skip)*&&[]more;r
5
(more;p)*&&[](q&&()()more;p)
6
(p&&()true;q)&&[]()(p;q)
