Assertion: proportional equality | /r/CapableOf | specify formal equality
Facets:
value: further
type: MANNER
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.