\v=10
\v~=\w For|strong="H3588"\w* \w it|strong="H3588"\w* \w is|strong="H8033"\w* \w precept|strong="H6673"\w* \w upon|strong="H6957"\w* \w precept|strong="H6673"\w*, \w precept|strong="H6673"\w* \w upon|strong="H6957"\w* \w precept|strong="H6673"\w*; \w line|strong="H6957"\w* \w upon|strong="H6957"\w* \w line|strong="H6957"\w*, \w line|strong="H6957"\w* \w upon|strong="H6957"\w* \w line|strong="H6957"\w*; \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