yangxiao

Hello, everyone, I thought some ideas implemented by this nature paper is inspired from this [DD work](http://www.mmrc.iss.ac.cn/~xgao/paper/jar-gdbase.pdf). Such as the meaning of: `A:B might mean that if B then A.`...