\v=11
\v~=\w And|strong="G2532"\w* \w when|strong="G2532"\w* \w they|strong="G2532"\w* \w had|strong="G2532"\w* \w brought|strong="G2609"\w* \w their|strong="G2532"\w* \w boats|strong="G4143"\w* \w to|strong="G2532"\w* \w land|strong="G1093"\w*, \w they|strong="G2532"\w* \w left|strong="H7604"\w* \w all|strong="G3956"\w*, \w and|strong="G2532"\w* \w followed|strong="H0310"\w* \w him|strong="G3588"\w*. 
\¬v
\¬p