\v=10
\v~=named \w by|strong="G5259"\w* \w God|strong="G2316"\w* \w a|strong="G5259"\w* \w high|strong="G0749"\w* \w priest|strong="G0749"\w* \w after|strong="G2596"\w* \w the|strong="G3588"\w* \w order|strong="G5010"\w* \w of|strong="G2316"\w* \w Melchizedek|strong="G3198"\w*. 
\¬v
\¬p