def varOccur(self): occur = {} for j, t in enumerate(self.terms): if t.__class__ == Var: util.setMapAdd(occur, t, self.relationDomain(j)) else: util.setMapMerge(occur, t.varOccur()) return occur
def varOccur(self): occur = {} for s in self.sents: util.setMapMerge(occur, s.varOccur()) return occur