Assertion: graph's set | /r/HasProperty | decomposed into cycle
Facets:
Source sentences:
text: if and only if all vertices of $G$ are of even degree, and a connected graph $G$ is Eulerian if and only if its edge set can be decomposed into cycles.