/* Tatica interIntroAndSimpl */

\tbegin
\ttactic interIntroAndSimpl()  \def

  \tappliesto (A \lpar ns1 | \lchanset cs \rchanset  | ns2 \rpar \Skip )
        \tdo \tlaw Par_Interleave() 
		\tsemi \tlaw Inter_Unit()
		\tend