Assertion: set | /r/HasAspect | different ranks
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.