图6：期望的OR可溯性
所有重要的修改都不溯及既往。
牠们只有为了繁殖才会溯河而上。
我们溯河而上直到它的源头。
图5：期望的AND可溯性。
访问上海之后，我将溯长江而上。
事后的追认有溯及力，等同先前命令。
The ratification has a retroactive effect, the same as the previous command.
夜深了，皎洁的月光漫溯过我的侧脸。
他对蛇的惧怕溯自他孩童时的一次经历。
His fear of snakes traces back to an experience in his childhood.
该税务裁定具有溯及力。
溯游从之，宛在水中央。
溯回从之，道阻且长。
溯洄从之，道阻且长。
此法不溯及既往。
我记得，在一个月夜，我们怎样地泛舟溯河而上。
I remember how one moonlit evening we went up this river in a little boat.
我们溯黄河而上。
所以，溯因推理是创造性的过程，以新发现为目的。
So, the abductive process is creative and works towards new discovery.
这个问题是不溯及既往，但你的下一个保存后生效。
This fix is not retroactive but will take effect after your next save.
国际裁判法庭的管辖权是否具有溯及力，是个复杂的问题。
It is a complicated issue whether the jurisdiction of international tribunals has a retroactive effect.
国际裁判法庭的管辖权是否具有溯及力，是个复杂的问题。
It is a complicated issue whether the jurisdiction of international tribunals has a retroactive effect.
应用推荐