Assertion list for term "updated after every transaction".
Results from Ascent++: 1
information (aspect of consumer) → ReceivesAction → updated after every transaction 0.25