\c=1  
\p
\c#=1
\v=1
\v~=\w This|strong="H2088"\w* \w is|strong="H8010"\w* \add \+w King|strong="H4428"\+w*\add* \w Solomon’s|strong="H8010"\w* \w most|strong="H6944"\w* \w beautiful|strong="H3303"\w* \w song|strong="H7892"\w*. 
\¬v
\¬p