Assertion: set's rank | /r/HasProperty | different
Facets:
Source sentences:
text: If two sets are unioned and have the same rank, the resulting set's rank is one larger; otherwise, if two sets are unioned and have different ranks, the resulting set's rank is the larger of the two.