\v=27
\v~=\w Malluk|x-occurrence="1" x-occurrences="1"\w*, \w Harim|x-occurrence="1" x-occurrences="1"\w*, \w Baanah|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p