"minor premise"@en-us . .