A Markov logic network consists of a set of first-order clauses (which we will refer to as formulas in the rest of the paper) just like in first-order logic.
different from first-order logic where a formula represents a hard constraint, in an MLN, these constraints are softened and they can be violated with some penalty.