\v=53
\v~=\w Zadok|strong="H6659"\w* \w his|strong="H3605"\w* \w son|strong="H1121"\w*, \w Ahimaaz|strong="H0290"\w* \w his|strong="H3605"\w* \w son|strong="H1121"\w*. 
\¬v
\¬p