2nd cons X Y from X cons X 2nd 1 cons 1 from 1 FULL ./TRS/TRCSR/Ex1_2_Luc02c_L.trs