We expect that the constrained models should have accuracies at least on par with the baseline (though one of the key points of this paper is that accuracy by itself is not a comprehensive metric).
our goal is to build models that minimize inconsistency with domain knowledge stated in logic.