After pushing down the predicate, the statement looks similar to Figure 9.

下推谓词之后，语句看上去如图9所示。