\v=15
\v~=\w If|strong="H3588"\w* \w its|strong="H3588"\w* owner \w is|strong="H0834"\w* \w with|strong="H5973"\w* \w it|strong="H3588"\w*, \w he|strong="H0834"\w* \w shall|strong="H0376"\w* \w not|strong="H3808"\w* \w make|strong="H3588"\w* \w it|strong="H3588"\w* good. \w If|strong="H3588"\w* \w it|strong="H3588"\w* \w is|strong="H0834"\w* \w a|strong="H3588"\w* leased \w thing|strong="H3588"\w*, \w it|strong="H3588"\w* \w came|strong="H0376"\w* \w for|strong="H3588"\w* \w its|strong="H3588"\w* lease. 
\¬v
\¬p