first-order left substitutability一: one阶: steps; stairs左: the left side; the left置换: displace; substitute; supers ...性: nature; character; dispositi ...下载手机词典可随时随地查词查翻译