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

universally quantified variable
.טכנול	全称量词化变元