Assertion: proportional equality | /r/HasProperty | detailed
Facets:
Source sentences:
text: Proportional equality further specifies formal equality; it is the more precise and detailed, hence actually the more comprehensive formulation of formal equality.