. "3"^^ . . . . . . "closed world reasoning"@en . .