. "7"@en-us . "7"^^ . "entail%2:42:01::"^^ . . "entail"@en-us . .