Assertion: metric space | /r/HasProperty | within distance
Facets:
Source sentences:
text: p j ) for each i and j, then there is a point q of the metric space that is within distance