\v=12
\v~=\w This|strong="H2063"\w* \w is|strong="H2009"\w* \w the|strong="H3605"\w* \w law|strong="H8451"\w* \w of|strong="H1004"\w* \w the|strong="H3605"\w* \w house|strong="H1004"\w*: \w upon|strong="H5921"\w* \w the|strong="H3605"\w* \w top|strong="H7218"\w* \w of|strong="H1004"\w* \w the|strong="H3605"\w* \w mountain|strong="H2022"\w* \w the|strong="H3605"\w* \w whole|strong="H3605"\w* \w limit|strong="H1366"\w* \w thereof|strong="H7218"\w* \w round|strong="H5439"\w* \w about|strong="H5439"\w* \w shall|strong="H1004"\w* \w be|strong="H1004"\w* \w most|strong="H6944"\w* \w holy|strong="H6944"\w*. \w Behold|strong="H2009"\w*, \w this|strong="H2063"\w* \w is|strong="H2009"\w* \w the|strong="H3605"\w* \w law|strong="H8451"\w* \w of|strong="H1004"\w* \w the|strong="H3605"\w* \w house|strong="H1004"\w*. 
\¬v
\¬p