plus plus X Y Z plus X plus Y Z times X s Y plus X times Y X plus 2 times 2 s 1 FULL ./TRS/Rubio/bn122.trs