Assertion: graph's vertex | /r/HasProperty | r vertices of degrees
Facets:
Source sentences:
text: Note that K r,s has r+s vertices (r vertices of degrees, and s vertices of degree r), and rs edges.