\p
\v=12
\v~=\w Then|strong="G2532"\w* \w the|strong="G2532"\w* \w fourth|strong="G5067"\w* \w angel|strong="H4397"\w* \w blew|strong="G4537"\w*; \w and|strong="G2532"\w* \w a|strong="G2532"\w* \w third|strong="G5154"\w* \w of|strong="G2250"\w* \w the|strong="G2532"\w* \w sun|strong="G2246"\w* \w and|strong="G2532"\w* \w a|strong="G2532"\w* \w third|strong="G5154"\w* \w of|strong="G2250"\w* \w the|strong="G2532"\w* \w moon|strong="G4582"\w* \w and|strong="G2532"\w* \w a|strong="G2532"\w* \w third|strong="G5154"\w* \w of|strong="G2250"\w* \w the|strong="G2532"\w* \w stars|strong="H3556"\w* \w were|strong="G3588"\w* \w blasted|strong="H7710"\w*, \w so|strong="G2443"\w* \w that|strong="G2443"\w* \w a|strong="G2532"\w* \w third|strong="G5154"\w* \w of|strong="G2250"\w* \w them|strong="G3588"\w* \w was|strong="G3588"\w* eclipsed, \w and|strong="G2532"\w* \w for|strong="G2532"\w* \w a|strong="G2532"\w* \w third|strong="G5154"\w* \w part|strong="G5154"\w* \w of|strong="G2250"\w* \w the|strong="G2532"\w* \w day|strong="G2250"\w* \w there|strong="G2532"\w* \w was|strong="G3588"\w* \w no|strong="G3361"\w* \w light|strong="G5316"\w*, \w and|strong="G2532"\w* \w at|strong="G2250"\w* \w night|strong="G3571"\w* \w it|strong="G2532"\w* \w was|strong="G3588"\w* \w the|strong="G2532"\w* \w same|strong="G3668"\w*. 
\¬v
\¬p