from X cons X n__from n__s X sel 0 cons X Y X sel s X cons Y Z sel X activate Z 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 sel 2 0 0 s 1 activate 1 FULL ./TRS/TRCSR/Ex3_12_Luc96a_FR.trs