Assertion list for term "correspond to failed memory instance".
Results from Ascent++: 1
address → CapableOf → correspond to failed memory instance 0.28