Assertion: graph's node | /r/HasProperty | connected to seven leaves
Facets:
Source sentences:
text: An example of a graph that is not a unit disk graph is the star K 1,7 with one central node connected to seven leaves: if each of seven unit disks touches a common unit disk, some two of the seven disks must touch each other (as the kissing number in the plane is 6).