Assertion list for term "exposed to the outside".

Results from Ascent++: 2
surface ReceivesActionexposed to the outside 0.33
circuit ReceivesActionexposed to the outside 0.26