\v=10
\v~=\w Quand|strong="G1161"\w* \w ils|strong="G2532"\w* \w eurent|strong="G1161"\w* \w passé|strong="G1330"\w* \w la|strong="G2532"\w* \w première|strong="G4413"\w* \w et|strong="G2532"\w* \w la|strong="G2532"\w* \w deuxième|strong="G1208"\w* \w garde|strong="G5438"\w*, \w ils|strong="G2532"\w* \w arrivèrent|strong="G2064"\w* \w à|strong="G1519"\w* \w la|strong="G2532"\w* \w porte|strong="G4439"\w* \w de|strong="G2532"\w* \w fer|strong="G4603"\w* \w qui|strong="G3588"\w* \w mène|strong="G5342"\w* \w à|strong="G1519"\w* \w la|strong="G2532"\w* \w ville|strong="G4172"\w*, \w et|strong="G2532"\w* \w qui|strong="G3588"\w* s'ouvrit \w toute|strong="G2532"\w* \w seule|strong="G1520"\w*. \w Ils|strong="G2532"\w* \w sortirent|strong="G1831"\w* \w et|strong="G2532"\w* \w descendirent|strong="G2718"\w* \w une|strong="G2532"\w* \w rue|strong="G4505"\w*, \w et|strong="G2532"\w* \w aussitôt|strong="G2112"\w* \w l'ange|strong="G1161"\w* \w se|strong="G2532"\w* \w retira|strong="G1831"\w* \w de|strong="G2532"\w* \w lui|strong="G2532"\w*. 
\¬v
\¬p