2nd cons1 X cons Y Z Y 2nd cons X X1 2nd cons1 X activate X1 from X cons X n__from s X from X n__from X activate n__from X from X activate X X 2nd 1 cons1 2 cons 2 activate 1 from 1 n__from 1 s 1 FULL ./TRS/TRCSR/Ex6_9_Luc02c_Z.trs