"1"^^ . . "true proposition"@en . . . .