Assertion: proximity | /r/HasProperty | called
Facets:
Source sentences:
text: Proximity without the first axiom is called quasi-proximity (but then Axioms 2 and 4 must be stated in a two-sided fashion).