Assertion list for term "encoded as a phase change".

Results from Ascent++: 1
bit ReceivesActionencoded as a phase change 0.41