Assertion: tree algebra | /r/HasProperty | embedded in an interval algebra
Facets:
Source sentences:
text: Every tree algebra can be embedded in an interval algebra.