\v=10
\v~=\w For|strong="G1063"\w* \w he|strong="G2532"\w* \w was|strong="G3739"\w* \w looking|strong="G1551"\w* \w for|strong="G1063"\w* \w the|strong="G3588"\w* \w city|strong="G4172"\w* \w which|strong="G3739"\w* \w has|strong="G2192"\w* \w foundations|strong="G2310"\w*, \w whose|strong="G3739"\w* \w builder|strong="G1217"\w* \w and|strong="G2532"\w* maker \w is|strong="G2316"\w* \w God|strong="G2316"\w*. 
\¬v
\¬p