\v=46
\v~=\w After|strong="G2532"\w* \w he|strong="G2532"\w* \w had|strong="G3588"\w* taken \w leave|strong="G0565"\w* \w of|strong="G3735"\w* \w them|strong="G0846"\w*, \w he|strong="G2532"\w* \w went|strong="G0565"\w* \w up|strong="G1519"\w* \w the|strong="G3588"\w* \w mountain|strong="G3735"\w* \w to|strong="G1519"\w* \w pray|strong="G4336"\w*. 
\¬v
\¬p