The outstanding mathematician Chen Jingrun studied Goldbach's conjecture day and night for decades. Yao Xueyin, a famous writer, gets up at 3 am every morning, writes hard, reads books in the afternoon, studies historical materials, and works more than ten hours a day. Young woman Zhang Wenshu, who spends all her spare time on self-study of Chinese medicine, traditional Chinese medicine and dermatology, has become an expert in the treatment of skin diseases.

Question: Which of the following options most directly supports this view?

Choices:
- Chen Jingrun, Yao Xueyin and Zhang Wenshu study in different fields
- Chen Jingrun, Yao Xueyin and Zhang Wenshu have different research methods
- All successful people rely on their own hard work and concentrate on their own research
- Chen Jingrun, Yao Xueyin and Zhang Wenshu have different work habit

(z0 / multi-sentence
    :snt1 (z1 / study-01
              :ARG0 (z2 / person
                        :wiki "Chen_Jingrun"
                        :name (z3 / name
                                  :op1 "Chen"
                                  :op2 "Jingrun")
                        :mod (z4 / mathematics)
                        :mod (z5 / outstanding))
              :ARG1 (z6 / conjecture-01
                        :ARG0 (z7 / person
                                  :wiki "F._W._Goldbach"
                                  :name (z8 / name
                                            :op1 "Goldbach")))
              :duration (z9 / multiple
                            :op1 (z10 / temporal-quantity
                                      :quant 1
                                      :unit (z11 / decade)))
              :time (z12 / and
                         :op1 (z13 / day)
                         :op2 (z14 / night)))
    :snt2 (z15 / and
               :op1 (z16 / get-up-26
                         :ARG0 (z17 / person
                                    :wiki "Yao_Xueyin"
                                    :name (z18 / name
                                               :op1 "Yao"
                                               :op2 "Xueyin")
                                    :ARG1-of (z19 / fame-01
                                                  :ARG2 (z20 / write-01)))
                         :time (z21 / date-entity
                                    :time "3:00"
                                    :dayperiod (z22 / morning)
                                    :frequency (z23 / rate-entity-91
                                                    :ARG4 (z24 / date-entity
                                                               :dayperiod (z25 / morning)))))
               :op2 (z26 / write-01
                         :ARG0 z17
                         :ARG1-of (z27 / hard-02))
               :op3 (z28 / read-01
                         :ARG0 z17
                         :ARG1 (z29 / book)
                         :time (z30 / date-entity
                                    :dayperiod (z31 / afternoon)))
               :op4 (z32 / study-01
                         :ARG0 z17
                         :ARG1 (z33 / material
                                    :mod (z34 / history)))
               :op5 (z35 / work-01
                         :ARG0 z17
                         :duration (z36 / rate-entity-91
                                        :ARG1 (z37 / more-than
                                                   :op1 (z38 / temporal-quantity
                                                             :quant 10
                                                             :unit (z39 / hour)))
                                        :ARG2 (z40 / temporal-quantity
                                                   :quant 1
                                                   :unit (z41 / day)))))
    :snt3 (z42 / become-01
               :ARG1 (z43 / woman
                          :wiki -
                          :name (z44 / name
                                     :op1 "Zhang"
                                     :op2 "Wenshu")
                          :mod (z45 / young)
                          :ARG0-of (z46 / spend-02
                                        :ARG1 (z47 / time
                                                   :mod (z48 / spare)
                                                   :mod (z49 / all)
                                                   :poss z43)
                                        :ARG2 (z50 / study-01
                                                   :ARG0 z43
                                                   :ARG1 (z51 / and
                                                              :op1 (z52 / medicine
                                                                        :mod (z53 / country
                                                                                :wiki "China"
                                                                                :name (z54 / name
                                                                                :op1 "China")))
                                                              :op2 (z55 / medicine
                                                                        :mod (z56 / traditional)
                                                                        :mod z53)
                                                              :op3 (z57 / dermatology)))))
               :ARG2 (z58 / expert-01
                          :ARG1 z43
                          :ARG2 (z59 / treat-03
                                     :ARG1 (z60 / disease
                                                :mod (z61 / skin)))))
    :snt4 (z62 / become-01
               :ARG1 (z63 / person
                          :wiki -
                          :name (z64 / name
                                     :op1 "Zhang"
                                     :op2 "Wenshu")
                          :mod (z65 / young)
                          :ARG0-of (z66 / spend-02
                                        :ARG1 (z67 / time
                                                   :mod (z68 / spare)
                                                   :mod (z69 / all)
                                                   :poss z63)
                                        :ARG2 (z70 / study-01
                                                   :ARG0 z63
                                                   :ARG1 (z71 / and
                                                              :op1 (z72 / medicine
                                                                        :mod z53)
                                                              :op2 (z73 / medicine
                                                                        :mod (z74 / traditional)
                                                                        :mod z53)
                                                              :op3 (z75 / dermatology)))))
               :ARG2 (z76 / expert-01
                          :ARG1 z63
                          :ARG2 (z77 / treat-03
                                     :ARG1 (z78 / skin))))
    :snt5 (z79 / and
               :op1 (z80 / get-up-26
                         :ARG0 (z81 / person
                                    :wiki "Yao_Xueyin"
                                    :name (z82 / name
                                               :op1 "Yao"
                                               :op2 "Xueyin")
                                    :ARG1-of (z83 / fame-01
                                                  :ARG2 (z84 / write-01)))
                         :time (z85 / date-entity
                                    :dayperiod (z86 / morning)
                                    :frequency (z87 / rate-entity-91
                                                    :ARG1 3
                                                    :time (z88 / date-entity
                                                               :dayperiod (z89 / morning)))))
               :op2 (z90 / read-01
                         :ARG0 z81
                         :ARG1 (z91 / book)
                         :time (z92 / date-entity
                                    :dayperiod (z93 / afternoon)))
               :op3 (z94 / work-01
                         :ARG0 z81
                         :duration (z95 / more-than
                                        :op1 (z96 / temporal-quantity
                                                  :quant 1
                                                  :unit (z97 / hour))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ study-01(z1) ∧ :ARG0(z1, z2) ∧ person(z2) ∧ :wiki(z2, "Chen_Jingrun") ∧ :name(z2, z3) ∧ name(z3) ∧ :op1(z3, "Chen") ∧ :op2(z3, "Jingrun") ∧ :mod(z2, z4) ∧ mathematics(z4) ∧ :mod(z2, z5) ∧ outstanding(z5) ∧ :ARG1(z1, z6) ∧ conjecture-01(z6) ∧ :ARG0(z6, z7) ∧ person(z7) ∧ :wiki(z7, "F._W._Goldbach") ∧ :name(z7, z8) ∧ name(z8) ∧ :op1(z8, "Goldbach") ∧ :duration(z1, z9) ∧ multiple(z9) ∧ :op1(z9, z10) ∧ temporal-quantity(z10) ∧ :quant(z10, 1) ∧ :unit(z10, z11) ∧ decade(z11) ∧ :time(z1, z12) ∧ and(z12) ∧ :op1(z12, z13) ∧ day(z13) ∧ :op2(z12, z14) ∧ night(z14) ∧ :snt2(z0, z15) ∧ and(z15) ∧ :op1(z15, z16) ∧ get-up-26(z16) ∧ :ARG0(z16, z17) ∧ person(z17) ∧ :wiki(z17, "Yao_Xueyin") ∧ :name(z17, z18) ∧ name(z18) ∧ :op1(z18, "Yao") ∧ :op2(z18, "Xueyin") ∧ :ARG1(z19, z17) ∧ fame-01(z19) ∧ :ARG2(z19, z20) ∧ write-01(z20) ∧ :time(z16, z21) ∧ date-entity(z21) ∧ :time(z21, "3:00") ∧ :dayperiod(z21, z22) ∧ morning(z22) ∧ :frequency(z21, z23) ∧ rate-entity-91(z23) ∧ :ARG4(z23, z24) ∧ date-entity(z24) ∧ :dayperiod(z24, z25) ∧ morning(z25) ∧ :op2(z15, z26) ∧ write-01(z26) ∧ :ARG0(z26, z17) ∧ :ARG1(z27, z26) ∧ hard-02(z27) ∧ :op3(z15, z28) ∧ read-01(z28) ∧ :ARG0(z28, z17) ∧ :ARG1(z28, z29) ∧ book(z29) ∧ :time(z28, z30) ∧ date-entity(z30) ∧ :dayperiod(z30, z31) ∧ afternoon(z31) ∧ :op4(z15, z32) ∧ study-01(z32) ∧ :ARG0(z32, z17) ∧ :ARG1(z32, z33) ∧ material(z33) ∧ :mod(z33, z34) ∧ history(z34) ∧ :op5(z15, z35) ∧ work-01(z35) ∧ :ARG0(z35, z17) ∧ :duration(z35, z36) ∧ rate-entity-91(z36) ∧ :ARG1(z36, z37) ∧ more-than(z37) ∧ :op1(z37, z38) ∧ temporal-quantity(z38) ∧ :quant(z38, 10) ∧ :unit(z38, z39) ∧ hour(z39) ∧ :ARG2(z36, z40) ∧ temporal-quantity(z40) ∧ :quant(z40, 1) ∧ :unit(z40, z41) ∧ day(z41) ∧ :snt3(z0, z42) ∧ become-01(z42) ∧ :ARG1(z42, z43) ∧ woman(z43) ∧ :wiki(z43, -) ∧ :name(z43, z44) ∧ name(z44) ∧ :op1(z44, "Zhang") ∧ :op2(z44, "Wenshu") ∧ :mod(z43, z45) ∧ young(z45) ∧ :ARG0(z46, z43) ∧ spend-02(z46) ∧ :ARG1(z46, z47) ∧ time(z47) ∧ :mod(z47, z48) ∧ spare(z48) ∧ :mod(z47, z49) ∧ all(z49) ∧ :poss(z47, z43) ∧ :ARG2(z46, z50) ∧ study-01(z50) ∧ :ARG0(z50, z43) ∧ :ARG1(z50, z51) ∧ and(z51) ∧ :op1(z51, z52) ∧ medicine(z52) ∧ :mod(z52, z53) ∧ country(z53) ∧ :wiki(z53, "China") ∧ :name(z53, z54) ∧ name(z54) ∧ :op1(z54, "China") ∧ :op2(z51, z55) ∧ medicine(z55) ∧ :mod(z55, z56) ∧ traditional(z56) ∧ :mod(z55, z53) ∧ :op3(z51, z57) ∧ dermatology(z57) ∧ :ARG2(z42, z58) ∧ expert-01(z58) ∧ :ARG1(z58, z43) ∧ :ARG2(z58, z59) ∧ treat-03(z59) ∧ :ARG1(z59, z60) ∧ disease(z60) ∧ :mod(z60, z61) ∧ skin(z61) ∧ :snt4(z0, z62) ∧ become-01(z62) ∧ :ARG1(z62, z63) ∧ person(z63) ∧ :wiki(z63, -) ∧ :name(z63, z64) ∧ name(z64) ∧ :op1(z64, "Zhang") ∧ :op2(z64, "Wenshu") ∧ :mod(z63, z65) ∧ young(z65) ∧ :ARG0(z66, z63) ∧ spend-02(z66) ∧ :ARG1(z66, z67) ∧ time(z67) ∧ :mod(z67, z68) ∧ spare(z68) ∧ :mod(z67, z69) ∧ all(z69) ∧ :poss(z67, z63) ∧ :ARG2(z66, z70) ∧ study-01(z70) ∧ :ARG0(z70, z63) ∧ :ARG1(z70, z71) ∧ and(z71) ∧ :op1(z71, z72) ∧ medicine(z72) ∧ :mod(z72, z53) ∧ :op2(z71, z73) ∧ medicine(z73) ∧ :mod(z73, z74) ∧ traditional(z74) ∧ :mod(z73, z53) ∧ :op3(z71, z75) ∧ dermatology(z75) ∧ :ARG2(z62, z76) ∧ expert-01(z76) ∧ :ARG1(z76, z63) ∧ :ARG2(z76, z77) ∧ treat-03(z77) ∧ :ARG1(z77, z78) ∧ skin(z78) ∧ :snt5(z0, z79) ∧ and(z79) ∧ :op1(z79, z80) ∧ get-up-26(z80) ∧ :ARG0(z80, z81) ∧ person(z81) ∧ :wiki(z81, "Yao_Xueyin") ∧ :name(z81, z82) ∧ name(z82) ∧ :op1(z82, "Yao") ∧ :op2(z82, "Xueyin") ∧ :ARG1(z83, z81) ∧ fame-01(z83) ∧ :ARG2(z83, z84) ∧ write-01(z84) ∧ :time(z80, z85) ∧ date-entity(z85) ∧ :dayperiod(z85, z86) ∧ morning(z86) ∧ :frequency(z85, z87) ∧ rate-entity-91(z87) ∧ :ARG1(z87, 3) ∧ :time(z87, z88) ∧ date-entity(z88) ∧ :dayperiod(z88, z89) ∧ morning(z89) ∧ :op2(z79, z90) ∧ read-01(z90) ∧ :ARG0(z90, z81) ∧ :ARG1(z90, z91) ∧ book(z91) ∧ :time(z90, z92) ∧ date-entity(z92) ∧ :dayperiod(z92, z93) ∧ afternoon(z93) ∧ :op3(z79, z94) ∧ work-01(z94) ∧ :ARG0(z94, z81) ∧ :duration(z94, z95) ∧ more-than(z95) ∧ :op1(z95, z96) ∧ temporal-quantity(z96) ∧ :quant(z96, 1) ∧ :unit(z96, z97) ∧ hour(z97)


Cyclamen is a famous ornamental flower, which is difficult to grow in hot climate. It is difficult to grow rice in dry areas. In most parts of a country, cyclamen is easy to grow, or it is easy to grow rice.

Question: If the above statement is true, which of the following statements must be false?

Choices:
- Half of the country is dry and hot
- The climate in most parts of the country is cold
- Some parts of the country are neither hot nor dry
- It is impossible to grow cyclamen in this country

(z0 / multi-sentence
    :snt1 (z1 / flower
              :ARG1-of (z2 / fame-01
                           :ARG2 (z3 / ornamental))
              :domain (z4 / cyclamen)
              :ARG1-of (z5 / grow-03
                           :ARG1-of (z6 / hard-02)
                           :condition (z7 / climate
                                          :ARG1-of (z8 / hot-05))))
    :snt2 (z9 / difficult
              :domain (z10 / grow-03
                           :ARG1 (z11 / rice)
                           :location (z12 / area
                                          :ARG1-of (z13 / dry-08))))
    :snt3 (z14 / or
               :op1 (z15 / easy-05
                         :ARG1 (z16 / grow-03
                                    :ARG1 (z17 / cyclamen)))
               :op2 (z18 / easy-05
                         :ARG1 (z19 / grow-03
                                    :ARG1 (z20 / rice)))
               :location (z21 / part
                              :part-of (z22 / country)
                              :quant (z23 / most)))
    :snt4 (z24 / easy-05
               :ARG1 (z25 / spring-01
                          :ARG1 (z26 / cyclamen)
                          :direction (z27 / out)))
    :snt5 (z28 / difficult
               :domain (z29 / grow-03
                            :ARG1 (z30 / rice)
                            :location (z31 / area
                                           :ARG1-of (z32 / dry-08)))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ flower(z1) ∧ :ARG1(z2, z1) ∧ fame-01(z2) ∧ :ARG2(z2, z3) ∧ ornamental(z3) ∧ :domain(z1, z4) ∧ cyclamen(z4) ∧ :ARG1(z5, z1) ∧ :condition(z5, z7) ∧ climate(z7) ∧ :ARG1(z8, z7) ∧ hot-05(z8) ∧ grow-03(z5) ∧ :ARG1(z6, z5) ∧ hard-02(z6) ∧ :snt2(z0, z9) ∧ difficult(z9) ∧ :domain(z9, z10) ∧ grow-03(z10) ∧ :ARG1(z10, z11) ∧ rice(z11) ∧ :location(z10, z12) ∧ area(z12) ∧ :ARG1(z13, z12) ∧ dry-08(z13) ∧ :snt3(z0, z14) ∧ or(z14) ∧ :op1(z14, z15) ∧ easy-05(z15) ∧ :ARG1(z15, z16) ∧ grow-03(z16) ∧ :ARG1(z16, z17) ∧ cyclamen(z17) ∧ :op2(z14, z18) ∧ easy-05(z18) ∧ :ARG1(z18, z19) ∧ grow-03(z19) ∧ :ARG1(z19, z20) ∧ rice(z20) ∧ :location(z14, z21) ∧ part(z21) ∧ :part(z22, z21) ∧ country(z22) ∧ :quant(z21, z23) ∧ most(z23) ∧ :snt4(z0, z24) ∧ easy-05(z24) ∧ :ARG1(z24, z25) ∧ spring-01(z25) ∧ :ARG1(z25, z26) ∧ cyclamen(z26) ∧ :direction(z25, z27) ∧ out(z27) ∧ :snt5(z0, z28) ∧ difficult(z28) ∧ :domain(z28, z29) ∧ grow-03(z29) ∧ :ARG1(z29, z30) ∧ rice(z30) ∧ :location(z29, z31) ∧ area(z31) ∧ :ARG1(z32, z31) ∧ dry-08(z32)


People buy prestige when they buy a premium product. They want to be associated with something special. Mass-marketing techniques and price-reduction strategies should not be used because__.

Question: Which of the following best completes the passage below?

Choices:
- purchasers of premium products are concerned with the quality as well as with the price of the products
- continued sales depend directly on the maintenance of an aura of exclusivity
- affluent purchasers currently represent a shrinking portion of the population of all purchasers
- manufacturing a premium brand is not necessarily more costly than manufacturing a standard brand of the same product

(z0 / multi-sentence
    :snt1 (z1 / buy-01
              :ARG0 (z2 / person)
              :ARG1 (z3 / prestige)
              :time (z4 / buy-01
                        :ARG0 z2
                        :ARG1 (z5 / product
                                  :mod (z6 / premium))))
    :snt2 (z7 / cause-01
              :ARG0 (z8 / want-01
                        :ARG0 (z9 / they)
                        :ARG1 (z10 / associate-01
                                   :ARG1 z9
                                   :ARG2 (z11 / something
                                              :ARG1-of (z12 / special-02))))
              :ARG1 (z13 / recommend-01
                         :polarity -
                         :ARG1 (z14 / use-01
                                    :ARG1 (z15 / and
                                               :op1 (z16 / technique
                                                         :mod (z17 / market-01
                                                                   :mod (z18 / mass)))
                                               :op2 (z19 / strategy
                                                         :mod (z20 / reduce-01
                                                                   :ARG1 (z21 / price-01)))))))
    :snt3 (z22 / cause-01
               :ARG0 (z23 / amr-unknown))
    :snt4 (z24 / buy-01
               :ARG0 (z25 / person)
               :ARG1 (z26 / prestige)
               :time (z27 / buy-01
                          :ARG0 z25
                          :ARG1 (z28 / product
                                     :mod (z29 / premium))))
    :snt5 (z30 / cause-01
               :ARG0 (z31 / amr-unknown)
               :ARG1 (z32 / recommend-01
                          :polarity -
                          :ARG1 (z33 / use-01
                                     :ARG1 (z34 / and
                                                :op1 (z35 / technique
                                                          :mod (z36 / market-01
                                                                    :mod (z37 / mass)))
                                                :op2 (z38 / strategy
                                                          :mod (z39 / reduce-01
                                                                    :ARG1 (z40 / price-01))))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ buy-01(z1) ∧ :ARG0(z1, z2) ∧ person(z2) ∧ :ARG1(z1, z3) ∧ prestige(z3) ∧ :time(z1, z4) ∧ buy-01(z4) ∧ :ARG0(z4, z2) ∧ :ARG1(z4, z5) ∧ product(z5) ∧ :mod(z5, z6) ∧ premium(z6) ∧ :snt2(z0, z7) ∧ cause-01(z7) ∧ :ARG0(z7, z8) ∧ want-01(z8) ∧ :ARG0(z8, z9) ∧ they(z9) ∧ :ARG1(z8, z10) ∧ associate-01(z10) ∧ :ARG1(z10, z9) ∧ :ARG2(z10, z11) ∧ something(z11) ∧ :ARG1(z12, z11) ∧ special-02(z12) ∧ ¬(:ARG1(z7, z13) ∧ recommend-01(z13) ∧ :ARG1(z13, z14) ∧ use-01(z14) ∧ :ARG1(z14, z15) ∧ and(z15) ∧ :op1(z15, z16) ∧ technique(z16) ∧ :mod(z16, z17) ∧ market-01(z17) ∧ :mod(z17, z18) ∧ mass(z18) ∧ :op2(z15, z19) ∧ strategy(z19) ∧ :mod(z19, z20) ∧ reduce-01(z20) ∧ :ARG1(z20, z21) ∧ price-01(z21)) ∧ :snt3(z0, z22) ∧ cause-01(z22) ∧ :ARG0(z22, z23) ∧ amr-unknown(z23) ∧ :snt4(z0, z24) ∧ buy-01(z24) ∧ :ARG0(z24, z25) ∧ person(z25) ∧ :ARG1(z24, z26) ∧ prestige(z26) ∧ :time(z24, z27) ∧ buy-01(z27) ∧ :ARG0(z27, z25) ∧ :ARG1(z27, z28) ∧ product(z28) ∧ :mod(z28, z29) ∧ premium(z29) ∧ :snt5(z0, z30) ∧ cause-01(z30) ∧ :ARG0(z30, z31) ∧ amr-unknown(z31) ∧ ¬(:ARG1(z30, z32) ∧ recommend-01(z32) ∧ :ARG1(z32, z33) ∧ use-01(z33) ∧ :ARG1(z33, z34) ∧ and(z34) ∧ :op1(z34, z35) ∧ technique(z35) ∧ :mod(z35, z36) ∧ market-01(z36) ∧ :mod(z36, z37) ∧ mass(z37) ∧ :op2(z34, z38) ∧ strategy(z38) ∧ :mod(z38, z39) ∧ reduce-01(z39) ∧ :ARG1(z39, z40) ∧ price-01(z40))


All international students from Australia live in the east side international student apartment. All students living in the east side international student apartment must participate in this year's international exchange meeting. Some overseas students from Australia have joined the Chinese Club. Some students majoring in civil engineering have also joined the Chinese Club. All civil engineering students did not attend this year's international exchange meeting.

Question: Which of the following conclusions cannot be deduced from the above information?

Choices:
- All Australian students attended this year's international exchange conference.
- None of the students majoring in civil engineering live in the international student apartment on the east side.
- Some Australian students majored in civil engineering.
- Some Chinese club members did not attend this year's international exchange meeting.

(z0 / multi-sentence
    :snt1 (z1 / live-01
              :ARG0 (z2 / person
                        :ARG0-of (z3 / study-01)
                        :mod (z4 / international)
                        :mod (z5 / country
                                 :wiki "Australia"
                                 :name (z6 / name
                                           :op1 "Australia"))
                        :mod (z7 / all))
              :location (z8 / apartment
                            :mod (z9 / person
                                     :ARG0-of (z10 / study-01)
                                     :mod z4)
                            :location (z11 / side
                                           :mod (z12 / east))))
    :snt2 (z13 / obligate-01
               :ARG1 (z14 / person
                          :ARG0-of (z15 / study-01)
                          :mod (z16 / international)
                          :mod (z17 / all)
                          :ARG0-of (z18 / live-01
                                        :location (z19 / apartment
                                                       :mod (z20 / person
                                                                 :ARG0-of (z21 / study-01)
                                                                 :mod z4)
                                                       :location z11)))
               :ARG2 (z22 / participate-01
                          :ARG0 z14
                          :ARG1 (z23 / meet-03
                                     :mod (z24 / exchange-01
                                               :mod (z25 / international))
                                     :time (z26 / year
                                                :mod (z27 / this)))))
    :snt3 (z28 / join-01
               :ARG0 (z29 / person
                          :ARG0-of (z30 / study-01)
                          :location (z31 / overseas)
                          :quant (z32 / some)
                          :source (z33 / country
                                       :wiki "Australia"
                                       :name (z34 / name
                                                  :op1 "Australia")))
               :ARG1 (z35 / organization
                          :wiki "Chinese_Club_of_China"
                          :name (z36 / name
                                     :op1 "Chinese"
                                     :op2 "Club"))
               :mod (z37 / also))
    :snt4 (z38 / attend-01
               :polarity -
               :ARG0 (z39 / person
                          :ARG0-of (z40 / study-01
                                        :ARG1 (z41 / engineer-01
                                                   :ARG1 (z42 / civil)))
                          :mod (z43 / all))
               :ARG1 (z44 / meet-03
                          :mod (z45 / exchange-01
                                    :mod (z46 / international))
                          :time (z47 / year
                                     :mod (z48 / this))))
    :snt5 (z49 / join-01
               :ARG0 (z50 / person
                          :ARG0-of (z51 / study-01
                                        :ARG1 (z52 / civil))
                          :quant (z53 / some)
                          :ARG1-of (z54 / major-02))
               :ARG1 (z55 / organization
                          :wiki "Chinese_Club_of_China"
                          :name (z56 / name
                                     :op1 "Chinese"
                                     :op2 "Club"))
               :mod (z57 / also))
    :snt6 (z58 / attend-01
               :polarity -
               :ARG0 (z59 / person
                          :ARG0-of (z60 / study-01
                                        :ARG1 (z61 / engineering
                                                   :mod (z62 / civil)))
                          :mod (z63 / all))
               :ARG1 (z64 / meet-03
                          :mod (z65 / exchange-01
                                    :mod (z66 / international))
                          :time (z67 / year
                                     :mod (z68 / this))))
    :snt7 (z69 / join-in-05
               :ARG0 (z70 / person
                          :ARG0-of (z71 / study-01)
                          :mod (z72 / overseas)
                          :quant (z73 / some))
               :ARG1 (z74 / organization
                          :wiki "Chinese_Students'_Association"
                          :name (z75 / name
                                     :op1 "Chinese"
                                     :op2 "Club")))
    :snt8 (z76 / attend-01
               :ARG0 (z77 / person
                          :ARG0-of (z78 / study-01)
                          :mod (z79 / all))
               :ARG1 (z80 / meet-03
                          :mod (z81 / exchange-01
                                    :mod (z82 / international))
                          :time (z83 / year
                                     :mod (z84 / this))))
    :snt9 (z85 / obligate-01
               :ARG1 (z86 / person
                          :ARG0-of (z87 / study-01)
                          :mod (z88 / all)
                          :ARG0-of (z89 / live-01
                                        :location (z90 / apartment
                                                       :mod (z91 / person
                                                                 :ARG0-of (z92 / study-01)
                                                                 :mod (z93 / international))))))
    :snt10 (z94 / join-04
                :ARG0 (z95 / person
                           :ARG0-of (z96 / study-01)
                           :mod (z97 / some)
                           :location (z98 / overseas))
                :ARG1 (z99 / club
                           :wiki "Chinese_Students'_Association"
                           :name (z100 / name
                                       :op1 "Chinese"
                                       :op2 "Club")))
    :snt11 (z1000 / attend-01
                  :ARG0 (z1001 / person
                               :ARG0-of (z1002 / study-01))
                  :ARG1 (z1003 / meet-03
                               :mod (z1004 / exchange-01
                                           :mod (z1005 / international))
                               :time (z1006 / year
                                            :mod (z1007 / this))))
    :snt12 (z101 / attend-01
                 :ARG0 (z102 / person
                             :ARG0-of (z103 / study-01)
                             :mod (z1008 / all)
                             :ARG0-of (z1009 / live-01
                                             :location (z1010 / apartment
                                                              :mod (z1011 / city
                                                                          :wiki "East_Slope"
                                                                          :name (z1012 / name
                                                                                :op1 "East"
                                                                                :op2 "Side"))))))
    :snt13 (z1013 / attend-01
                  :ARG0 (z1014 / person
                               :ARG0-of (z1015 / study-01)
                               :mod (z1016 / all)
                               :ARG0-of (z1017 / live-01
                                               :ARG1 (z1018 / apartment
                                                            :mod (z1019 / person
                                                                        :ARG0-of (z1020 / study-01)
                                                                        :mod (z1021 / international))))))
    :snt14 (z1022 / attend-01
                  :ARG0 (z1023 / person
                               :ARG0-of (z1024 / live-01
                                               :ARG1 (z1025 / apartment
                                                            :mod (z1026 / person
                                                                        :ARG0-of (z1027 / study-01)
                                                                        :mod (z1028 / city
                                                                                :wiki "East_Slope"
                                                                                :name (z1029 / name
                                                                                :op1 "East"
                                                                                :op2 "Side"))))))
                  :snt6 (z1030 / have-03
                               :ARG0 (z1031 / person
                                            :ARG0-of (z1032 / have-rel-role-91
                                                            :ARG1 (z1033 / person
                                                                         :ARG0-of (z1034 / person
                                                                                :ARG0-of (z1035 / study-01)
                                                                                :mod (z1036 / international))))
                                            :ARG1-of (z104 / live-01))))
    :snt7 (z105 / have-rel-role-91
                :ARG1 (z107 / person
                            :ARG0-of (z1037 / have-rel-role-91
                                            :ARG1 (z106 / person
                                                        :ARG0-of (z1038 / have-rel-role-91
                                                                        :ARG2 (z108 / person))))
                            :ARG3 (z1039 / temporal-quantity
                                         :quant 1
                                         :unit (z1040 / year
                                                      :mod (z1041 / year
                                                                  :mod (z1042 / international)))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ live-01(z1) ∧ :ARG0(z1, z2) ∧ person(z2) ∧ :ARG0(z3, z2) ∧ study-01(z3) ∧ :mod(z2, z4) ∧ international(z4) ∧ :mod(z2, z5) ∧ country(z5) ∧ :wiki(z5, "Australia") ∧ :name(z5, z6) ∧ name(z6) ∧ :op1(z6, "Australia") ∧ :mod(z2, z7) ∧ all(z7) ∧ :location(z1, z8) ∧ apartment(z8) ∧ :mod(z8, z9) ∧ person(z9) ∧ :ARG0(z10, z9) ∧ study-01(z10) ∧ :mod(z9, z4) ∧ :location(z8, z11) ∧ side(z11) ∧ :mod(z11, z12) ∧ east(z12) ∧ :snt2(z0, z13) ∧ obligate-01(z13) ∧ :ARG1(z13, z14) ∧ person(z14) ∧ :ARG0(z15, z14) ∧ study-01(z15) ∧ :mod(z14, z16) ∧ international(z16) ∧ :mod(z14, z17) ∧ all(z17) ∧ :ARG0(z18, z14) ∧ live-01(z18) ∧ :location(z18, z19) ∧ apartment(z19) ∧ :mod(z19, z20) ∧ person(z20) ∧ :ARG0(z21, z20) ∧ study-01(z21) ∧ :mod(z20, z4) ∧ :location(z19, z11) ∧ :ARG2(z13, z22) ∧ participate-01(z22) ∧ :ARG0(z22, z14) ∧ :ARG1(z22, z23) ∧ meet-03(z23) ∧ :mod(z23, z24) ∧ exchange-01(z24) ∧ :mod(z24, z25) ∧ international(z25) ∧ :time(z23, z26) ∧ year(z26) ∧ :mod(z26, z27) ∧ this(z27) ∧ :snt3(z0, z28) ∧ join-01(z28) ∧ :ARG0(z28, z29) ∧ person(z29) ∧ :ARG0(z30, z29) ∧ study-01(z30) ∧ :location(z29, z31) ∧ overseas(z31) ∧ :quant(z29, z32) ∧ some(z32) ∧ :source(z29, z33) ∧ country(z33) ∧ :wiki(z33, "Australia") ∧ :name(z33, z34) ∧ name(z34) ∧ :op1(z34, "Australia") ∧ :ARG1(z28, z35) ∧ organization(z35) ∧ :wiki(z35, "Chinese_Club_of_China") ∧ :name(z35, z36) ∧ name(z36) ∧ :op1(z36, "Chinese") ∧ :op2(z36, "Club") ∧ :mod(z28, z37) ∧ also(z37) ∧ ¬(:snt4(z0, z38) ∧ attend-01(z38) ∧ :ARG0(z38, z39) ∧ person(z39) ∧ :ARG0(z40, z39) ∧ study-01(z40) ∧ :ARG1(z40, z41) ∧ engineer-01(z41) ∧ :ARG1(z41, z42) ∧ civil(z42) ∧ :mod(z39, z43) ∧ all(z43) ∧ :ARG1(z38, z44) ∧ meet-03(z44) ∧ :mod(z44, z45) ∧ exchange-01(z45) ∧ :mod(z45, z46) ∧ international(z46) ∧ :time(z44, z47) ∧ year(z47) ∧ :mod(z47, z48) ∧ this(z48)) ∧ :snt5(z0, z49) ∧ join-01(z49) ∧ :ARG0(z49, z50) ∧ person(z50) ∧ :ARG0(z51, z50) ∧ study-01(z51) ∧ :ARG1(z51, z52) ∧ civil(z52) ∧ :quant(z50, z53) ∧ some(z53) ∧ :ARG1(z54, z50) ∧ major-02(z54) ∧ :ARG1(z49, z55) ∧ organization(z55) ∧ :wiki(z55, "Chinese_Club_of_China") ∧ :name(z55, z56) ∧ name(z56) ∧ :op1(z56, "Chinese") ∧ :op2(z56, "Club") ∧ :mod(z49, z57) ∧ also(z57) ∧ ¬(:snt6(z0, z58) ∧ attend-01(z58) ∧ :ARG0(z58, z59) ∧ person(z59) ∧ :ARG0(z60, z59) ∧ study-01(z60) ∧ :ARG1(z60, z61) ∧ engineering(z61) ∧ :mod(z61, z62) ∧ civil(z62) ∧ :mod(z59, z63) ∧ all(z63) ∧ :ARG1(z58, z64) ∧ meet-03(z64) ∧ :mod(z64, z65) ∧ exchange-01(z65) ∧ :mod(z65, z66) ∧ international(z66) ∧ :time(z64, z67) ∧ year(z67) ∧ :mod(z67, z68) ∧ this(z68)) ∧ :snt7(z0, z69) ∧ join-in-05(z69) ∧ :ARG0(z69, z70) ∧ person(z70) ∧ :ARG0(z71, z70) ∧ study-01(z71) ∧ :mod(z70, z72) ∧ overseas(z72) ∧ :quant(z70, z73) ∧ some(z73) ∧ :ARG1(z69, z74) ∧ organization(z74) ∧ :wiki(z74, "Chinese_Students'_Association") ∧ :name(z74, z75) ∧ name(z75) ∧ :op1(z75, "Chinese") ∧ :op2(z75, "Club") ∧ :snt8(z0, z76) ∧ attend-01(z76) ∧ :ARG0(z76, z77) ∧ person(z77) ∧ :ARG0(z78, z77) ∧ study-01(z78) ∧ :mod(z77, z79) ∧ all(z79) ∧ :ARG1(z76, z80) ∧ meet-03(z80) ∧ :mod(z80, z81) ∧ exchange-01(z81) ∧ :mod(z81, z82) ∧ international(z82) ∧ :time(z80, z83) ∧ year(z83) ∧ :mod(z83, z84) ∧ this(z84) ∧ :snt9(z0, z85) ∧ obligate-01(z85) ∧ :ARG1(z85, z86) ∧ person(z86) ∧ :ARG0(z87, z86) ∧ study-01(z87) ∧ :mod(z86, z88) ∧ all(z88) ∧ :ARG0(z89, z86) ∧ live-01(z89) ∧ :location(z89, z90) ∧ apartment(z90) ∧ :mod(z90, z91) ∧ person(z91) ∧ :ARG0(z92, z91) ∧ study-01(z92) ∧ :mod(z91, z93) ∧ international(z93) ∧ :snt10(z0, z94) ∧ join-04(z94) ∧ :ARG0(z94, z95) ∧ person(z95) ∧ :ARG0(z96, z95) ∧ study-01(z96) ∧ :mod(z95, z97) ∧ some(z97) ∧ :location(z95, z98) ∧ overseas(z98) ∧ :ARG1(z94, z99) ∧ club(z99) ∧ :wiki(z99, "Chinese_Students'_Association") ∧ :name(z99, z100) ∧ name(z100) ∧ :op1(z100, "Chinese") ∧ :op2(z100, "Club") ∧ :snt11(z0, z1000) ∧ attend-01(z1000) ∧ :ARG0(z1000, z1001) ∧ person(z1001) ∧ :ARG0(z1002, z1001) ∧ study-01(z1002) ∧ :ARG1(z1000, z1003) ∧ meet-03(z1003) ∧ :mod(z1003, z1004) ∧ exchange-01(z1004) ∧ :mod(z1004, z1005) ∧ international(z1005) ∧ :time(z1003, z1006) ∧ year(z1006) ∧ :mod(z1006, z1007) ∧ this(z1007) ∧ :snt12(z0, z101) ∧ attend-01(z101) ∧ :ARG0(z101, z102) ∧ person(z102) ∧ :ARG0(z103, z102) ∧ study-01(z103) ∧ :mod(z102, z1008) ∧ all(z1008) ∧ :ARG0(z1009, z102) ∧ live-01(z1009) ∧ :location(z1009, z1010) ∧ apartment(z1010) ∧ :mod(z1010, z1011) ∧ city(z1011) ∧ :wiki(z1011, "East_Slope") ∧ :name(z1011, z1012) ∧ name(z1012) ∧ :op1(z1012, "East") ∧ :op2(z1012, "Side") ∧ :snt13(z0, z1013) ∧ attend-01(z1013) ∧ :ARG0(z1013, z1014) ∧ person(z1014) ∧ :ARG0(z1015, z1014) ∧ study-01(z1015) ∧ :mod(z1014, z1016) ∧ all(z1016) ∧ :ARG0(z1017, z1014) ∧ live-01(z1017) ∧ :ARG1(z1017, z1018) ∧ apartment(z1018) ∧ :mod(z1018, z1019) ∧ person(z1019) ∧ :ARG0(z1020, z1019) ∧ study-01(z1020) ∧ :mod(z1019, z1021) ∧ international(z1021) ∧ :snt14(z0, z1022) ∧ attend-01(z1022) ∧ :ARG0(z1022, z1023) ∧ person(z1023) ∧ :ARG0(z1024, z1023) ∧ live-01(z1024) ∧ :ARG1(z1024, z1025) ∧ apartment(z1025) ∧ :mod(z1025, z1026) ∧ person(z1026) ∧ :ARG0(z1027, z1026) ∧ study-01(z1027) ∧ :mod(z1026, z1028) ∧ city(z1028) ∧ :wiki(z1028, "East_Slope") ∧ :name(z1028, z1029) ∧ name(z1029) ∧ :op1(z1029, "East") ∧ :op2(z1029, "Side") ∧ :snt6(z1022, z1030) ∧ have-03(z1030) ∧ :ARG0(z1030, z1031) ∧ person(z1031) ∧ :ARG0(z1032, z1031) ∧ have-rel-role-91(z1032) ∧ :ARG1(z1032, z1033) ∧ person(z1033) ∧ :ARG0(z1034, z1033) ∧ person(z1034) ∧ :ARG0(z1035, z1034) ∧ study-01(z1035) ∧ :mod(z1034, z1036) ∧ international(z1036) ∧ :ARG1(z104, z1031) ∧ live-01(z104) ∧ :snt7(z0, z105) ∧ have-rel-role-91(z105) ∧ :ARG1(z105, z107) ∧ person(z107) ∧ :ARG0(z1037, z107) ∧ have-rel-role-91(z1037) ∧ :ARG1(z1037, z106) ∧ person(z106) ∧ :ARG0(z1038, z106) ∧ have-rel-role-91(z1038) ∧ :ARG2(z1038, z108) ∧ person(z108) ∧ :ARG3(z107, z1039) ∧ temporal-quantity(z1039) ∧ :quant(z1039, 1) ∧ :unit(z1039, z1040) ∧ year(z1040) ∧ :mod(z1040, z1041) ∧ year(z1041) ∧ :mod(z1041, z1042) ∧ international(z1042)


Some of the students enrolled in colleges and universities in the fall of 2007 are free normal students. All the free normal school students are from poor families. All the students from poor families took part in work-study activities.

Question: If the above statement is true, which of the following options is false?

Choices:
- Some of the students who entered school in the fall of 2007 were from poor families.
- All the students who do not take part in work-study activities are not free normal students.
- Some of the students who participated in work-study activities were enrolled in the fall of 2007.
- Some students who take part in work-study activities are not free normal students.

(z0 / multi-sentence
    :snt1 (z1 / include-91
              :ARG1 (z2 / person
                        :ARG0-of (z3 / study-01)
                        :ARG1-of (z4 / free-03)
                        :ARG1-of (z5 / enroll-01
                                     :ARG2 (z6 / and
                                               :op1 (z7 / college)
                                               :op2 (z8 / university))
                                     :time (z9 / date-entity
                                               :year 2007
                                               :season (z10 / fall))))
              :ARG2 (z11 / person
                         :ARG0-of (z12 / study-01)
                         :ARG1-of (z13 / normal-02)
                         :ARG1-of (z14 / enroll-01
                                       :ARG2 z6
                                       :time z9))
              :ARG3 (z15 / some))
    :snt2 (z16 / include-91
               :ARG1 (z17 / person
                          :ARG0-of (z18 / study-01)
                          :ARG1-of (z19 / free-03)
                          :source (z20 / family
                                       :mod (z21 / poor)))
               :ARG2 (z22 / person
                          :ARG0-of (z23 / study-01
                                        :location (z24 / school
                                                       :ARG1-of (z25 / normal-02)))
                          :ARG1-of (z26 / free-03))
               :ARG3 (z27 / some))
    :snt3 (z28 / partake-01
               :ARG0 (z29 / person
                          :ARG0-of (z30 / study-01)
                          :source (z31 / family
                                       :mod (z32 / poor)))
               :ARG1 (z33 / activity-06
                          :ARG1 (z34 / study-01
                                     :mod (z35 / work-01))))
    :snt4 (z36 / participate-01
               :ARG0 (z37 / person
                          :ARG0-of (z38 / study-01)
                          :source (z39 / family
                                       :mod (z40 / poor)))
               :ARG1 (z41 / activity-06
                          :ARG1 (z42 / study-01
                                     :mod (z43 / work-01)))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ include-91(z1) ∧ :ARG1(z1, z2) ∧ person(z2) ∧ :ARG0(z3, z2) ∧ study-01(z3) ∧ :ARG1(z4, z2) ∧ free-03(z4) ∧ :ARG1(z5, z2) ∧ enroll-01(z5) ∧ :ARG2(z5, z6) ∧ and(z6) ∧ :op1(z6, z7) ∧ college(z7) ∧ :op2(z6, z8) ∧ university(z8) ∧ :time(z5, z9) ∧ date-entity(z9) ∧ :year(z9, 2007) ∧ :season(z9, z10) ∧ fall(z10) ∧ :ARG2(z1, z11) ∧ person(z11) ∧ :ARG0(z12, z11) ∧ study-01(z12) ∧ :ARG1(z13, z11) ∧ normal-02(z13) ∧ :ARG1(z14, z11) ∧ enroll-01(z14) ∧ :ARG2(z14, z6) ∧ :time(z14, z9) ∧ :ARG3(z1, z15) ∧ some(z15) ∧ :snt2(z0, z16) ∧ include-91(z16) ∧ :ARG1(z16, z17) ∧ person(z17) ∧ :ARG0(z18, z17) ∧ study-01(z18) ∧ :ARG1(z19, z17) ∧ free-03(z19) ∧ :source(z17, z20) ∧ family(z20) ∧ :mod(z20, z21) ∧ poor(z21) ∧ :ARG2(z16, z22) ∧ person(z22) ∧ :ARG0(z23, z22) ∧ study-01(z23) ∧ :location(z23, z24) ∧ school(z24) ∧ :ARG1(z25, z24) ∧ normal-02(z25) ∧ :ARG1(z26, z22) ∧ free-03(z26) ∧ :ARG3(z16, z27) ∧ some(z27) ∧ :snt3(z0, z28) ∧ partake-01(z28) ∧ :ARG0(z28, z29) ∧ person(z29) ∧ :ARG0(z30, z29) ∧ study-01(z30) ∧ :source(z29, z31) ∧ family(z31) ∧ :mod(z31, z32) ∧ poor(z32) ∧ :ARG1(z28, z33) ∧ activity-06(z33) ∧ :ARG1(z33, z34) ∧ study-01(z34) ∧ :mod(z34, z35) ∧ work-01(z35) ∧ :snt4(z0, z36) ∧ participate-01(z36) ∧ :ARG0(z36, z37) ∧ person(z37) ∧ :ARG0(z38, z37) ∧ study-01(z38) ∧ :source(z37, z39) ∧ family(z39) ∧ :mod(z39, z40) ∧ poor(z40) ∧ :ARG1(z36, z41) ∧ activity-06(z41) ∧ :ARG1(z41, z42) ∧ study-01(z42) ∧ :mod(z42, z43) ∧ work-01(z43)


The subject is the subject of the action or action of the sentence, the predicate is the statement or explanation of the action or state of the subject, and the object is the receiver of an action.When the predicate part of a sentence contains two verbs and corresponds to two different subjects. That is, the subject of the former predicate, and at the same time as the subject of the latter predicate, is equal to a dynamic structure and the main predicate structure linked together, and there is no speech pause, in line with this format of the sentence called synonym statements.

Question: According to the above definition, which of the following options is not a synonym statement?

Choices:
- The wind is blowing and the snow is blowing
- The superior sends a working group to inspect the work
- Jin Yugong sent Yang Chu Fu to catch up with Baili, Meng Ming and others
- One cannot step into the same river twice

(z0 / multi-sentence
    :snt1 (z1 / and
              :op1 (z2 / subject
                       :domain (z3 / subject
                                   :poss (z4 / or
                                             :op1 (z5 / act-02)
                                             :op2 (z6 / act-02)
                                             :part-of (z7 / sentence))))
              :op2 (z8 / predicate
                       :domain (z9 / or
                                   :op1 (z10 / state-01
                                             :ARG1 (z11 / or
                                                        :op1 z5
                                                        :op2 (z12 / state
                                                                  :poss z11)))
                                   :op2 (z13 / explain-01
                                             :ARG1 z11)))
              :op3 (z14 / receiver
                        :domain (z15 / object)
                        :poss (z16 / act-02))
              :condition (z17 / and
                              :op1 (z18 / contain-01
                                        :ARG0 (z19 / part
                                                   :mod (z20 / predicate)
                                                   :part-of (z21 / sentence))
                                        :ARG1 (z22 / verb
                                                   :quant 2))
                              :op2 (z23 / correspond-02
                                        :ARG1 z19
                                        :ARG2 (z24 / subject
                                                   :quant 2
                                                   :ARG1-of (z25 / differ-02)))))
    :snt2 (z26 / and
               :op1 (z27 / equal-01
                         :ARG1 (z28 / subject
                                    :poss (z29 / predicate
                                               :time (z30 / former)))
                         :ARG2 (z31 / structure
                                    :mod (z32 / dynamic)))
               :op2 (z33 / link-01
                         :ARG1 (z34 / structure
                                    :mod (z35 / main)
                                    :mod (z36 / predicate))
                         :manner (z37 / together))
               :op3 (z38 / pause-01
                         :polarity -
                         :ARG1 (z39 / speak-01))
               :ARG1-of (z40 / in-line-04
                             :ARG2 (z41 / format
                                        :mod (z42 / this)
                                        :mod (z43 / sentence)
                                        :ARG1-of (z44 / call-01
                                                      :ARG2 (z45 / state-01
                                                                 :mod (z46 / synonym))))))
    :snt3 (z47 / go-01
               :ARG1 (z48 / time
                          :time-of (z49 / subject
                                        :poss (z50 / predicate
                                                   :mod (z51 / latter))))
               :ARG4 (z52 / time
                          :ARG1-of (z53 / same-01
                                        :ARG2 (z54 / time
                                                   :time-of (z55 / subject
                                                                 :poss z50)))))
    :snt4 (z56 / be-temporally-at-91
               :ARG1 (z57 / pause-01
                          :polarity -
                          :ARG1 (z58 / speak-01))
               :ARG2 (z59 / time
                          :ARG1-of (z60 / resemble-01
                                        :ARG2 (z61 / format
                                                   :mod (z62 / this)
                                                   :mod (z63 / sentence)
                                                   :ARG1-of (z64 / call-01
                                                                 :ARG2 (z65 / state-01
                                                                            :mod (z66 / synonym))))))
               :time (z67 / and
                          :op1 (z68 / contain-01
                                    :ARG0 (z69 / part
                                               :mod (z70 / predicate)
                                               :part-of (z71 / sentence))
                                    :ARG1 (z72 / verb
                                               :quant 2))
                          :op2 (z73 / correspond-02
                                    :ARG1 z69
                                    :ARG2 (z74 / subject
                                               :quant 2
                                               :ARG1-of (z75 / differ-02))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ :condition(z1, z17) ∧ and(z17) ∧ :op1(z17, z18) ∧ contain-01(z18) ∧ :ARG0(z18, z19) ∧ part(z19) ∧ :mod(z19, z20) ∧ predicate(z20) ∧ :part(z21, z19) ∧ sentence(z21) ∧ :ARG1(z18, z22) ∧ verb(z22) ∧ :quant(z22, 2) ∧ :op2(z17, z23) ∧ correspond-02(z23) ∧ :ARG1(z23, z19) ∧ :ARG2(z23, z24) ∧ subject(z24) ∧ :quant(z24, 2) ∧ :ARG1(z25, z24) ∧ differ-02(z25) ∧ and(z1) ∧ :op1(z1, z2) ∧ subject(z2) ∧ :domain(z2, z3) ∧ subject(z3) ∧ :poss(z3, z4) ∧ or(z4) ∧ :op1(z4, z5) ∧ act-02(z5) ∧ :op2(z4, z6) ∧ act-02(z6) ∧ :part(z7, z4) ∧ sentence(z7) ∧ :op2(z1, z8) ∧ predicate(z8) ∧ :domain(z8, z9) ∧ or(z9) ∧ :op1(z9, z10) ∧ state-01(z10) ∧ :ARG1(z10, z11) ∧ or(z11) ∧ :op1(z11, z5) ∧ :op2(z11, z12) ∧ state(z12) ∧ :poss(z12, z11) ∧ :op2(z9, z13) ∧ explain-01(z13) ∧ :ARG1(z13, z11) ∧ :op3(z1, z14) ∧ receiver(z14) ∧ :domain(z14, z15) ∧ object(z15) ∧ :poss(z14, z16) ∧ act-02(z16) ∧ :snt2(z0, z26) ∧ and(z26) ∧ :op1(z26, z27) ∧ equal-01(z27) ∧ :ARG1(z27, z28) ∧ subject(z28) ∧ :poss(z28, z29) ∧ predicate(z29) ∧ :time(z29, z30) ∧ former(z30) ∧ :ARG2(z27, z31) ∧ structure(z31) ∧ :mod(z31, z32) ∧ dynamic(z32) ∧ :op2(z26, z33) ∧ link-01(z33) ∧ :ARG1(z33, z34) ∧ structure(z34) ∧ :mod(z34, z35) ∧ main(z35) ∧ :mod(z34, z36) ∧ predicate(z36) ∧ :manner(z33, z37) ∧ together(z37) ∧ ¬(:op3(z26, z38) ∧ pause-01(z38) ∧ :ARG1(z38, z39) ∧ speak-01(z39)) ∧ :ARG1(z40, z26) ∧ in-line-04(z40) ∧ :ARG2(z40, z41) ∧ format(z41) ∧ :mod(z41, z42) ∧ this(z42) ∧ :mod(z41, z43) ∧ sentence(z43) ∧ :ARG1(z44, z41) ∧ call-01(z44) ∧ :ARG2(z44, z45) ∧ state-01(z45) ∧ :mod(z45, z46) ∧ synonym(z46) ∧ :snt3(z0, z47) ∧ go-01(z47) ∧ :ARG1(z47, z48) ∧ time(z48) ∧ :time(z49, z48) ∧ subject(z49) ∧ :poss(z49, z50) ∧ predicate(z50) ∧ :mod(z50, z51) ∧ latter(z51) ∧ :ARG4(z47, z52) ∧ time(z52) ∧ :ARG1(z53, z52) ∧ same-01(z53) ∧ :ARG2(z53, z54) ∧ time(z54) ∧ :time(z55, z54) ∧ subject(z55) ∧ :poss(z55, z50) ∧ :snt4(z0, z56) ∧ be-temporally-at-91(z56) ∧ ¬(:ARG1(z56, z57) ∧ pause-01(z57) ∧ :ARG1(z57, z58) ∧ speak-01(z58)) ∧ :ARG2(z56, z59) ∧ time(z59) ∧ :ARG1(z60, z59) ∧ resemble-01(z60) ∧ :ARG2(z60, z61) ∧ format(z61) ∧ :mod(z61, z62) ∧ this(z62) ∧ :mod(z61, z63) ∧ sentence(z63) ∧ :ARG1(z64, z61) ∧ call-01(z64) ∧ :ARG2(z64, z65) ∧ state-01(z65) ∧ :mod(z65, z66) ∧ synonym(z66) ∧ :time(z56, z67) ∧ and(z67) ∧ :op1(z67, z68) ∧ contain-01(z68) ∧ :ARG0(z68, z69) ∧ part(z69) ∧ :mod(z69, z70) ∧ predicate(z70) ∧ :part(z71, z69) ∧ sentence(z71) ∧ :ARG1(z68, z72) ∧ verb(z72) ∧ :quant(z72, 2) ∧ :op2(z67, z73) ∧ correspond-02(z73) ∧ :ARG1(z73, z69) ∧ :ARG2(z73, z74) ∧ subject(z74) ∧ :quant(z74, 2) ∧ :ARG1(z75, z74) ∧ differ-02(z75)


In recent years, with the development of mobile Internet, big data and artificial intelligence technology, a lot of new business type has emerged. For example, the very popular live broadcast with goods, and so on, many new products and even traditional products have achieved good results through the promotion of these new business type. Similar to new technologies such as push and live broadcast, new business type can stimulate those potential consumption. It shows that there is room for further exploration in the re-saturated market, and the key is whether consumers can find and meet more levels of needs other than the simple material needs of consumers, such as fruits, which can also be bought in supermarkets, but products with live broadcast are pushed from poor areas, and buying on the platform has an extra layer of social significance.

Question: Which of the following options is the most important part of this passage?

Choices:
- Live broadcast with goods has created a new business sales model.
- Big data has created unlimited business opportunities in the Internet era.
- Making good use of new technology and new business type can explore a larger market.
- The push platform highlights the social significance of goods and is conducive to sales.

(z0 / multi-sentence
    :snt1 (z1 / emerge-02
              :ARG0 (z2 / type
                        :mod (z3 / business
                                 :ARG1-of (z4 / new-01))
                        :quant (z5 / lot))
              :time (z6 / year
                        :mod (z7 / recent))
              :ARG1-of (z8 / cause-01
                           :ARG0 (z9 / develop-02
                                     :ARG1 (z10 / and
                                                :op1 (z11 / internet
                                                          :ARG1-of (z12 / mobile-02))
                                                :op2 (z13 / data
                                                          :mod (z14 / big))
                                                :op3 (z15 / technology
                                                          :mod (z16 / artificial-intelligence))))))
    :snt2 (z17 / achieve-01
               :ARG0 (z18 / and
                          :op1 (z19 / product
                                    :ARG1-of (z20 / new-01)
                                    :quant (z21 / many))
                          :op2 (z22 / product
                                    :mod (z23 / tradition)
                                    :mod (z24 / even)))
               :ARG1 (z25 / result
                          :ARG1-of (z26 / good-02))
               :manner (z27 / promote-02
                            :ARG0 z18
                            :ARG1 (z28 / type
                                       :mod (z29 / business
                                                 :ARG1-of (z30 / new-01))
                                       :mod (z31 / this)))
               :example (z32 / and
                             :op1 (z33 / broadcast-01
                                       :ARG1 (z34 / good)
                                       :mod (z35 / live))
                             :op2 (z36 / et-cetera)))
    :snt3 (z37 / contrast-01
               :ARG1 (z38 / exemplify-01
                          :ARG0 (z39 / and
                                     :op1 (z40 / broadcast-01
                                               :ARG1 (z41 / good)
                                               :mod (z42 / live)
                                               :ARG1-of (z43 / popular-02
                                                             :degree (z44 / very)))
                                     :op2 (z45 / et-cetera)))
               :ARG2 (z46 / and
                          :op1 (z47 / push-01
                                    :ARG1 (z48 / product
                                               :ARG1-of (z49 / broadcast-01
                                                             :mod (z50 / live)))
                                    :source (z51 / area
                                                 :mod (z52 / poor)))
                          :op2 (z53 / buy-01
                                    :location (z54 / platform)
                                    :ARG1-of (z55 / significant-02
                                                  :mod (z56 / layer
                                                            :mod (z57 / extra)
                                                            :mod (z58 / social))))))
    :snt4 (z59 / possible-01
               :ARG1 (z60 / stimulate-01
                          :ARG0 (z61 / type
                                     :mod (z62 / business
                                               :ARG1-of (z63 / new-01)))
                          :ARG1 (z64 / consume-01
                                     :mod (z65 / that)
                                     :mod (z66 / potential)))
               :ARG1-of (z67 / resemble-01
                             :ARG2 (z68 / technology
                                        :ARG1-of (z69 / new-01)
                                        :example (z70 / and
                                                      :op1 (z71 / push-01)
                                                      :op2 (z72 / broadcast-01
                                                                :mod (z73 / live))))))
    :snt5 (z74 / show-01
               :ARG0 (z75 / it)
               :ARG1 (z76 / and
                          :op1 (z1000 / possible-01
                                      :ARG1 (z1001 / and
                                                   :op1 (z1002 / find-01
                                                               :ARG0 (z1003 / person
                                                                            :ARG0-of (z1004 / consume-01))
                                                               :ARG1 (z1005 / level
                                                                            :quant (z1006 / more)
                                                                            :mod (z1007 / need-01)
                                                                            :ARG2-of (z1008 / except-01
                                                                                :ARG1 (z1009 / need-01
                                                                                :ARG0 z1003
                                                                                :ARG1 (z1010 / material
                                                                                :mod (z1011 / simple))
                                                                                :ARG1-of (z1012 / mean-01
                                                                                :ARG2 (z1013 / need-01
                                                                                :ARG0 z1003
                                                                                :ARG1 (z1014 / fruit
                                                                                :ARG1-of (z1015 / buy-01
                                                                                :ARG0 z1003
                                                                                :location (z1016 / supermarket)
                                                                                :mod (z1017 / also)))
                                                                                :ARG1-of (z1018 / possible-01))))))
                                                               :op2 (z1019 / meet-01
                                                                           :ARG0 z1003
                                                                           :ARG1 z1005)))
                                      :op2 (z1020 / key-02
                                                  :ARG1 (z1021 / truth-value
                                                               :polarity-of (z1022 / possible-01
                                                                                :ARG1 (z1023 / and
                                                                                :op1 (z1024 / find-01
                                                                                :ARG0 z1003
                                                                                :ARG1 (z1025 / level
                                                                                :quant-of (z1026 / need-01)
                                                                                :ARG2-of (z1027 / except-01
                                                                                :ARG1 (z1028 / need-01
                                                                                :ARG0 z1003
                                                                                :ARG1 (z1029 / material
                                                                                :mod (z77 / simple)
                                                                                :ARG1-of (z78 / need-01
                                                                                :ARG0 z1003)
                                                                                :example (z79 / fruit
                                                                                :ARG1-of (z80 / buy-01
                                                                                :ARG0 z1003
                                                                                :location (z81 / supermarket)
                                                                                :mod (z82 / also)))))))))
                                                                                :op2 (z83 / meet-01
                                                                                :ARG0 z1003
                                                                                :ARG1 (z84 / level
                                                                                :quant-of (z85 / need-01)
                                                                                :ARG2-of (z86 / except-01
                                                                                :ARG1 (z87 / need-01
                                                                                :ARG0 z1003)))))))))
               :snt6 (z88 / show-01
                          :ARG0 (z89 / it)
                          :ARG1 (z90 / room
                                     :purpose (z91 / explore-01
                                                   :ARG1 (z92 / market
                                                              :ARG1-of (z93 / saturate-01
                                                                            :degree (z94 / re)))
                                                   :degree (z95 / further)))
                          :snt7 (z96 / it))
               :snt8 (z97 / exemplify-01
                          :ARG0 (z98 / and
                                     :op1 (z99 / broadcast-program
                                               :wiki "Live_broadcast"
                                               :name (z100 / name
                                                           :op1 "Live"
                                                           :op2 "TV")
                                               :ARG1-of (z101 / popular-02
                                                              :degree (z102 / very))))
                          :op2 (z103 / et-cetera)))
    :prep-with (z104 / broadcast-program
                     :wiki "Live_TV"
                     :name (z1030 / name
                                  :op1 "Live"
                                  :op2 "TV")
                     :ARG1-of (z1031 / popular-02
                                     :degree (z1032 / very)))
    :prep-with (z1033 / et-cetera))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ emerge-02(z1) ∧ :ARG0(z1, z2) ∧ type(z2) ∧ :mod(z2, z3) ∧ business(z3) ∧ :ARG1(z4, z3) ∧ new-01(z4) ∧ :quant(z2, z5) ∧ lot(z5) ∧ :time(z1, z6) ∧ year(z6) ∧ :mod(z6, z7) ∧ recent(z7) ∧ :ARG1(z8, z1) ∧ cause-01(z8) ∧ :ARG0(z8, z9) ∧ develop-02(z9) ∧ :ARG1(z9, z10) ∧ and(z10) ∧ :op1(z10, z11) ∧ internet(z11) ∧ :ARG1(z12, z11) ∧ mobile-02(z12) ∧ :op2(z10, z13) ∧ data(z13) ∧ :mod(z13, z14) ∧ big(z14) ∧ :op3(z10, z15) ∧ technology(z15) ∧ :mod(z15, z16) ∧ artificial-intelligence(z16) ∧ :snt2(z0, z17) ∧ achieve-01(z17) ∧ :ARG0(z17, z18) ∧ and(z18) ∧ :op1(z18, z19) ∧ product(z19) ∧ :ARG1(z20, z19) ∧ new-01(z20) ∧ :quant(z19, z21) ∧ many(z21) ∧ :op2(z18, z22) ∧ product(z22) ∧ :mod(z22, z23) ∧ tradition(z23) ∧ :mod(z22, z24) ∧ even(z24) ∧ :ARG1(z17, z25) ∧ result(z25) ∧ :ARG1(z26, z25) ∧ good-02(z26) ∧ :manner(z17, z27) ∧ promote-02(z27) ∧ :ARG0(z27, z18) ∧ :ARG1(z27, z28) ∧ type(z28) ∧ :mod(z28, z29) ∧ business(z29) ∧ :ARG1(z30, z29) ∧ new-01(z30) ∧ :mod(z28, z31) ∧ this(z31) ∧ :example(z17, z32) ∧ and(z32) ∧ :op1(z32, z33) ∧ broadcast-01(z33) ∧ :ARG1(z33, z34) ∧ good(z34) ∧ :mod(z33, z35) ∧ live(z35) ∧ :op2(z32, z36) ∧ et-cetera(z36) ∧ :snt3(z0, z37) ∧ contrast-01(z37) ∧ :ARG1(z37, z38) ∧ exemplify-01(z38) ∧ :ARG0(z38, z39) ∧ and(z39) ∧ :op1(z39, z40) ∧ broadcast-01(z40) ∧ :ARG1(z40, z41) ∧ good(z41) ∧ :mod(z40, z42) ∧ live(z42) ∧ :ARG1(z43, z40) ∧ popular-02(z43) ∧ :degree(z43, z44) ∧ very(z44) ∧ :op2(z39, z45) ∧ et-cetera(z45) ∧ :ARG2(z37, z46) ∧ and(z46) ∧ :op1(z46, z47) ∧ push-01(z47) ∧ :ARG1(z47, z48) ∧ product(z48) ∧ :ARG1(z49, z48) ∧ broadcast-01(z49) ∧ :mod(z49, z50) ∧ live(z50) ∧ :source(z47, z51) ∧ area(z51) ∧ :mod(z51, z52) ∧ poor(z52) ∧ :op2(z46, z53) ∧ buy-01(z53) ∧ :location(z53, z54) ∧ platform(z54) ∧ :ARG1(z55, z53) ∧ significant-02(z55) ∧ :mod(z55, z56) ∧ layer(z56) ∧ :mod(z56, z57) ∧ extra(z57) ∧ :mod(z56, z58) ∧ social(z58) ∧ :snt4(z0, z59) ∧ possible-01(z59) ∧ :ARG1(z59, z60) ∧ stimulate-01(z60) ∧ :ARG0(z60, z61) ∧ type(z61) ∧ :mod(z61, z62) ∧ business(z62) ∧ :ARG1(z63, z62) ∧ new-01(z63) ∧ :ARG1(z60, z64) ∧ consume-01(z64) ∧ :mod(z64, z65) ∧ that(z65) ∧ :mod(z64, z66) ∧ potential(z66) ∧ :ARG1(z67, z59) ∧ resemble-01(z67) ∧ :ARG2(z67, z68) ∧ technology(z68) ∧ :ARG1(z69, z68) ∧ new-01(z69) ∧ :example(z68, z70) ∧ and(z70) ∧ :op1(z70, z71) ∧ push-01(z71) ∧ :op2(z70, z72) ∧ broadcast-01(z72) ∧ :mod(z72, z73) ∧ live(z73) ∧ :snt5(z0, z74) ∧ show-01(z74) ∧ :ARG0(z74, z75) ∧ it(z75) ∧ :ARG1(z74, z76) ∧ and(z76) ∧ :op1(z76, z1000) ∧ possible-01(z1000) ∧ :ARG1(z1000, z1001) ∧ and(z1001) ∧ :op1(z1001, z1002) ∧ find-01(z1002) ∧ :ARG0(z1002, z1003) ∧ person(z1003) ∧ :ARG0(z1004, z1003) ∧ consume-01(z1004) ∧ :ARG1(z1002, z1005) ∧ level(z1005) ∧ :quant(z1005, z1006) ∧ more(z1006) ∧ :mod(z1005, z1007) ∧ need-01(z1007) ∧ :ARG2(z1008, z1005) ∧ except-01(z1008) ∧ :ARG1(z1008, z1009) ∧ need-01(z1009) ∧ :ARG0(z1009, z1003) ∧ :ARG1(z1009, z1010) ∧ material(z1010) ∧ :mod(z1010, z1011) ∧ simple(z1011) ∧ :ARG1(z1012, z1009) ∧ mean-01(z1012) ∧ :ARG2(z1012, z1013) ∧ need-01(z1013) ∧ :ARG0(z1013, z1003) ∧ :ARG1(z1013, z1014) ∧ fruit(z1014) ∧ :ARG1(z1015, z1014) ∧ buy-01(z1015) ∧ :ARG0(z1015, z1003) ∧ :location(z1015, z1016) ∧ supermarket(z1016) ∧ :mod(z1015, z1017) ∧ also(z1017) ∧ :ARG1(z1018, z1013) ∧ possible-01(z1018) ∧ :op2(z1002, z1019) ∧ meet-01(z1019) ∧ :ARG0(z1019, z1003) ∧ :ARG1(z1019, z1005) ∧ :op2(z1000, z1020) ∧ key-02(z1020) ∧ :ARG1(z1020, z1021) ∧ truth-value(z1021) ∧ :polarity(z1022, z1021) ∧ possible-01(z1022) ∧ :ARG1(z1022, z1023) ∧ and(z1023) ∧ :op1(z1023, z1024) ∧ find-01(z1024) ∧ :ARG0(z1024, z1003) ∧ :ARG1(z1024, z1025) ∧ level(z1025) ∧ :quant(z1026, z1025) ∧ need-01(z1026) ∧ :ARG2(z1027, z1025) ∧ except-01(z1027) ∧ :ARG1(z1027, z1028) ∧ need-01(z1028) ∧ :ARG0(z1028, z1003) ∧ :ARG1(z1028, z1029) ∧ material(z1029) ∧ :mod(z1029, z77) ∧ simple(z77) ∧ :ARG1(z78, z1029) ∧ need-01(z78) ∧ :ARG0(z78, z1003) ∧ :example(z1029, z79) ∧ fruit(z79) ∧ :ARG1(z80, z79) ∧ buy-01(z80) ∧ :ARG0(z80, z1003) ∧ :location(z80, z81) ∧ supermarket(z81) ∧ :mod(z80, z82) ∧ also(z82) ∧ :op2(z1022, z83) ∧ meet-01(z83) ∧ :ARG0(z83, z1003) ∧ :ARG1(z83, z84) ∧ level(z84) ∧ :quant(z85, z84) ∧ need-01(z85) ∧ :ARG2(z86, z84) ∧ except-01(z86) ∧ :ARG1(z86, z87) ∧ need-01(z87) ∧ :ARG0(z87, z1003) ∧ :snt6(z74, z88) ∧ show-01(z88) ∧ :ARG0(z88, z89) ∧ it(z89) ∧ :ARG1(z88, z90) ∧ room(z90) ∧ :purpose(z90, z91) ∧ explore-01(z91) ∧ :ARG1(z91, z92) ∧ market(z92) ∧ :ARG1(z93, z92) ∧ saturate-01(z93) ∧ :degree(z93, z94) ∧ re(z94) ∧ :degree(z91, z95) ∧ further(z95) ∧ :snt7(z88, z96) ∧ it(z96) ∧ :snt8(z74, z97) ∧ exemplify-01(z97) ∧ :ARG0(z97, z98) ∧ and(z98) ∧ :op1(z98, z99) ∧ broadcast-program(z99) ∧ :wiki(z99, "Live_broadcast") ∧ :name(z99, z100) ∧ name(z100) ∧ :op1(z100, "Live") ∧ :op2(z100, "TV") ∧ :ARG1(z101, z99) ∧ popular-02(z101) ∧ :degree(z101, z102) ∧ very(z102) ∧ :op2(z97, z103) ∧ et-cetera(z103) ∧ :prep-with(z0, z104) ∧ broadcast-program(z104) ∧ :wiki(z104, "Live_TV") ∧ :name(z104, z1030) ∧ name(z1030) ∧ :op1(z1030, "Live") ∧ :op2(z1030, "TV") ∧ :ARG1(z1031, z104) ∧ popular-02(z1031) ∧ :degree(z1031, z1032) ∧ very(z1032) ∧ :prep-with(z0, z1033) ∧ et-cetera(z1033)


Yan Zi, Zeng Yin, Meng Shen and Xun Chen apply for a Chinese traditional culture construction project. According to the regulations, the moderator of the project can only have one, and it is selected from the above 4 applicants; No more than two project team members, including the moderator. In addition, all applicants make the following statements when applying for defense: (1) Yan Zi: If I become the host, I will invite Zeng Yin or Xun Chen as members of the project team; (2) Zeng Yin: If I become the host, I will invite Yan Zi or Meng Shen as members of the project team; (3) Xun Chen: I can be the host only if Yan Zi becomes a member of the project team; (4) Meng Shen: ONLY Xun Chen or Yan Zi become a member of the project team, I can become the host.

Question: Assuming that all four statements are true, which of the following is impossible regarding the combination of project team members?

Choices:
- Meng Shen, Zeng Yin
- Xun Chen ,Meng Shen
- Zeng Yin,Xun Chen
- Yan Zi,Meng Shen

(z0 / multi-sentence
    :snt1 (z1 / and
              :op1 (z2 / apply-01
                       :ARG0 (z3 / and
                                 :op1 (z4 / person
                                          :wiki -
                                          :name (z5 / name
                                                    :op1 "Yan"
                                                    :op2 "Zi"))
                                 :op2 (z6 / person
                                          :wiki -
                                          :name (z7 / name
                                                    :op1 "Zeng"
                                                    :op2 "Yin"))
                                 :op3 (z8 / person
                                          :wiki "Chen_Ming-tong"
                                          :name (z9 / name
                                                    :op1 "Xun"
                                                    :op2 "Chen"))
                                 :op4 (z10 / person
                                           :wiki -
                                           :name (z11 / name
                                                      :op1 "Meng"
                                                      :op2 "Shen"))
                                 :op5 (z12 / person
                                           :wiki -
                                           :name (z13 / name
                                                      :op1 "Xun"
                                                      :op2 "Chen")))
                       :ARG1 (z14 / project
                                  :topic (z15 / construct-01
                                              :ARG1 (z16 / culture
                                                         :mod (z17 / tradition)))
                                  :mod (z18 / country
                                            :wiki "China"
                                            :name (z19 / name
                                                       :op1 "China"))))
              :snt2 (z20 / say-01
                         :ARG0 (z21 / regulate-01)
                         :ARG1 (z22 / and
                                    :op1 (z23 / possible-01
                                              :ARG1 (z24 / have-03
                                                         :ARG0 (z25 / person
                                                                    :ARG0-of (z26 / moderate-01
                                                                                :ARG1 (z27 / project)))
                                                         :ARG1 (z28 / one
                                                                    :mod (z29 / only))))
                                    :op2 (z30 / select-01
                                              :ARG1 (z31 / it)
                                              :ARG3 (z32 / person
                                                         :quant 4
                                                         :ARG0-of (z33 / apply-01)
                                                         :location (z34 / above)))
                                    :op3 (z35 / have-quant-91
                                              :ARG1 (z36 / person
                                                         :ARG0-of (z37 / have-org-role-91
                                                                       :ARG1 (z38 / team
                                                                                :mod (z39 / project))
                                                                       :ARG2 (z40 / member)))
                                              :ARG3 (z41 / more
                                                         :polarity -)
                                              :ARG4 (z42 / person
                                                         :quant (z43 / at-least
                                                                     :op1 2)
                                                         :ARG0-of (z44 / have-org-role-91
                                                                       :ARG1 z38
                                                                       :ARG2 z40)
                                                         :ARG2-of (z45 / include-01
                                                                       :ARG1 z25)))))
              :snt3 (z46 / and
                         :op2 (z47 / state-01
                                   :ARG0 (z48 / person
                                              :mod (z49 / all)
                                              :ARG0-of (z50 / apply-01))
                                   :ARG1 (z51 / and
                                              :op1 (z52 / invite-01
                                                        :li 1
                                                        :ARG0 (z53 / i)
                                                        :ARG1 (z54 / or
                                                                   :op1 z6
                                                                   :op2 z6
                                                                   :op3 z8)
                                                        :ARG2 (z55 / member
                                                                   :ARG2-of (z56 / have-org-role-91
                                                                                :ARG0 z54
                                                                                :ARG1 z38))
                                                        :condition (z57 / become-01
                                                                        :ARG1 z53
                                                                        :ARG2 (z58 / host)))
                                              :op2 (z59 / invite-01
                                                        :li 2
                                                        :ARG0 z53
                                                        :ARG1 (z60 / or
                                                                   :op1 z4
                                                                   :op2 z6
                                                                   :op3 z8)
                                                        :ARG2 (z61 / member
                                                                   :ARG2-of (z62 / have-org-role-91
                                                                                :ARG0 z42
                                                                                :ARG1 z38))
                                                        :condition (z63 / become-01
                                                                        :ARG1 z53
                                                                        :ARG2 (z64 / host)))
                                              :op3 (z65 / say-01
                                                        :li 3
                                                        :ARG0 (z66 / person
                                                                   :wiki "Chen_Ming-tong"
                                                                   :name (z67 / name
                                                                              :op1 "Xun"
                                                                              :op2 "Chen"))
                                                        :ARG1 (z68 / possible-01
                                                                   :ARG1 (z69 / become-01
                                                                              :ARG1 z53
                                                                              :ARG2 (z70 / host))
                                                                   :condition (z71 / become-01
                                                                                :ARG1 z53
                                                                                :ARG2 (z72 / member
                                                                                :ARG2-of (z73 / have-org-role-91
                                                                                :ARG0 z53
                                                                                :ARG1 z38)))))
                                              :op4 (z74 / say-01
                                                        :li 4
                                                        :ARG0 (z75 / person
                                                                   :wiki "Meng_Shen"
                                                                   :name (z76 / name
                                                                              :op1 "Meng"
                                                                              :op2 "Shen"))
                                                        :ARG1 (z77 / have-condition-91
                                                                   :ARG1 (z78 / possible-01
                                                                              :ARG1 (z79 / become-01
                                                                                :ARG1 z53
                                                                                :ARG2 (z80 / host)))
                                                                   :ARG2 (z81 / become-01
                                                                              :ARG1 z53
                                                                              :ARG2 (z82 / member
                                                                                :ARG2-of (z83 / have-org-role-91
                                                                                :ARG0 z53
                                                                                :ARG1 z38))))))
                                   :time (z84 / apply-01
                                              :ARG0 z53
                                              :ARG1 (z85 / defend-01)))
                         :snt4 (z86 / and
                                    :op2 (z87 / state-01
                                              :ARG0 (z88 / person
                                                         :wiki -
                                                         :name (z89 / name
                                                                    :op1 "Yan"
                                                                    :op2 "Zi"))
                                              :ARG1 (z90 / and
                                                         :op1 (z91 / invite-01
                                                                   :li 1
                                                                   :ARG0 (z96 / invite-01
                                                                              :li 2
                                                                              :ARG0 z96
                                                                              :ARG1 (z97 / person
                                                                                :wiki "Zeng_Yin"
                                                                                :name (z98 / name
                                                                                :op1 "Zeng"
                                                                                :op2 "Yin"))
                                                                              :ARG2 (z99 / member
                                                                                :ARG2-of (z100 / have-org-role-91
                                                                                :ARG0 z96
                                                                                :ARG1 z34)))
                                                                   :ARG1 (z92 / person
                                                                              :wiki "Zeng_Yin"
                                                                              :name (z93 / name
                                                                                :op1 "Zeng"
                                                                                :op2 "Yin"))
                                                                   :ARG2 (z94 / member
                                                                              :ARG2-of (z95 / have-org-role-91
                                                                                :ARG0 z96
                                                                                :ARG1 z38)))
                                                         :op2 z96
                                                         :op3 (z101 / invite-01
                                                                    :li 3
                                                                    :ARG0 z96
                                                                    :ARG1 (z1000 / person
                                                                                :wiki "Meng_Shen"
                                                                                :name (z1001 / name
                                                                                :op1 "Meng"
                                                                                :op2 "Shen"))
                                                                    :ARG2 (z1002 / member
                                                                                :ARG2-of (z1003 / have-org-role-91
                                                                                :ARG0 z99
                                                                                :ARG1 z34)))
                                                         :op4 (z1004 / invite-01
                                                                     :li 4
                                                                     :ARG0 z96
                                                                     :ARG1 (z1005 / person
                                                                                :wiki "Xun_Chen"
                                                                                :name (z1006 / name
                                                                                :op1 "Xun"
                                                                                :op2 "Chen"))
                                                                     :ARG2 (z1007 / have-org-role-91
                                                                                :ARG0 z96
                                                                                :ARG1 (z1008 / team
                                                                                :mod (z1009 / project)))))
                                              :op5 (z1010 / add-01
                                                          :ARG0 (z1011 / i)
                                                          :ARG1 (z1012 / possible-01
                                                                       :ARG1 (z1013 / become-01
                                                                                :ARG1 z1013
                                                                                :ARG2 (z1014 / host)))))
                                    :snt6 (z1015 / and
                                                 :op1 (z1016 / say-01
                                                             :ARG0 (z1017 / regulate-01)
                                                             :ARG1 (z1018 / have-03
                                                                          :ARG0 (z102 / person
                                                                                :wiki -
                                                                                :name (z1019 / name
                                                                                :op1 "Xun"
                                                                                :op2 "Chen"))
                                                                          :ARG1 (z1020 / one
                                                                                :mod (z1021 / only)
                                                                                :ARG0-of (z1022 / moderate-01
                                                                                :ARG1 (z1023 / project)))))
                                                 :op2 (z1024 / include-01
                                                             :ARG1 (z1025 / person
                                                                          :quant (z1026 / more-than
                                                                                :op1 2
                                                                                :ARG0-of (z1027 / have-org-role-91
                                                                                :ARG1 z1023
                                                                                :ARG2 (z1028 / member)))
                                                                          :ARG2 (z1029 / team
                                                                                :mod (z1030 / project)))))
                                    :op7 (z1031 / say-01
                                                :ARG0 (z1032 / person
                                                             :wiki -
                                                             :name (z1033 / name
                                                                          :op1 "Xun"
                                                                          :op2 "Chen")
                                                             :ARG0-of (z1034 / apply-01))
                                                :ARG1 (z1035 / have-org-role-91
                                                             :ARG1 (z1036 / team
                                                                          :mod (z1037 / project))
                                                             :ARG2 (z1038 / member)))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ and(z1) ∧ :op1(z1, z2) ∧ apply-01(z2) ∧ :ARG0(z2, z3) ∧ and(z3) ∧ :op1(z3, z4) ∧ person(z4) ∧ :wiki(z4, -) ∧ :name(z4, z5) ∧ name(z5) ∧ :op1(z5, "Yan") ∧ :op2(z5, "Zi") ∧ :op2(z3, z6) ∧ person(z6) ∧ :wiki(z6, -) ∧ :name(z6, z7) ∧ name(z7) ∧ :op1(z7, "Zeng") ∧ :op2(z7, "Yin") ∧ :op3(z3, z8) ∧ person(z8) ∧ :wiki(z8, "Chen_Ming-tong") ∧ :name(z8, z9) ∧ name(z9) ∧ :op1(z9, "Xun") ∧ :op2(z9, "Chen") ∧ :op4(z3, z10) ∧ person(z10) ∧ :wiki(z10, -) ∧ :name(z10, z11) ∧ name(z11) ∧ :op1(z11, "Meng") ∧ :op2(z11, "Shen") ∧ :op5(z3, z12) ∧ person(z12) ∧ :wiki(z12, -) ∧ :name(z12, z13) ∧ name(z13) ∧ :op1(z13, "Xun") ∧ :op2(z13, "Chen") ∧ :ARG1(z2, z14) ∧ project(z14) ∧ :topic(z14, z15) ∧ construct-01(z15) ∧ :ARG1(z15, z16) ∧ culture(z16) ∧ :mod(z16, z17) ∧ tradition(z17) ∧ :mod(z14, z18) ∧ country(z18) ∧ :wiki(z18, "China") ∧ :name(z18, z19) ∧ name(z19) ∧ :op1(z19, "China") ∧ :snt2(z1, z20) ∧ say-01(z20) ∧ :ARG0(z20, z21) ∧ regulate-01(z21) ∧ :ARG1(z20, z22) ∧ and(z22) ∧ :op1(z22, z23) ∧ possible-01(z23) ∧ :ARG1(z23, z24) ∧ have-03(z24) ∧ :ARG0(z24, z25) ∧ person(z25) ∧ :ARG0(z26, z25) ∧ moderate-01(z26) ∧ :ARG1(z26, z27) ∧ project(z27) ∧ :ARG1(z24, z28) ∧ one(z28) ∧ :mod(z28, z29) ∧ only(z29) ∧ :op2(z22, z30) ∧ select-01(z30) ∧ :ARG1(z30, z31) ∧ it(z31) ∧ :ARG3(z30, z32) ∧ person(z32) ∧ :quant(z32, 4) ∧ :ARG0(z33, z32) ∧ apply-01(z33) ∧ :location(z32, z34) ∧ above(z34) ∧ :op3(z22, z35) ∧ have-quant-91(z35) ∧ :ARG1(z35, z36) ∧ person(z36) ∧ :ARG0(z37, z36) ∧ have-org-role-91(z37) ∧ :ARG1(z37, z38) ∧ team(z38) ∧ :mod(z38, z39) ∧ project(z39) ∧ :ARG2(z37, z40) ∧ member(z40) ∧ ¬(:ARG3(z35, z41) ∧ more(z41)) ∧ :ARG4(z35, z42) ∧ person(z42) ∧ :quant(z42, z43) ∧ at-least(z43) ∧ :op1(z43, 2) ∧ :ARG0(z44, z42) ∧ have-org-role-91(z44) ∧ :ARG1(z44, z38) ∧ :ARG2(z44, z40) ∧ :ARG2(z45, z42) ∧ include-01(z45) ∧ :ARG1(z45, z25) ∧ :snt3(z1, z46) ∧ and(z46) ∧ :op2(z46, z47) ∧ state-01(z47) ∧ :ARG0(z47, z48) ∧ person(z48) ∧ :mod(z48, z49) ∧ all(z49) ∧ :ARG0(z50, z48) ∧ apply-01(z50) ∧ :ARG1(z47, z51) ∧ and(z51) ∧ :op1(z51, z52) ∧ :condition(z52, z57) ∧ become-01(z57) ∧ :ARG1(z57, z53) ∧ :ARG2(z57, z58) ∧ host(z58) ∧ invite-01(z52) ∧ :li(z52, 1) ∧ :ARG0(z52, z53) ∧ i(z53) ∧ :ARG1(z52, z54) ∧ or(z54) ∧ :op1(z54, z6) ∧ :op2(z54, z6) ∧ :op3(z54, z8) ∧ :ARG2(z52, z55) ∧ member(z55) ∧ :ARG2(z56, z55) ∧ have-org-role-91(z56) ∧ :ARG0(z56, z54) ∧ :ARG1(z56, z38) ∧ :op2(z51, z59) ∧ :condition(z59, z63) ∧ become-01(z63) ∧ :ARG1(z63, z53) ∧ :ARG2(z63, z64) ∧ host(z64) ∧ invite-01(z59) ∧ :li(z59, 2) ∧ :ARG0(z59, z53) ∧ :ARG1(z59, z60) ∧ or(z60) ∧ :op1(z60, z4) ∧ :op2(z60, z6) ∧ :op3(z60, z8) ∧ :ARG2(z59, z61) ∧ member(z61) ∧ :ARG2(z62, z61) ∧ have-org-role-91(z62) ∧ :ARG0(z62, z42) ∧ :ARG1(z62, z38) ∧ :op3(z51, z65) ∧ say-01(z65) ∧ :li(z65, 3) ∧ :ARG0(z65, z66) ∧ person(z66) ∧ :wiki(z66, "Chen_Ming-tong") ∧ :name(z66, z67) ∧ name(z67) ∧ :op1(z67, "Xun") ∧ :op2(z67, "Chen") ∧ :ARG1(z65, z68) ∧ :condition(z68, z71) ∧ become-01(z71) ∧ :ARG1(z71, z53) ∧ :ARG2(z71, z72) ∧ member(z72) ∧ :ARG2(z73, z72) ∧ have-org-role-91(z73) ∧ :ARG0(z73, z53) ∧ :ARG1(z73, z38) ∧ possible-01(z68) ∧ :ARG1(z68, z69) ∧ become-01(z69) ∧ :ARG1(z69, z53) ∧ :ARG2(z69, z70) ∧ host(z70) ∧ :op4(z51, z74) ∧ say-01(z74) ∧ :li(z74, 4) ∧ :ARG0(z74, z75) ∧ person(z75) ∧ :wiki(z75, "Meng_Shen") ∧ :name(z75, z76) ∧ name(z76) ∧ :op1(z76, "Meng") ∧ :op2(z76, "Shen") ∧ :ARG1(z74, z77) ∧ have-condition-91(z77) ∧ :ARG1(z77, z78) ∧ possible-01(z78) ∧ :ARG1(z78, z79) ∧ become-01(z79) ∧ :ARG1(z79, z53) ∧ :ARG2(z79, z80) ∧ host(z80) ∧ :ARG2(z77, z81) ∧ become-01(z81) ∧ :ARG1(z81, z53) ∧ :ARG2(z81, z82) ∧ member(z82) ∧ :ARG2(z83, z82) ∧ have-org-role-91(z83) ∧ :ARG0(z83, z53) ∧ :ARG1(z83, z38) ∧ :time(z47, z84) ∧ apply-01(z84) ∧ :ARG0(z84, z53) ∧ :ARG1(z84, z85) ∧ defend-01(z85) ∧ :snt4(z46, z86) ∧ and(z86) ∧ :op2(z86, z87) ∧ state-01(z87) ∧ :ARG0(z87, z88) ∧ person(z88) ∧ :wiki(z88, -) ∧ :name(z88, z89) ∧ name(z89) ∧ :op1(z89, "Yan") ∧ :op2(z89, "Zi") ∧ :ARG1(z87, z90) ∧ and(z90) ∧ :op1(z90, z91) ∧ invite-01(z91) ∧ :li(z91, 1) ∧ :ARG0(z91, z96) ∧ invite-01(z96) ∧ :li(z96, 2) ∧ :ARG0(z96, z96) ∧ :ARG1(z96, z97) ∧ person(z97) ∧ :wiki(z97, "Zeng_Yin") ∧ :name(z97, z98) ∧ name(z98) ∧ :op1(z98, "Zeng") ∧ :op2(z98, "Yin") ∧ :ARG2(z96, z99) ∧ member(z99) ∧ :ARG2(z100, z99) ∧ have-org-role-91(z100) ∧ :ARG0(z100, z96) ∧ :ARG1(z100, z34) ∧ :ARG1(z91, z92) ∧ person(z92) ∧ :wiki(z92, "Zeng_Yin") ∧ :name(z92, z93) ∧ name(z93) ∧ :op1(z93, "Zeng") ∧ :op2(z93, "Yin") ∧ :ARG2(z91, z94) ∧ member(z94) ∧ :ARG2(z95, z94) ∧ have-org-role-91(z95) ∧ :ARG0(z95, z96) ∧ :ARG1(z95, z38) ∧ :op2(z90, z96) ∧ :op3(z90, z101) ∧ invite-01(z101) ∧ :li(z101, 3) ∧ :ARG0(z101, z96) ∧ :ARG1(z101, z1000) ∧ person(z1000) ∧ :wiki(z1000, "Meng_Shen") ∧ :name(z1000, z1001) ∧ name(z1001) ∧ :op1(z1001, "Meng") ∧ :op2(z1001, "Shen") ∧ :ARG2(z101, z1002) ∧ member(z1002) ∧ :ARG2(z1003, z1002) ∧ have-org-role-91(z1003) ∧ :ARG0(z1003, z99) ∧ :ARG1(z1003, z34) ∧ :op4(z90, z1004) ∧ invite-01(z1004) ∧ :li(z1004, 4) ∧ :ARG0(z1004, z96) ∧ :ARG1(z1004, z1005) ∧ person(z1005) ∧ :wiki(z1005, "Xun_Chen") ∧ :name(z1005, z1006) ∧ name(z1006) ∧ :op1(z1006, "Xun") ∧ :op2(z1006, "Chen") ∧ :ARG2(z1004, z1007) ∧ have-org-role-91(z1007) ∧ :ARG0(z1007, z96) ∧ :ARG1(z1007, z1008) ∧ team(z1008) ∧ :mod(z1008, z1009) ∧ project(z1009) ∧ :op5(z87, z1010) ∧ add-01(z1010) ∧ :ARG0(z1010, z1011) ∧ i(z1011) ∧ :ARG1(z1010, z1012) ∧ possible-01(z1012) ∧ :ARG1(z1012, z1013) ∧ become-01(z1013) ∧ :ARG1(z1013, z1013) ∧ :ARG2(z1013, z1014) ∧ host(z1014) ∧ :snt6(z86, z1015) ∧ and(z1015) ∧ :op1(z1015, z1016) ∧ say-01(z1016) ∧ :ARG0(z1016, z1017) ∧ regulate-01(z1017) ∧ :ARG1(z1016, z1018) ∧ have-03(z1018) ∧ :ARG0(z1018, z102) ∧ person(z102) ∧ :wiki(z102, -) ∧ :name(z102, z1019) ∧ name(z1019) ∧ :op1(z1019, "Xun") ∧ :op2(z1019, "Chen") ∧ :ARG1(z1018, z1020) ∧ one(z1020) ∧ :mod(z1020, z1021) ∧ only(z1021) ∧ :ARG0(z1022, z1020) ∧ moderate-01(z1022) ∧ :ARG1(z1022, z1023) ∧ project(z1023) ∧ :op2(z1015, z1024) ∧ include-01(z1024) ∧ :ARG1(z1024, z1025) ∧ person(z1025) ∧ :quant(z1025, z1026) ∧ more-than(z1026) ∧ :op1(z1026, 2) ∧ :ARG0(z1027, z1026) ∧ have-org-role-91(z1027) ∧ :ARG1(z1027, z1023) ∧ :ARG2(z1027, z1028) ∧ member(z1028) ∧ :ARG2(z1025, z1029) ∧ team(z1029) ∧ :mod(z1029, z1030) ∧ project(z1030) ∧ :op7(z86, z1031) ∧ say-01(z1031) ∧ :ARG0(z1031, z1032) ∧ person(z1032) ∧ :wiki(z1032, -) ∧ :name(z1032, z1033) ∧ name(z1033) ∧ :op1(z1033, "Xun") ∧ :op2(z1033, "Chen") ∧ :ARG0(z1034, z1032) ∧ apply-01(z1034) ∧ :ARG1(z1031, z1035) ∧ have-org-role-91(z1035) ∧ :ARG1(z1035, z1036) ∧ team(z1036) ∧ :mod(z1036, z1037) ∧ project(z1037) ∧ :ARG2(z1035, z1038) ∧ member(z1038)