THEORY exercises IS

  [xx,yy,zz:=2,3,4]yy;

  [xx,yy:=zz+1,xx-2](xx+yy);
          
  [xx:=zz+1][yy:=xx-2](xx+yy);
            
  [xx,yy:=yy,xx](xx-yy);
    
  [ff,xx:=hh,yy](ff;gg)(xx);
  
  [ff:=gg]ff~;
  
  [xx:=xx+1][xx,2*xx];
    
  [xx,zz:=4,5]!(xx,yy,zz).(xx+yy>=zz);
  
  [xx:=yy]!yy.(xx<yy);

  [xx,yy,zz:=zz,5,6]!yy.(zz>0 & #zz.(xx+zz<yy+zz$0));
  
  [xx,yy,zz:=3,yy,4]J;
  
  xx\J => [xx,yy,zz:=3,yy,4]J;
  
  bvrb(x) => [x:=5](x+y);
  
  bvrb(x) & x\y => [x:=5](x+y);
  
  bvrb(x) & y\x => [x:=5](x+y);
  
  bvrb(x) & bvrb(y) & y\x => [x:=5](x+y);
  
  bvrb(x,y) => [x:=5](x+y)
  
TAC

  DED;SUB~;Print_ResultX;WRITE
  
END

&

THEORY Print_ResultX IS

  bwritef("\n      Result is:   %\n",P) => P
  
END

