Assertion list for term "updated after an update statement".
Results from Ascent++: 1
row (aspect of table) → ReceivesAction → updated after an update statement 0.27