Assertion list for term "retrieved before new value of natv2subscriberdiscontinuitytime".
Results from Ascent++: 1
value (aspect of limit) → ReceivesAction → retrieved before new value of natv2subscriberdiscontinuitytime 0.23