Assertion: petersen graph | /r/HasProperty | partitioned into a 1-factor red
Facets:
Source sentences:
text: Petersen graph can be partitioned into a 1-factor (red) and a 2-factor (blue).