\v=27
\v~=Abram (\w appelé|strong="H8034"\w* \w aussi|strong="H1992"\w* Abraham). 
\¬v
\¬p