\p
\v=37
\v~=\w The|x-occurrence="1" x-occurrences="1"\w* \w sons|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w Lod|x-occurrence="1" x-occurrences="1"\w*, \w Hadid|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="1" x-occurrences="1"\w* \w Ono|x-occurrence="1" x-occurrences="1"\w* \w were|x-occurrence="1" x-occurrences="1"\w* \w 721|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p