The second term φ is a consistency term that measures the compatibility of a generalized relation t with the relations in S. We assume that if a relation is missing from S, then it is false (this corresponds to a closed world assumption over the domain of S).
φ is the ratio of the scores of relations in S consistent with relation t (i.e.