复数：sequents
1.继续的;连续的;随着...而发生的 (on; upon; to)
2.继起的;继承的
3.结果的
1.接着发生的事;后果;结果
1.following as a consequence or result
2.following one after another
1.a consequence or result
2.in logic, a formal representation of an argument showing that an element is a theorem
sequentssequentssequents