f 0 cons 0 n__f s 0 f s 0 f p s 0 p s 0 0 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/Ex4_7_15_Bor03_Z.trs