Assertion: graph | /r/HasProperty | its quotient
Facets:
Source sentences:
text: A graph, its quotient where "bags" of vertices of the graph correspond to the children of the root of the modular decomposition tree, and its full modular decomposition tree: series nodes are labeled "s", parallel nodes "//" and prime nodes "p".