Assertion list for term "addressed in envelope".

Results from Ascent++: 1
bit ReceivesActionaddressed in envelope 0.18