\v=30
\v~=\w Shimea|strong="H8092"\w* \w his|strong="H1121"\w* \w son|strong="H1121"\w*, \w Haggiah|strong="H2293"\w* \w his|strong="H1121"\w* \w son|strong="H1121"\w*, \w Asaiah|strong="H6222"\w* \w his|strong="H1121"\w* \w son|strong="H1121"\w*. 
\¬v
\¬p