there is something such that if it is non-higher it is not a handoff.
sent1: something does not undress Jonson if it is a kind of a Testudo.
$hypothesis$ = there is something such that if it is non-higher it is not a handoff. ; $context$ = sent1: something does not undress Jonson if it is a kind of a Testudo. ; $proof$ = 
__UNKNOWN__