The intuition behind the previous formulae can also be captured using a local classifier.
markov Logic also allows us to say more: isArg (a) ⇒ ∃p.∃r.role(p, a, r) In this formula, we made a statement about more global properties of a PA relation extraction that cannot be captured with local classifiers.