Assertion: graph's edge | /r/HasProperty | partitioned into k forests
Facets:
value: by choosing one forest
type: MANNER
Source sentences:
text: k, then its edges may be partitioned into k forests by choosing one forest for each outgoing edge of each node.