Assertion: ideal triangle | /r/HasProperty | congruent
Facets:
value: to each other
type: TRANSITIVE-OBJECT
Source sentences:
text: All ideal triangles are congruent.
text: All ideal triangles are congruent to each other.