The intuition behind the previous formula can also be captured using a local classifier.
6 Markov Logic also allows us to say more: beforeDCT (e 1 ) ∧ ¬beforeDCT (e 2 ) ⇒ before (e 1 , e 2 ) (2) In this case, we made a statement about more global properties of a temporal ordering that cannot be captured with local classifiers.