\q1
\v=12
\v~=\w both|strong="H1571"\w* \w young|strong="H5288"\w* \w men|strong="H5288"\w* \w and|strong="H5288"\w* \w maidens|strong="H1330"\w*, 
\¬q1
\q2
\p~<<q2=\w old|strong="H2205"\w* \w men|strong="H5288"\w* \w and|strong="H5288"\w* \w children|strong="H5288"\w*. 
\¬q2
\¬v