准逻辑

这是一种上下文敏感的逻辑形式表示，可以处理跨语言的差异的问题。