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

implicit universal quantification
.בינה	隐式全称量词化