Assertion: right triangle's length | /r/HasProperty | given for angle a opposite side
Facets:
Source sentences:
text: For angle A opposite side a, the length of the internal angle bisector is given by