\v=25
\v~=\w And|strong="H3117"\w* \w on|strong="H3117"\w* \w the|strong="H3605"\w* \w seventh|strong="H7637"\w* \w day|strong="H3117"\w* \w ye|strong="H3117"\w* \w shall|strong="H3117"\w* \w have|strong="H1961"\w* \w a|strong="H1961"\w* \w holy|strong="H6944"\w* \w convocation|strong="H4744"\w*; \w ye|strong="H3117"\w* \w shall|strong="H3117"\w* \w do|strong="H6213"\w* \w no|strong="H3808"\w* \w servile|strong="H5656"\w* \w work|strong="H4399"\w*. 
\¬v
\¬p