started translator for ProbCog (Markov logic networks), refactoring