\v=5
\v~=\w because|x-occurrence="1" x-occurrences="1"\w* \w Abraham|x-occurrence="1" x-occurrences="1"\w* \w obeyed|x-occurrence="1" x-occurrences="1"\w* \w my|x-occurrence="1" x-occurrences="5"\w* \w voice|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="2"\w* \w kept|x-occurrence="1" x-occurrences="1"\w* \w my|x-occurrence="2" x-occurrences="5"\w* \w requirements|x-occurrence="1" x-occurrences="1"\w*, \w my|x-occurrence="3" x-occurrences="5"\w* \w commands|x-occurrence="1" x-occurrences="1"\w*, \w my|x-occurrence="4" x-occurrences="5"\w* \w decrees|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="2" x-occurrences="2"\w* \w my|x-occurrence="5" x-occurrences="5"\w* \w laws|x-occurrence="1" x-occurrences="1"\w*.''
\¬v
\¬p