\v=12
\v~=\w Blessed|strong="H0835"\w* \w is|strong="H3117"\w* \w he|strong="H3117"\w* who \w waits|strong="H2442"\w*, \w and|strong="H3967"\w* \w comes|strong="H3117"\w* \w to|strong="H3117"\w* \w the|strong="H3117"\w* \w one|strong="H3967"\w* \w thousand|strong="H0505"\w* \w and|strong="H3967"\w* \w three|strong="H7969"\w* \w hundred|strong="H3967"\w* \w and|strong="H3967"\w* thirty-five \w days|strong="H3117"\w*. 
\¬v
\¬p