Assertion list for term "calculated for given node instance".
Results from Ascent++: 1
correction → ReceivesAction → calculated for given node instance 0.27