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