Assertion: envelope's size | /r/HasProperty | defined
Facets:
Source sentences:
text: C envelopes sizes are defined as