\q1
\v=8
\v~=\w Even|x-occurrence="1" x-occurrences="1"\w* \w if|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="1" x-occurrences="1"\w* \w king|x-occurrence="1" x-occurrences="1"\w* \w had|x-occurrence="1" x-occurrences="1"\w* \w 60|x-occurrence="1" x-occurrences="1"\w* \w queens|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="2"\w* \w 80|x-occurrence="1" x-occurrences="1"\w* \w concubines|x-occurrence="1" x-occurrences="1"\w*
\¬q1
\q2
\p~<<q2=\w and|x-occurrence="2" x-occurrences="2"\w* \w more|x-occurrence="1" x-occurrences="1"\w* \w young|x-occurrence="1" x-occurrences="1"\w* \w women|x-occurrence="1" x-occurrences="1"\w* \w than|x-occurrence="1" x-occurrences="1"\w* \w anyone|x-occurrence="1" x-occurrences="1"\w* \w can|x-occurrence="1" x-occurrences="1"\w* \w count|x-occurrence="1" x-occurrences="1"\w*,
\¬q2
\¬v