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