nats adx zeros zeros cons 0 zeros incr cons X Y cons s X incr Y adx cons X Y incr cons X adx Y hd cons X Y X tl cons X Y Y nats 0 adx 1 1 zeros 0 cons 2 0 0 incr 1 1 s 1 hd 1 1 tl 1 1 FULL ./TRS/CSR/ExIntrod_GM04.trs