אנגלית ⇄ סינית +

interval temporal logic
.תקשור	★ 区间时态逻辑