\v=16
\v~=\w One|strong="H1961"\w* \w law|strong="H8451"\w* \w and|strong="H4941"\w* \w one|strong="H1961"\w* \w ordinance|strong="H4941"\w* \w shall|strong="H8451"\w* \w be|strong="H1961"\w* \w for|strong="H4941"\w* \w you|strong="H1961"\w*, \w and|strong="H4941"\w* \w for|strong="H4941"\w* \w the|strong="H1961"\w* \w stranger|strong="H1616"\w* \w that|strong="H1616"\w* \w sojourneth|strong="H1481"\w* \w with|strong="H4941"\w* \w you|strong="H1961"\w*. 
\¬v
\¬p