. "0"@en-us . "disjunction%1:26:00::"^^ . . "disjunction"@en-us . .