\p
\v=30
\v~=\w And|strong="G2532"\w* \w when|strong="G2532"\w* \w they|strong="G2532"\w* \w had|strong="G2532"\w* \w sung|strong="H7891"\w* \w a|strong="G2532"\w* \w hymn|strong="G5214"\w*, \w they|strong="G2532"\w* \w went|strong="G1831"\w* \w out|strong="G1831"\w* \w into|strong="G1519"\w* \w the|strong="G2532"\w* \w mount|strong="G3735"\w* \w of|strong="G2532"\w* \w Olives|strong="G1636"\w*. 
\¬v
\¬p