\v=32
\v~=\w Benjamin|x-occurrence="1" x-occurrences="1"\w*, \w Malluk|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="1" x-occurrences="1"\w* \w Shemariah|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p