a__2nd cons X cons Y Z mark Y a__from X cons mark X from s X mark 2nd X a__2nd mark X mark from X a__from mark X mark cons X1 X2 cons mark X1 X2 mark s X s mark X a__2nd X 2nd X a__from X from X a__2nd 1 cons 2 mark 1 a__from 1 from 1 s 1 2nd 1 INNERMOST ./TRS/TRCSR/inn/Ex1_2_Luc02c_GM.trs