from X cons X from s X after 0 XS XS after s N cons X XS after N XS from 1 cons 2 s 1 after 2 0 0 FULL ./TRS/nontermin/CSR/Ex4_7_56_Bor03.trs