and tt X X plus N 0 N plus N s M s plus N M x N 0 0 x N s M plus x N M N and 2 1 tt 0 plus 2 1 2 0 0 s 1 1 x 2 1 2 FULL ./TRS/CSR_Maude/my-nat/MYNAT_nosorts.trs