\p
\v=30
\v~=\w When|strong="G2532"\w* \w they|strong="G2532"\w* \w had|strong="G3588"\w* sung \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 to|strong="G1519"\w* \w the|strong="G3588"\w* \w Mount|strong="G3735"\w* \w of|strong="G3735"\w* \w Olives|strong="G1636"\w*. 
\¬v
\¬p