\v=27
\v~=\w Abram|strong="H0087"\w* (\w also|strong="H0085"\w* called \w Abraham|strong="H0085"\w*). 
\¬v
\¬p