Assertion: set | /r/HasAspect | same rank
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.