. "0"@en-us . "universal_proposition%1:10:00::"^^ . "universal proposition"@en-us . .