Assertion: tree | /r/HasProperty | rooted
Facets:
Source sentences:
text: Some authors use rooted binary tree instead of binary tree to emphasize the fact that the tree is rooted, but as defined above, a binary tree is always rooted.