Assertion list for term "selected by the mask".

Results from Ascent++: 1
bit ReceivesActionselected by the mask 0.34