\v=11
\v~=\w Quand|strong="H6256"\w* \w ils|strong="H1961"\w* \w le|strong="H7200"\w* \w virent|strong="H7200"\w*, \w ils|strong="H1961"\w* \w amenèrent|strong="H3947"\w* \w trente|strong="H7970"\w* \w compagnons|strong="H4828"\w* \w pour|strong="H3947"\w* \w être|strong="H1961"\w* \w avec|strong="H3947"\w* \w lui|strong="H3068"\w*. 
\¬v
\¬p