Assertion: envelope's amount | /r/HasProperty | locked envelope
Facets:
Source sentences:
text: The so-called "paradox" presents two already appointed and already locked envelopes, where one envelope is already locked with twice the amount of the other already locked envelope.