\v=16
\v~=\w Se|strong="G2532"\w* \w me|strong="H0413"\w* \w dijo|strong="H0559"\w* \w el|strong="G3588"\w* \w número|strong="H4557"\w* \w de|strong="G3588"\w* \w los|strong="G3588"\w* \w soldados|strong="G4753"\w* \w del|strong="G3588"\w* \w ejército|strong="G4753"\w* \w a|strong="H0413"\w* \w caballo|strong="H5483"\w*: \w era|strong="H1961"\w* 200 \w millones|strong="G3461"\w*. 
\¬v
\¬p