2nd cons X n__cons Y Z activate Y from X cons X n__from s X cons X1 X2 n__cons X1 X2 from X n__from X activate n__cons X1 X2 cons X1 X2 activate n__from X from X activate X X 2nd 1 cons 2 n__cons 2 activate 1 from 1 n__from 1 s 1 FULL ./TRS/TRCSR/Ex1_2_Luc02c_Z.trs