Assertion list for term "allocated to upper portion".

Results from Ascent++: 1
bit ReceivesActionallocated to upper portion 0.43