Assertion list for term "based on respective values of the frames".

Results from Ascent++: 1
sequence ReceivesActionbased on respective values of the frames 0.25