\v=10
\v~=\w Ibzan|strong="H0078"\w* \w died|strong="H4191"\w*, \w and|strong="H4191"\w* was \w buried|strong="H6912"\w* \w at|strong="H4191"\w* \w Bethlehem|strong="H1035"\w*. 
\¬v
\¬p