\v=15
\v~=\w They|strong="H8033"\w* \w went|strong="H0935"\w* \w over|strong="H0853"\w* \w there|strong="H8033"\w*, \w to|strong="H0935"\w* \w go|strong="H0935"\w* \w in|strong="H3427"\w* \w to|strong="H0935"\w* \w stay|strong="H3427"\w* \w in|strong="H3427"\w* \w Gibeah|strong="H1390"\w*. \w He|strong="H8033"\w* \w went|strong="H0935"\w* \w in|strong="H3427"\w*, \w and|strong="H0935"\w* \w sat|strong="H3427"\w* \w down|strong="H3427"\w* \w in|strong="H3427"\w* \w the|strong="H0853"\w* \w street|strong="H7339"\w* \w of|strong="H1004"\w* \w the|strong="H0853"\w* \w city|strong="H5892"\w*; \w for|strong="H1004"\w* \w there|strong="H8033"\w* \w was|strong="H0369"\w* \w no|strong="H0369"\w* \w one|strong="H0376"\w* \w who|strong="H0376"\w* \w took|strong="H5493"\w* \w them|strong="H0853"\w* \w into|strong="H0935"\w* \w his|strong="H0376"\w* \w house|strong="H1004"\w* \w to|strong="H0935"\w* \w stay|strong="H3427"\w*. 
\¬v
\¬p