Touch-life arc接触提升引弧
3)lifting lemma提升引理
1.The present paper represents the ordered factor of a ordered clause defined anew, and a proof of the lifting lemma under the new definition.本文重新定义了有序子句的有序因子,证明了在这种有序因子定义下的提升引理,进而在理论上得到了多重取因子的线性序归结方法的完备性。
4)suction lift吸引提升机
5)bail lift牵引环提升
6)bail raise/lockdown牵引环提升/锁定
延伸阅读
梅花引 中州乐府案此下中州乐府原有梅花引【诗文】：蒿火目。藜羹腹。书生宁有封侯骨。长须奴。下泽车。艰关险阻，谁教涉畏途。半生落漠长安道。一事无成双鬓老。南辕胡。北辕吴。功名富贵，情知不可图。槐安梦。鼓笛弄。驰骤百年尘一哄。陶渊明。张季鹰。一杯浊酒，焉知身後名。有溪可渔林可缴。须信在家贫也乐。熊门春。＊江云。几时作个，山间林下人。【注释】：【出处】：
