began Markov Logic example