f 0 cons 0 f s 0 f p s 0 p s X X f 1 0 0 cons 1 s 1 p 1 INNERMOST ./TRS/TRCSR/inn/ExProp7_Luc06_L.trs