Assertion: graph's vertex | /r/HasProperty | closed loop
Facets:
Source sentences:
text: Hamiltonian circuitA directed graph in which the path begins and ends on the same vertex (a closed loop)