Assertion: trench's length | /r/HasProperty | ef
Facets:
Source sentences:
text: Average length = (top length EF + bottom length E'F')