For example, we could check that the assertion always held for all values in a table or for at least one value in the table.

• 例如,我们可以检查断言是否始终对表中的所有值保持有效或者至少对表中的一个值保持有效。