Given P RE i/j and the lists of categories C RE i/j they belong to, we factorise over all possible category pairs.
we take the cross product of each antecedent and anaphor category to form pairs of 'Wikipedia synsets'.