\v=31
\v~=\w But|strong="G1161"\w* \w they|strong="G0846"\w* \w went|strong="G1831"\w* \w out|strong="G1831"\w* \w and|strong="G1161"\w* \w spread|strong="G1831"\w* abroad \w his|strong="G0846"\w* fame \w in|strong="G1722"\w* \w all|strong="G3650"\w* \w that|strong="G1565"\w* \w land|strong="G1093"\w*. 
\¬v
\¬p