Assertion list for term "stored at a location of an array".
Results from Ascent++: 1
value (aspect of function) → ReceivesAction → stored at a location of an array 0.25