f node s n xs f addchild select xs node n xs select cons ap xs ap select cons ap xs select xs addchild node y ys node n xs node y cons node n xs ys f 1 node 2 s 1 addchild 2 select 1 cons 2 FULL fossacs2011.trs