\q1 \v=2 \v~=\w et|strong="H7235"\w* \w dis|strong="H3045"\w*: \¬q1 \q1 \p~<