active 2nd cons X cons Y Z mark Y active from X mark cons X from s X active 2nd X 2nd active X active cons X1 X2 cons active X1 X2 active from X from active X active s X s active X 2nd mark X mark 2nd X cons mark X1 X2 mark cons X1 X2 from mark X mark from X s mark X mark s X proper 2nd X 2nd proper X proper cons X1 X2 cons proper X1 proper X2 proper from X from proper X proper s X s proper X 2nd ok X ok 2nd X cons ok X1 ok X2 ok cons X1 X2 from ok X ok from X s ok X ok s X top mark X top proper X top ok X top active X active 1 2nd 1 cons 2 mark 1 from 1 s 1 proper 1 ok 1 top 1 INNERMOST ./TRS/TRCSR/inn/Ex1_2_Luc02c_C.trs