Assertion: graph's vertex | /r/HasProperty | labeled with n-bit binary numbers
Facets:
Source sentences:
text: Equivalently, it may be constructed using 2n vertices labeled with n-bit binary numbers and connecting two vertices by an edge whenever the Hamming distance of their labels is one.