\v=23
\v~=\w If|strong="H0518"\w* \w it|strong="H1931"\w* \w is|strong="H0834"\w* \w on|strong="H5921"\w* \w the|strong="H0834"\w* \w bed|strong="H4904"\w*, \w or|strong="H0176"\w* \w on|strong="H5921"\w* \w anything|strong="H3627"\w* \w she|strong="H1931"\w* \w sits|strong="H3427"\w* \w on|strong="H5921"\w*, \w when|strong="H0834"\w* \w he|strong="H0834"\w* \w touches|strong="H5060"\w* \w it|strong="H1931"\w*, \w he|strong="H0834"\w* \w shall|strong="H0834"\w* \w be|strong="H1931"\w* \w unclean|strong="H2930"\w* \w until|strong="H5704"\w* \w the|strong="H0834"\w* \w evening|strong="H6153"\w*. 
\¬v
\¬p