\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 virgins|strong="H1330"\w*; 
\¬q1
\q1
\p~<<q1=\w Old|strong="H2205"\w* \w men|strong="H5288"\w* \w and|strong="H5288"\w* \w children|strong="H5288"\w*: 
\¬q1
\¬v