Assertion: graph's orientation | /r/HasProperty | given
Facets:
Source sentences:
text: In the other direction, if an orientation with outdegree k is given, an ordering with coloring number