Assertion: metric space | /r/HasAspect | metric space's diameter
Facets:
Source sentences: