Assertion list for term "different memories".

Results from Ascent++: 1
sibling HasAdifferent memories 0.25