\v=10
\v~=\w Abraham|strong="H0085"\w* \w stretched|strong="H7971"\w* \w out|strong="H7971"\w* \w his|strong="H3947"\w* \w hand|strong="H3027"\w*, \w and|strong="H1121"\w* \w took|strong="H3947"\w* \w the|strong="H0853"\w* \w knife|strong="H3979"\w* \w to|strong="H7971"\w* \w kill|strong="H7819"\w* \w his|strong="H3947"\w* \w son|strong="H1121"\w*. 
\¬v
\¬p