Abelard's criterion—that the antecedent's sense 'compels' the consequent—conflates semantic entailme...