\v=8
\v~=\w There|strong="G1722"\w* \w was|strong="G3588"\w* \w great|strong="G4183"\w* \w joy|strong="G5479"\w* \w in|strong="G1722"\w* \w that|strong="G1565"\w* \w city|strong="G4172"\w*. 
\¬v
\¬p