Assertion: right triangle's side | /r/HasProperty | needed
Facets:
Source sentences:
text: Now, only side [latex]a[/latex] is needed.