Each of these sublanguages is an extension of its simpler predecessor, both in what can be legally expressed and in what can be validly concluded.

• 在表达能力和推理能力上，每个子语言都是前面的语言的扩展。