Assertion list for term "changed at time".
Results from Ascent++: 2
variable → ReceivesAction → changed at time 0.37
bit → ReceivesAction → changed at time 0.36