\tbegin
\ttactic AA_NB_BJ(\langle Diff,Sd,Int,Si,Sp,Sum \rangle, PID ,\langle Diff,Sd \rangle, \langle Int,Si \rangle ,\langle Sp,Sum \rangle)  \def

 \ttactic NB(\langle Diff,Sd,Int,Si,Sp,Sum \rangle) 
 \tsemi 
 \ttactic BJ(PID,\langle Diff,Sd \rangle, \langle Int,Si \rangle ,\langle Sp,Sum \rangle)


\tend