2nd cons1 X cons Y Z Y 2nd cons X X1 2nd cons1 X X1 from X cons X from s X 2nd 1 1 cons1 2 1 2 cons 2 1 from 1 1 s 1 1 FULL ./TRS/CSR/Ex6_9_Luc02c.trs