\v=3
\v~=\w Ils|strong="H1961"\w* \w auront|strong="H5157"\w* \w les|strong="H3427"\w* \w villes|strong="H5892"\w* \w pour|strong="H3427"\w* \w y|strong="H5892"\w* \w habiter|strong="H3427"\w*. \w Leurs|strong="H5414"\w* pâturages \w seront|strong="H5892"\w* destinés \w à|strong="H3427"\w* \w leur|strong="H3427"\w* \w bétail|strong="H5315"\w*, \w à|strong="H3427"\w* \w leurs|strong="H5414"\w* \w biens|strong="H7399"\w* \w et|strong="H3427"\w* \w à|strong="H3427"\w* \w tous|strong="H3605"\w* \w leurs|strong="H5414"\w* \w animaux|strong="H2416"\w*. 
\¬v
\¬p