2nd cons X cons Y Z Y from X cons X from s X 2nd 1 1 cons 2 1 from 1 1 s 1 1 FULL ./TRS/CSR/Ex1_2_Luc02c.trs