\v=9
\v~=\w for|strong="G1063"\w* \w a|strong="G2532"\w* \w great|strong="G3173"\w* \w opening|strong="H6310"\w* \w for|strong="G1063"\w* \w active|strong="G1756"\w* \w work|strong="H4399"\w* \w has|strong="G2532"\w* \w presented|strong="H7126"\w* \w itself|strong="H0905"\w*, \w and|strong="G2532"\w* \w there|strong="G2532"\w* \w are|strong="G2532"\w* \w many|strong="G4183"\w* \w opponents|strong="H3401"\w*. 
\¬v
\¬p