\v=22
\v~=\w On|strong="H5921"\w* \w the|strong="H5921"\w* \w tops|strong="H7218"\w* \w of|strong="H7218"\w* \w the|strong="H5921"\w* \w pillars|strong="H5982"\w* \w was|strong="H7218"\w* \w lily|strong="H7799"\w* \w work|strong="H4399"\w*. \w So|strong="H5921"\w* \w the|strong="H5921"\w* \w work|strong="H4399"\w* \w of|strong="H7218"\w* \w the|strong="H5921"\w* \w pillars|strong="H5982"\w* \w was|strong="H7218"\w* \w finished|strong="H8552"\w*. 
\¬v
\¬p