Assertion: graph's vertex | /r/HasAspect | distinct representations
Facets:
Source sentences:
text: The set W is a resolving set (or locating set) for G if every two vertices of G have distinct representations.