Assuming T is the full set of known categories, the generative process for our model is: The lazy dog sleeps n Figure 2: Higher-level category n subsumes the categories of its constituents.
n should have a strong prior on combinability with its adjacent supertags np/n and s\np.