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