f 0 cons 0 n__f s 0 f s 0 f p s 0 p s X X f X n__f X activate n__f X f X activate X X f 1 0 0 cons 2 n__f 1 s 1 p 1 activate 1 FULL ./TRS/TRCSR/ExProp7_Luc06_Z.trs