\v=9
\v~=\w for|strong="G1063"\w* \w a|strong="G2532"\w* \w great|strong="G3173"\w* \w door|strong="G2374"\w* \w and|strong="G2532"\w* \w effectual|strong="G1756"\w* \w is|strong="G2532"\w* \w opened|strong="H6605"\w* \w unto|strong="G2532"\w* \w me|strong="G1473"\w*, \w and|strong="G2532"\w* \w there|strong="G2532"\w* \w are|strong="G2532"\w* \w many|strong="G4183"\w* \w adversaries|strong="H6862"\w*. 
\¬v
\¬p