These restrictions mean that we do not compute the exact posterior.
the actual model allows entities to contain examples with no words in common, but our search procedure does not explore these solutions.