Assertion: proportion | /r/HasProperty | two independent properties
Facets:
Source sentences:
text: Proportionality (PR) and envy-freeness (EF) are two independent properties, but in some cases one of them may imply the other.