\v=27
\v~=\w But|strong="H3808"\w* \w to|strong="H7725"\w* \w the|strong="H0853"\w* \w land|strong="H0776"\w* \w to|strong="H7725"\w* \w which|strong="H0834"\w* \w their|strong="H5375"\w* \w soul|strong="H5315"\w* longs \w to|strong="H7725"\w* \w return|strong="H7725"\w*, \w there|strong="H8033"\w* \w they|strong="H1992"\w* \w will|strong="H0776"\w* \w not|strong="H3808"\w* \w return|strong="H7725"\w*.” 
\¬v
\¬p