Assertion list for term "included in second nonvolatile memory".
Results from Ascent++: 1
block → ReceivesAction → included in second nonvolatile memory 0.30