请教几个命令

jianggencheng

学习过程中遇到几个命令看不懂，急盼高手指教
1.
is
do
6 T: L3 x/ e0 x8 e3 x. Y8 F0 T: `* d    waituntil side1.occupation and side2.occupation and side3.occupation and mainentry.occupation and mainexit.empty pro 2;
~~~~
~~~~
中pro 2是什么意思，起什么作用？有没有pro 1/3的用法？
2.tirgger调用的method中的命令
（old,new:boolean)
' Z& t1 l! E: z+ a& |7 n- H( xis
& P' g) B% M/ k6 jdo
     e3.pause:=new;
end;
+ P/ y$ m* c8 ], K4 T& X8 D3 t) q中old和new是trigger传回来的布尔值，为什么是 e3.pause:=new;而不是 e3.pause:=old;.用 e3.pause:=old则不能激活e3物件实现暂停功能？
求高手详解。