MarkovLogicExample now with sufficient statistics formulation.