For example, in the sentence "He does not know that the answer is 5", "know" is veridical with respect to "The answer is 5", since a speaker cannot felicitously say the former sentence unless they believe the latter proposition to be true.
we then generate two p, h pairs: the sentence and the complement as-is S, C , and the negated sentence plus the complement ¬S, C .