Assertion: functional graph | /r/HasProperty | special case of a pseudoforest
Facets:
Source sentences:
text: A functional graph is a special case of a pseudoforest in which every vertex has outdegree exactly 1.