\v=17
\v~=\w afin|strong="G2443"\w* \w que|strong="G2443"\w* s'accomplît \w ce|strong="G3588"\w* \w qui|strong="G3588"\w* \w avait|strong="G4137"\w* \w été|strong="G1096"\w* \w annoncé|strong="G2980"\w* \w par|strong="G1223"\w* \w Ésaïe|strong="G2268"\w*, \w le|strong="G1223"\w* \w prophète|strong="G4396"\w*, \w en|strong="G3004"\w* \w ces|strong="G1223"\w* \w termes|strong="G3004"\w*, 
\¬v
\¬p