Assertion: distinct node | /r/AtLocation | sibling order
Facets:
value: if
type: DEGREE
Source sentences:
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: 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.