אנגלית ⇄ סינית +

rule of existential generalization
.טֶכנו	存在推广规则