f X cons X n__f g X g 0 s 0 g s X s s g X sel 0 cons X Y X sel s X cons Y Z sel X activate Z f X n__f X activate n__f X f X activate X X f 1 cons 2 n__f 1 g 1 0 0 s 1 sel 2 activate 1 FULL ./TRS/TRCSR/Ex4_Zan97_Z.trs