\v=8
\v~=They \w cast|strong="H5307"\w* \w lots|strong="H1486"\w* \w for|strong="H0995"\w* \w their|strong="H5307"\w* \w offices|strong="H4931"\w*, \w all|strong="H1419"\w* \w alike|strong="H5980"\w*, \w the|strong="H5973"\w* \w small|strong="H6996"\w* \w as|strong="H5980"\w* \w well|strong="H5980"\w* \w as|strong="H5980"\w* \w the|strong="H5973"\w* \w great|strong="H1419"\w*, \w the|strong="H5973"\w* \w teacher|strong="H0995"\w* \w as|strong="H5980"\w* \w well|strong="H5980"\w* \w as|strong="H5980"\w* \w the|strong="H5973"\w* student. 
\¬v
\¬p