That is, both "He knows that the answer is 5" and "He does not know that the answer is 5" imply that "The answer is 5".
understanding veridicality requires semantic subtlety and is still an open problem for computational models of natural language inference (NLI) .