It will also store that extended path's choice of underlying punctemes, in the form of a punctemeannotated version of the subtree of T that is rooted at w. This is a potential subtree of T 0 .
each element of IN(w) has the form (r, D) where r 2 R and D is a tree.