The MLN describes a log-linear model where the probability distribution is defined over the set of possible worlds.
the probability distribution represented by the MLN is given by, where N i (ω) is the number of groundings of the first order formula f i that evaluate to True given a world ω.