Assertion: distance | /r/HasProperty | definitional choice
Facets:
Source sentences:
text: But distance on a given set is a definitional choice.