2ndconsXconsYZYfromXconsXfromsX2nd11cons21from11s11FULL./TRS/CSR/Ex1_2_Luc02c.trs