Assertion: graph's g | /r/HasProperty | double cover of g.
Facets:
Source sentences:
text: For any graph G, it is possible to construct the bipartite double cover of G, which is a bipartite graph and a double cover of G.