\b \q1 \v=15 \v~=\w Long|strong="H3117"\w* \w may|strong="H5414"\w* \w he|strong="H3117"\w* \w live|strong="H2421"\w*; \¬q1 \q2 \p~<