\p
\v=12
\v~=« \w Voici|strong="H2009"\w* \w la|strong="H5921"\w* \w loi|strong="H8451"\w* \w de|strong="H1004"\w* \w la|strong="H5921"\w* \w maison|strong="H1004"\w*. \w Au|strong="H1004"\w* \w sommet|strong="H7218"\w* \w de|strong="H1004"\w* \w la|strong="H5921"\w* \w montagne|strong="H2022"\w*, \w toute|strong="H3605"\w* \w la|strong="H5921"\w* \w limite|strong="H1366"\w* \w qui|strong="H1366"\w* l'entoure \w sera|strong="H6944"\w* \w très|strong="H6944"\w* \w sainte|strong="H6944"\w*. \w Voici|strong="H2009"\w* \w la|strong="H5921"\w* \w loi|strong="H8451"\w* \w de|strong="H1004"\w* \w la|strong="H5921"\w* \w maison|strong="H1004"\w*. 
\¬v
\¬p