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

non-empty model
.אַסטר	非空虚模型
.טֶכנו	非空模型