\q1
\v=22
\v~=\w Then|strong="H0227"\w* \w the|strong="H0227"\w* \w horse|strong="H5483"\w* \w hoofs|strong="H6119"\w* stamped because \w of|strong="H6119"\w* \w the|strong="H0227"\w* prancing, 
\¬q1
\q2
\p~<<q2=\w the|strong="H0227"\w* prancing \w of|strong="H6119"\w* \w their|strong="H0227"\w* \w strong|strong="H0047"\w* \w ones|strong="H0047"\w*. 
\¬q2
\¬v