\q1
\v=8
\v~=\w Grant|strong="H5414"\w* \w that|strong="H3117"\w* \w his|strong="H3947"\w* \w days|strong="H3117"\w* \w may|strong="H1961"\w* \w be|strong="H1961"\w* \w few|strong="H4592"\w*, 
\¬q1
\q2
\p~<<q2=\w that|strong="H3117"\w* \w his|strong="H3947"\w* \w office|strong="H6486"\w* \w be|strong="H1961"\w* \w seized|strong="H3947"\w* \w by|strong="H3117"\w* \w another|strong="H0312"\w*. 
\¬q2
\¬v