\v=7
\v~=\w and|strong="H1182"\w* \w Elishama|strong="H0476"\w*, \w and|strong="H1182"\w* \w Beeliada|strong="H1182"\w*, \w and|strong="H1182"\w* \w Eliphelet|strong="H0467"\w*. 
\¬v
\¬p