Arto's Notes re: Markov logic networks (MLN)