\item \lect Give the definition of semantic entailment. \\