\v=10
\v~=\w When|strong="G2532"\w* \w they|strong="G0846"\w* \w were|strong="G3588"\w* past \w the|strong="G3588"\w* \w first|strong="G4413"\w* \w and|strong="G2532"\w* \w the|strong="G3588"\w* \w second|strong="G1208"\w* \w guard|strong="G5438"\w*, \w they|strong="G0846"\w* \w came|strong="G2064"\w* \w to|strong="G1519"\w* \w the|strong="G3588"\w* \w iron|strong="G4603"\w* \w gate|strong="G4439"\w* \w that|strong="G3748"\w* \w leads|strong="G1519"\w* \w into|strong="G1519"\w* \w the|strong="G3588"\w* \w city|strong="G4172"\w*, \w which|strong="G3748"\w* \w opened|strong="G0455"\w* \w to|strong="G1519"\w* \w them|strong="G0846"\w* \w by|strong="G0575"\w* \w itself|strong="G0846"\w*. \w They|strong="G0846"\w* \w went|strong="G1831"\w* \w out|strong="G1831"\w* \w and|strong="G2532"\w* \w went|strong="G1831"\w* down \w one|strong="G1520"\w* \w street|strong="G4505"\w*, \w and|strong="G2532"\w* \w immediately|strong="G2112"\w* \w the|strong="G3588"\w* \w angel|strong="G0032"\w* \w departed|strong="G1831"\w* \w from|strong="G0575"\w* \w him|strong="G0846"\w*. 
\¬v
\¬p