\p
\v=11
\v~=“‘\w You|strong="H3808"\w* \w shall|strong="H0376"\w* \w not|strong="H3808"\w* \w steal|strong="H1589"\w*. 
\¬p
\p
\p~<<p=“‘\w You|strong="H3808"\w* \w shall|strong="H0376"\w* \w not|strong="H3808"\w* \w lie|strong="H8266"\w*. 
\¬p
\p
\p~<<p=“‘\w You|strong="H3808"\w* \w shall|strong="H0376"\w* \w not|strong="H3808"\w* \w deceive|strong="H3584"\w* \w one|strong="H0376"\w* \w another|strong="H0376"\w*. 
\¬p
\¬v