sentence1: we encode as first order logic rules and automatically combine with a topic model developed specifically for the relation extraction task .
sentence2: we encode domain knowledge as first order logic ( fol ) rules and automatically integrate them with a topic model to produce clusters shaped by the data and the constraints at hand .