Assertion: overshoot | /r/HasProperty | given
Facets:
Source sentences:
text: so the overshoot is given by