"Precondition"@en . . "0"^^ . . .