from X cons X n__from s X after 0 XS XS after s N cons X XS after N activate XS from X n__from X activate n__from X from X activate X X from 1 cons 2 n__from 1 s 1 after 2 0 0 activate 1 FULL ./TRS/TRCSR/Ex4_7_56_Bor03_Z.trs