markov logic predicates;