\v=13
\v~=\w Hodiah|x-occurrence="1" x-occurrences="1"\w*, \w Bani|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="1" x-occurrences="1"\w* \w Beninu|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬q1