\q1
\v=17
\v~=\w ou|strong="H4480"\w* \w avoir|strong="H1697"\w* mangé \w mon|strong="H5414"\w* \w morceau|strong="H6595"\w* seul, 
\¬q1
\q2
\p~<<q2=2 \w et|strong="H3808"\w* l'orphelin \w n'en|strong="H1995"\w* \w a|strong="H3808"\w* \w pas|strong="H3808"\w* mangé 
\¬q2
\¬v