\v=15
\v~=\w That|strong="H0834"\w* \w which|strong="H0834"\w* \w is|strong="H0834"\w* \w has|strong="H0430"\w* \w been|strong="H1961"\w* \w long|strong="H4100"\w* ago, \w and|strong="H0430"\w* \w that|strong="H0834"\w* \w which|strong="H0834"\w* \w is|strong="H0834"\w* \w to|strong="H1961"\w* \w be|strong="H1961"\w* \w has|strong="H0430"\w* \w been|strong="H1961"\w* \w long|strong="H4100"\w* ago. \w God|strong="H0430"\w* \w seeks|strong="H1245"\w* \w again|strong="H1961"\w* \w that|strong="H0834"\w* \w which|strong="H0834"\w* \w is|strong="H0834"\w* \w passed|strong="H1961"\w* away. 
\¬v
\¬p