A treekernel function over t 1 and t 2 is K T (t 1 , t 2 ) = , where N t 1 and N t 2 are the sets of the t 1 's and t 2 's nodes, respectively.
to keep track of the argument movements, we augment the node labels with placeholders.