Assertion: tree's structure | /r/HasSubevent | the condition
Facets:
Source sentences:
text: The structure is subject to the condition that every non-empty subalgebra must have the same fixed point.