$use StdIO;

$func PlusPlus eZ = (eX) (eA) (eY);
PlusPlus $r eP '+' eY,
  eP : $l eX '+' eA =
  (eX) (eA) (eY);

$func Main = e;
Main = <WriteLn <PlusPlus 'AAA+BBB+CCC+DDD+EEE'>>;