\p
\v=13
\v~=\w 845|x-occurrence="1" x-occurrences="1"\w* \w men|x-occurrence="1" x-occurrences="1"\w* \w from|x-occurrence="1" x-occurrences="1"\w* {\w the|x-occurrence="1" x-occurrences="1"\w* \w clan|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w*} \w Zattu|x-occurrence="1" x-occurrences="1"\w*;
\¬v
\¬p