Assertion: binary tree | /r/HasProperty | a tuple
Facets:
Source sentences:
text: A recursive definition using just set theory notions is that a (non-empty) binary tree is a tuple (L, S, R), where L and R are binary trees or the empty set and S is a singleton set.