\v=27
\v~=\w Abram|strong="H0087"\w* (\w the|strong="H1931"\w* \w same|strong="H1931"\w* \w is|strong="H1931"\w* \w Abraham|strong="H0085"\w*). 
\¬v
\¬p