Toward Probabilistic Natural Logic for Syllogistic Reasoning
The processes of inference