Assertion: doctrine | /r/HasProperty | the exhaustion rule
Facets:
Source sentences:
text: For this reason, this doctrine is also referred to as the "exhaustion rule".