\p
\v=15
\v~=\w You|x-occurrence="1" x-occurrences="1"\w* \w shall|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w steal|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p