Assertion: set's rank | /r/HasProperty | − |p|
Facets:
Source sentences:
text: The rank of P is |X| − |P|, if X is finite.