Assertion: graph's data | /r/CapableOf | meet invariant
Facets:
Source sentences:
text: Here we have a simple graph, but the data must meet some invariants ensuring no cycles.