if the pair (e 1 , e 2 ) has relation type LOCATED IN then e 2 must have entity type LOC.
if computing the posterior and expected values of linear functions over each subcomponent is easy, then the algorithm works efficiently.