Assertion list
main memory (subgroup of memory ) → IsA
Results from Ascent++: 4
main memory → IsA → dynamic random access memory 0.63
main memory → IsA → main eprom memory 0.30
main memory → IsA → a random-access semiconductor m… 0.25
main memory → IsA → primary general purpose storage… 0.25