2nd cons1 X cons Y Z Y 2nd cons X X1 2nd cons1 X activate X1 from X cons X n__from n__s X 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 2nd 1 cons1 2 cons 2 activate 1 from 1 n__from 1 n__s 1 s 1 FULL ./TRS/TRCSR/Ex6_9_Luc02c_FR.trs