\p
\v=32
\v~=\w And|strong="G1161"\w* \w as|strong="G1161"\w* \w they|strong="G1161"\w* \w came|strong="G1831"\w* \w out|strong="G1831"\w*, \w they|strong="G1161"\w* \w found|strong="G2147"\w* \w a|strong="G2147"\w* \w man|strong="G3778"\w* \w of|strong="G3686"\w* \w Cyrene|strong="G2956"\w*, \w Simon|strong="G4613"\w* \w by|strong="G3686"\w* \w name|strong="G3686"\w*: \w him|strong="G3588"\w* \w they|strong="G1161"\w* \w compelled|strong="H5080"\w* \w to|strong="G2443"\w* \w go|strong="G1831"\w* \add \+w with|strong="G3588"\+w* \+w them|strong="G3588"\+w*\add*, \w that|strong="G2443"\w* \w he|strong="G1161"\w* \w might|strong="G3778"\w* \w bear|strong="G2443"\w* \w his|strong="G3588"\w* \w cross|strong="G4716"\w*. 
\¬v
\¬p