More precisely, we will add a new kind of judgment, "t is a term" (or "t term") where t is schematic.
更精确地说，我们将增加新的一类判断 “t 是项”(或“t term”)，这是的 t 是模式性的。