Probabilistic entailment (not classical entailment) is the appropriate standard for natural language...
This proposition has not been edited since the history system was added.