Assertion: envelope's amount | /r/HasProperty | double
Facets:
Source sentences:
text: Of course, it is by definition correct to assign equal probabilities to the events that the other envelope contains double or half that amount in envelope A.