\q1
\v=32
\v~=Sans eux, aucune ville ne serait habitée. 
\¬q1
\q2
\p~<<q2=2 Les hommes n'y résideraient pas en tant qu'étrangers et ne s'y promèneraient pas. 
\¬q2
\¬v