Toward Probabilistic Natural Logic for Syllogistic Reasoning
Reasoning with Quantifiers