Assertion: graph's node | /r/HasProperty | a set of vertices of g
Facets:
Source sentences:
text: Each node X {\displaystyle X} is a set of vertices of G {\displaystyle G} and, if X {\displaystyle X} is an internal node, the set P {\displaystyle P} of children of X {\displaystyle X} is a partition of X {\displaystyle X} where each partition class is a module.