Assertion: right triangle's angle | /r/HasProperty | rational angles of the form
Facets:
Source sentences:
text: This is because such angles have to be rational angles of the form