Assertion: node's sibling | /r/HasProperty | finite
Facets:
Source sentences:
text: Every node has only finitely many preceding siblings, i.e. every principal ideal of (X, ≤ S ) is finite.
text: Every node has only finitely many preceding siblings, i.e. every principal ideal of (X, ≤ S ) is finite.