\q1 \v=6 \v~=\w He|strong="H1980"\w* \w went|strong="H1980"\w* \w up|strong="H1961"\w* \w and|strong="H1980"\w* \w down|strong="H1980"\w* \w among|strong="H8432"\w* \w the|strong="H0398"\w* \w lions|strong="H0738"\w*. \¬q1 \q2 \p~<