Assertion list for term "determined to be readable frame".

Results from Ascent++: 1
port ReceivesActiondetermined to be readable frame 0.27