Assertion: distinct node | /r/HasProperty | sibling
Facets:
Source sentences:
text: Distinct nodes are comparable in < S if and only if they are siblings: S ) ∪ (> S ) = (
text: The sibling order (≤ S ) is obtained by (< S ) = (< H ) ∩ ((≺ V ) ○ (≻ V )), i.e. two distinct nodes are in sibling order if and only if they are in horizontal order and are siblings.
text: Distinct nodes are comparable in < S if and only if they are siblings: S ) ∪ (> S ) = (
text: The sibling order (≤ S ) is obtained by (< S ) = (< H ) ∩ ((≺ V ) ○ (≻ V )), i.e. two distinct nodes are in sibling order if and only if they are in horizontal order and are siblings.