Syllogistic inference under uncertainty