As we remarked earlier, |H(t i,j )| is exponential in size so direct calculation of either is impractical.
in this section we will see how different definitions of the domains give rise to the three main model types: clustering, refinement, and mapping into a pre-built ontology such as WordNet.