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