\v=17
\v~=\w Así|strong="H3541"\w* \w que|strong="H4480"\w* \w la|strong="H1366"\w* frontera \w va|strong="H1961"\w* \w desde|strong="H4480"\w* \w el|strong="H1931"\w* \w Mar|strong="H3220"\w* Mediterráneo \w hasta|strong="H5704"\w* Hazar-enán, \w a|strong="H4480"\w* \w lo|strong="H1931"\w* \w largo|strong="H7230"\w* \w de|strong="H4480"\w* \w la|strong="H1366"\w* frontera \w norte|strong="H6828"\w* \w con|strong="H4480"\w* \w Damasco|strong="H1834"\w*, \w con|strong="H4480"\w* \w la|strong="H1366"\w* frontera \w de|strong="H4480"\w* Hamat \w al|strong="H4480"\w* \w norte|strong="H6828"\w*. \w Este|strong="H1961"\w* \w es|strong="H1961"\w* \w el|strong="H1931"\w* \w límite|strong="H7097"\w* \w norte|strong="H6828"\w*. 
\¬v
\¬p