\v=11
\v~=\w Notwithstanding|strong="H0389"\w*, \w the|strong="H4191"\w* \w sons|strong="H1121"\w* \w of|strong="H1121"\w* \w Korah|strong="H7141"\w* \w died|strong="H4191"\w* \w not|strong="H3808"\w*. 
\¬v
\¬p