\q1 \v=5 \v~=\w A|x-occurrence="1" x-occurrences="1"\w* \w man|x-occurrence="1" x-occurrences="1"\w* \w who|x-occurrence="1" x-occurrences="2"\w* \w has|x-occurrence="1" x-occurrences="2"\w* \w wisdom|x-occurrence="1" x-occurrences="1"\w* \w has|x-occurrence="2" x-occurrences="2"\w* \w strength|x-occurrence="1" x-occurrences="1"\w*, \¬q1 \q2 \p~<