\v=11
\v~=\w So|x-occurrence="1" x-occurrences="1"\w* \w Moses|x-occurrence="1" x-occurrences="1"\w* \w did|x-occurrence="1" x-occurrences="1"\w* \w what|x-occurrence="1" x-occurrences="1"\w* \w Yahweh|x-occurrence="1" x-occurrences="1"\w* \w had|x-occurrence="1" x-occurrences="1"\w* \w commanded|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p