\v=60
\v~=\w Altogether|x-occurrence="1" x-occurrences="1"\w*, \w there|x-occurrence="1" x-occurrences="1"\w* \w were|x-occurrence="1" x-occurrences="1"\w* \w 392|x-occurrence="1" x-occurrences="1"\w* \w descendants|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* {\w temple|x-occurrence="1" x-occurrences="1"\w*} \w workers|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* {\w conscripted|x-occurrence="1" x-occurrences="1"\w*} \w laborers|x-occurrence="1" x-occurrences="1"\w* {\w who|x-occurrence="1" x-occurrences="1"\w* \w returned|x-occurrence="1" x-occurrences="1"\w*}.
\¬v
\¬p