normalizing Markov logic predicates (for RockIt)