Assertion list
main memory (subgroup of memory ) → AtLocation

Results from Ascent++: 1
main memoryAtLocation the group of addresses 0.25