For Simpson, though, seeing her hot tower hypothesis verified over the next two decades was surely a kind of poetic justice as well.
然而，对于辛普森来讲，由于她的热塔理论在随后的二十多年中被验证，肯定是一种应得的奖赏。
2
This stage produces information about the records by composing the output table of the rule, as well as detailed information about which rule was not verified by each record.
这一阶段通过组合规则的数据表，以及关于哪些规则没有被每个记录评估的细节信息，来生成关于记录的信息。
3
It also enables the requirements themselves to be verified as well as the system being verified against them.