(msos EXPRESSIONS is
 Exp .
 Op .
 Op ::= sum 
	   | sub .
	   
 Exp ::= Exp Op Exp
       | Int .

Label = {...} .	   
                   Exp1 -{...}-> Exp'1
 -- --------------------------------------------
 (Exp1 Op Exp2) : Exp -{...}-> Exp'1 Op Exp2 .

                 Exp2 -{...}-> Exp'2
 -- ------------------------------------------
 (Int Op Exp2) : Exp -{...}-> Int Op Exp'2 .

      Op := sum, Int3 := Int1 + Int2
 -- --------------------------------------
 (Int1 Op Int2) : Exp --> Int3 .

      Op := sub, Int3 := Int1 - Int2
 -- --------------------------------------
 (Int1 Op Int2) : Exp --> Int3 .

 
sosm)
