具有较好的柔韧性和宽容度，它可以容纳经典谓词逻辑。
It can contain classic quantified modal logic and it is flexible and tolerated.
youdao
应用推荐
模块上移
模块下移
不移动