Assertion: square's side | /r/HasProperty | equidistant
Facets:
Source sentences:
text: If a right triangle has two angles that equal 45° then the two sides are equidistant.