W ⊆ W will stand for the set of words found to occupy a given slot (in the corpus employed), and D : N →W * is a function mapping a node to the words it (partially) sense dominates.
for all n ∈ N and w ∈ W , if w ∈ D(n) then there is at least one sense n ∈ S(w) such that n is an ancestor of n as determined through use of P. For example, we would expect the word bank to be dominated by a node standing for a class such as company as well as a separate node standing for, e.g., location.