active f 0 mark cons 0 f s 0 active f s 0 mark f p s 0 active p s X mark X active f X f active X active cons X1 X2 cons active X1 X2 active s X s active X active p X p active X f mark X mark f X cons mark X1 X2 mark cons X1 X2 s mark X mark s X p mark X mark p X proper f X f proper X proper 0 ok 0 proper cons X1 X2 cons proper X1 proper X2 proper s X s proper X proper p X p proper X f ok X ok f X cons ok X1 ok X2 ok cons X1 X2 s ok X ok s X p ok X ok p X top mark X top proper X top ok X top active X active 1 f 1 0 0 mark 1 cons 2 s 1 p 1 proper 1 ok 1 top 1 INNERMOST ./TRS/TRCSR/inn/ExProp7_Luc06_C.trs