\v=52
\v~=\w mais|strong="G1161"\w* \w il|strong="G1161"\w* \w lâcha|strong="G2641"\w* \w son|strong="G2641"\w* \w vêtement|strong="G4616"\w*, \w et|strong="G1161"\w* \w se|strong="G1161"\w* \w sauva|strong="G5343"\w* \w tout|strong="G1161"\w* \w nu|strong="G1131"\w*. 
\¬v
\¬p