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