/* ʶ mp */

&& {mpdcm} mp->!m :: $.ڲṹ=,$.ʽṹ=,%m.=ϵ|λ,
			IF %m.yx= THEN $.=NO ENDIF, 
			IF %m.yx= THEN $.=NO, $.=NO ENDIF,
			IF %m.=λ THEN %m.yx=ʮ ENDIF

&& {mpdzmm} mp->m !m :: $.ڲṹ=ճ϶,$.ʽṹ=ϵλ,$.=%m,$.=%%m,
			%m.=ϵ,%%m.=λ, /*  */
			IF %%m.yx=ʮ THEN %m.yx=~ ENDIF,
			$.λ=%%m.λ,$.Ȩֵ=%%m.Ȩֵ

&& {mpdzmpm1} mp->!mp m :: $.ڲṹ=ճ϶,$.=%mp,$.=%m,%mp.=λ,%m.=ϵ,  /* ٰ */
			%mp.=,%mp.ʽṹ=ϵλ|, IF %mp.ʽṹ= THEN %mp.yx=ʮ ENDIF,
			$.Ȩֵ=%mp.Ȩֵ,
			%m.yx=~~ʮ,  /* ʮһ */
			IF %mp.yx=| THEN %GetLeafNode(%mp,-2).=ϵ ENDIF, /* ~<ʮ> */						  
			IF %GetLeafNode(%mp,-1).yx=~ʮ THEN $.= ENDIF,
			IF %mp.yx=~ʮ THEN %mp.ڲṹ= ENDIF,  /* ʮ */
			IF %mp.ڲṹ=,%mp..ڲṹ=,%mp..ڲṹ= FALSE   /* ~<ʮ> */

&& {mpdzmpm2} mp->mp !m :: $.ڲṹ=ճ϶,$.=%mp,$.=%m,%mp.=ϵ|λ,%m.yx=|,   /* ʮ */
			%mp.=,$.ʽṹ=ϵλ,
			IF %m.yx=,%mp.Ȩֵ=ʮ||ǧ THEN %mp..ʽṹ=ϵλ ENDIF, /* ~<ʮǧ>*/
			IF %m.yx=,%mp.ʽṹ=λ,%mp.Ȩֵ=~ʮ~~ǧ FALSE, /* ~<ʮ> */
			IF %m.yx=,%GetLeafNode(%mp,-1).yx=ʮ||ǧ THEN $!=%m @λ ENDIF, /* <ʮ>ǧ */ 
  			IF %m.yx=,%mp.Ȩֵ=ʮ THEN $ != %m @Ȩֵ,$.Ȩֵ=ʮ ENDIF,
  			IF %m.yx=,%mp.Ȩֵ= THEN $ != %m @Ȩֵ,$.Ȩֵ= ENDIF,
  			IF %m.yx=,%mp.Ȩֵ=ǧ THEN $ != %m @Ȩֵ,$.Ȩֵ=ǧ ENDIF,
			IF %m.yx=,%mp.Ȩֵ=ʮ THEN $ != %m @Ȩֵ @λ,$.Ȩֵ=ʮ,$.λ= ENDIF, /* ʮ */
			IF %m.yx=,%mp.Ȩֵ= THEN $ != %m @Ȩֵ @λ,$.Ȩֵ=,$.λ=ʮ ENDIF, /*  */
			IF %m.yx=,%mp.Ȩֵ=ǧ THEN $ != %m @Ȩֵ @λ,$.Ȩֵ=ǧ,$.λ= ENDIF, /* ǧ */
  			IF %m.yx=,%mp.Ȩֵ= THEN $ != %m @Ȩֵ @λ,$.Ȩֵ=,$.λ=ǧ ENDIF,
  			IF %m.yx=,%mp.Ȩֵ=ʮ THEN $ != %m @Ȩֵ,$.Ȩֵ=ʮ ENDIF,
  			IF %m.yx=,%mp.Ȩֵ= THEN $ != %m @Ȩֵ,$.Ȩֵ= ENDIF,
  			IF %m.yx=,%mp.Ȩֵ=ǧ THEN $ != %m @Ȩֵ,$.Ȩֵ=ǧ ENDIF,
  			IF %m.yx=,%mp.Ȩֵ= THEN $ != %m @Ȩֵ,$.Ȩֵ= ENDIF

&& {mpdzmpmp} mp->!mp mp :: $.ڲṹ=ճ϶,$.=%mp,$.=%%mp,$.ʽṹ=λ,
			%mp.=,%%mp.=,
			$.Ȩֵ=%mp.Ȩֵ,
			%mp.=λ,%%mp.=λ,	
			%mp.ڲṹ=ճ϶,%%mp.ڲṹ=,%mp.ʽṹ=~λ,   /* ~<ǧİ><ʮ> */
			%mp.λ=%%mp.Ȩֵ,
			$!=%mp @λ,$.λ=%%mp.λ
			   

&& {mpdzmpmmp} mp->!mp m<> mp :: $.ڲṹ=϶,$.=%mp,$.=%%mp,$.ʽṹ=λ,
				%mp.=,%%mp.=,
				$.Ȩֵ=%mp.Ȩֵ,
				IF %mp.=λ,%%mp.=λ,%mp.λ=%%mp.yx,%%mp.λ=%mp.yx FALSE,
				IF %GetLeafNode(%mp,-1).yx=ʮ FALSE,
				IF %%mp.= THEN $.= ENDIF,  /* ~<߰ٶ> */
				IF %mp.Ȩֵ=|ʮ FALSE,
				IF %mp.Ȩֵ= THEN %%mp.Ȩֵ= ENDIF,
				IF %mp.Ȩֵ=ǧ THEN %%mp.Ȩֵ=ʮ| ENDIF,
				IF %mp.Ȩֵ= THEN %%mp.Ȩֵ=|ʮ| ENDIF,
				IF %mp.Ȩֵ=ʮ||ǧ| THEN %%mp.Ȩֵ=ǧ||ʮ| ENDIF,
				IF %mp.Ȩֵ=|ʮ||ǧ| THEN %%mp.Ȩֵ=|ʮ||ǧ||ʮ| ENDIF
