\v=27
\v~=\w y|strong="H1571"\w* \w Abram|strong="H0087"\w* (\w también|strong="H1571"\w* \w llamado|strong="H8034"\w* \w Abraham|strong="H0085"\w*). 
\¬v
\¬p