\v=10
\v~=\w For|strong="H3588"\w* \w it|strong="H3588"\w* \w is|strong="H8033"\w* precept \w on|strong="H6673"\w* precept, precept \w on|strong="H6673"\w* precept; line \w on|strong="H6673"\w* line, line \w on|strong="H6673"\w* line; \w here|strong="H8033"\w* \w a|strong="H3588"\w* \w little|strong="H2191"\w*, \w there|strong="H8033"\w* \w a|strong="H3588"\w* \w little|strong="H2191"\w*. 
\¬v
\¬p