The new dishes are being designed and constructed in China - based on this prototype model completed in 2018.
中国正在设计和建造新的盘子——基于这个 2018 年完成的原型模型。
英语百科
Model complete theory
（重定向自Model complete）
In model theory, a first-order theory is called model complete if every embedding of models is an elementary embedding.
Equivalently, every first-order formula is equivalent to a universal formula.
This notion was introduced by Abraham Robinson.