Assertion: s expression | /r/CapableOf | represent binary tree
Facets:
Source sentences:
text: The second, recursive part of the definition represents an ordered pair, which means that S-expressions can represent any binary tree, though S-expressions which contain cycles cannot conversely be represented as binary trees.