"disjunction"@en-us . .