\q1 \v=10 \v~=\w If|strong="H0518"\w* \w he|strong="H0518"\w* \w passes|strong="H2498"\w* \w by|strong="H0518"\w*, \w or|strong="H0518"\w* confines, \¬q1 \q2 \p~<