Marketing chief: The aggressive sales campaign of Product J has made it the most popular product in the sector. Every individual move we made in that campaign was wildly successful, and sales of the product continuously rose. If we mount a similar style sales campaign with Product S, we are likely to vault this into popularity in its own sector, with a similarly robust sales trajectory. Consultant: The popularity of Product J preceded the sales campaign and was responsible for it.

Question: The consultant uses which of the following techniques in responding to the marketing chief?

Choices:
- questioning the posited relationship of cause and effect
- strengthening the argument with further evidence
- citing evidence that contradicts the assumption of the argument
- pointing out that the same premises might support an opposing conclusion

(z0 / multi-sentence
    :snt1 (z1 / say-01
              :ARG0 (z2 / person
                        :ARG0-of (z3 / have-org-role-91
                                     :ARG2 (z4 / chief
                                               :topic (z5 / market-01))))
              :ARG1 (z6 / make-02
                        :ARG0 (z7 / campaign-01
                                  :ARG0 (z8 / product
                                            :wiki -
                                            :name (z9 / name
                                                      :op1 "Product"
                                                      :op2 "J"))
                                  :ARG1 (z10 / sell-01)
                                  :mod (z11 / aggressive))
                        :ARG1 (z12 / have-degree-91
                                   :ARG1 z8
                                   :ARG2 (z13 / popular-02
                                              :ARG1 z8)
                                   :ARG3 (z14 / most)
                                   :ARG5 (z15 / product
                                              :location (z16 / sector)))))
    :snt2 (z17 / and
               :op1 (z18 / succeed-01
                         :ARG0 (z19 / move-02
                                    :ARG0 (z20 / we)
                                    :mod (z21 / every)
                                    :mod (z22 / individual)
                                    :subevent-of (z23 / campaign-01
                                                      :mod (z24 / that)))
                         :manner (z25 / wild))
               :op2 (z26 / rise-01
                         :ARG1 (z27 / sell-01
                                    :ARG1 (z28 / product))
                         :ARG1-of (z29 / continue-01)))
    :snt3 (z30 / person
               :ARG0-of (z31 / consult-01))
    :snt4 (z32 / and
               :op1 (z33 / precede-01
                         :ARG1 (z34 / popularity
                                    :poss (z35 / product
                                               :wiki -
                                               :name (z36 / name
                                                          :op1 "Product"
                                                          :op2 "J")))
                         :ARG2 (z37 / campaign-01
                                    :ARG1 (z38 / sell-01)))
               :op2 (z39 / responsible-01
                         :ARG0 z34
                         :ARG1 z37))
    :snt5 (z40 / mount-02
               :ARG0 (z41 / we)
               :ARG1 (z42 / campaign-01
                          :ARG1 (z43 / sell-01)
                          :mod (z44 / style
                                    :ARG1-of (z45 / resemble-01
                                                  :ARG2 (z46 / style
                                                             :poss (z47 / campaign-01
                                                                        :ARG1 (z48 / sell-01)
                                                                        :prep-with (z49 / product
                                                                                :wiki -
                                                                                :name (z50 / name
                                                                                :op1 "Product"
                                                                                :op2 "S"))))))
                          :ARG0-of (z51 / have-03
                                        :ARG1 (z52 / trajectory
                                                   :mod (z53 / sell-01)
                                                   :mod (z54 / robust
                                                             :ARG1-of (z55 / resemble-01))
                                                   :ARG1-of (z56 / resemble-01))))
               :condition-of (z57 / likely-01
                                  :ARG1 (z58 / vault-01
                                             :ARG0 z41
                                             :ARG1 z41
                                             :ARG2 (z59 / popular-02
                                                        :ARG1 z41
                                                        :ARG2 z41
                                                        :location (z60 / sector
                                                                       :poss z41)))))
    :snt6 (z61 / person
               :ARG0-of (z62 / consult-01))
    :snt7 (z63 / say-01
               :ARG1 (z64 / and
                          :op1 (z65 / precede-01
                                    :ARG1 (z66 / popularity
                                               :poss (z67 / product
                                                          :wiki -
                                                          :name (z68 / name
                                                                     :op1 "Product"
                                                                     :op2 "J")))
                                    :ARG2 (z69 / campaign-01
                                               :ARG1 (z70 / sell-01)))
                          :op2 (z71 / responsible-01
                                    :ARG0 z66
                                    :ARG1 z66)))
    :snt8 (z72 / make-02
               :ARG0 (z73 / campaign-01
                          :ARG1 (z74 / sell-01)
                          :mod (z75 / aggressive))
               :ARG1 (z76 / have-degree-91
                          :ARG1 z67
                          :ARG2 (z1000 / popular-02
                                       :ARG1 z67)
                          :ARG3 (z1001 / most)
                          :ARG5 (z1002 / product
                                       :location (z1003 / sector))))
    :snt9 (z1004 / say-01
                 :ARG1 (z1005 / have-degree-91
                              :ARG1 z67
                              :ARG2 (z1006 / popular-02
                                           :ARG1 z67)
                              :ARG3 (z1007 / most)
                              :ARG5 (z1008 / product
                                           :location (z77 / sector)))
                 :snt10 (z78 / and
                             :op1 (z79 / succeed-01
                                       :ARG0 (z80 / move-02
                                                  :ARG0 (z81 / we)
                                                  :ARG1 (z82 / campaign-01
                                                             :ARG1 (z83 / sell-01)
                                                             :mod (z84 / style))
                                                  :mod (z85 / every)))
                             :op2 (z86 / rise-01
                                       :ARG1 (z87 / sell-01
                                                  :ARG1 z67)
                                       :manner (z88 / continue-01)))
                 :snt11 (z89 / and
                             :op1 (z90 / succeed-01
                                       :ARG0 (z91 / move-02
                                                  :ARG0 z81
                                                  :ARG1 (z92 / campaign-01
                                                             :ARG1 (z93 / sell-01)
                                                             :mod (z94 / every)
                                                             :mod (z95 / individual)))
                                       :op2 (z96 / rise-01
                                                 :ARG1 (z97 / sell-01
                                                            :ARG1 z67))))
                 :snt12 (z98 / say-01
                             :ARG1 (z99 / and
                                        :op1 (z100 / come-01
                                                   :ARG1 (z101 / popularity
                                                               :poss (z102 / product
                                                                           :wiki -
                                                                           :name (z1009 / name
                                                                                :op1 "Product"
                                                                                :op2 "J")))
                                                   :ARG4 (z1010 / campaign-01
                                                                :ARG1 (z1011 / sell-01))))
                             :op2 (z1012 / have-03
                                         :ARG0 z96
                                         :ARG1 (z1013 / go-on-15
                                                      :ARG1 (z1014 / go-on-15
                                                                   :ARG1 z99)))
                             :snt13 (z1015 / say-01
                                           :ARG1 (z1016 / and
                                                        :op1 (z1017 / come-01
                                                                    :ARG1 (z1018 / popularity
                                                                                :poss z81)
                                                                    :ARG4 (z1019 / popularity))
                                                        :prep-in (z103 / sector
                                                                       :poss z81)))
                             :snt14 (z104 / say-01
                                          :ARG1 (z105 / and
                                                      :op1 (z106 / come-01
                                                                 :ARG1 (z107 / popularity
                                                                             :poss z81)
                                                                 :ARG4 (z108 / popularity))
                                                      :op2 (z1020 / have-03
                                                                  :ARG0 z81
                                                                  :ARG1 (z1021 / campaign-01
                                                                               :ARG1 (z1022 / sell-01)
                                                                               :mod (z1023 / style
                                                                                :ARG1-of (z1024 / resemble-01
                                                                                :ARG2 (z1025 / style))))))
                                          :snt15 (z1026 / say-01
                                                        :ARG1 (z1027 / and
                                                                     :op1 (z1028 / come-01
                                                                                :ARG1 (z1029 / popularity
                                                                                :poss z81))
                                                                     :op2 (z1030 / have-03
                                                                                :ARG0 z81
                                                                                :ARG1 (z1031 / campaign-01
                                                                                :ARG1 (z1032 / product
                                                                                :wiki "Product_J"
                                                                                :name (z1033 / name
                                                                                :op1 "Product"
                                                                                :op2 "J")))))
                                                        :prep-in (z1034 / name
                                                                        :op1 (z1035 / name
                                                                                :op1 "Product"
                                                                                :op2 "J"))
                                                        :prep-inventive (z1036 / name
                                                                               :op1 "Product"
                                                                               :op2 "J"))
                                          :prep-in (z1037 / name
                                                          :op1 "Product"
                                                          :op2 "J")
                                          :prep-inventive (z1038 / name
                                                                 :op1 "Product"
                                                                 :op2 "J")
                                          :prep-invented-of (z1039 / name
                                                                   :op1 "Product"
                                                                   :op2 "J"))
                             :prep-inventing (z1040 / name)
                             :op1 "Product"
                             :op6 "A")))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ say-01(z1) ∧ :ARG0(z1, z2) ∧ person(z2) ∧ :ARG0(z3, z2) ∧ have-org-role-91(z3) ∧ :ARG2(z3, z4) ∧ chief(z4) ∧ :topic(z4, z5) ∧ market-01(z5) ∧ :ARG1(z1, z6) ∧ make-02(z6) ∧ :ARG0(z6, z7) ∧ campaign-01(z7) ∧ :ARG0(z7, z8) ∧ product(z8) ∧ :wiki(z8, -) ∧ :name(z8, z9) ∧ name(z9) ∧ :op1(z9, "Product") ∧ :op2(z9, "J") ∧ :ARG1(z7, z10) ∧ sell-01(z10) ∧ :mod(z7, z11) ∧ aggressive(z11) ∧ :ARG1(z6, z12) ∧ have-degree-91(z12) ∧ :ARG1(z12, z8) ∧ :ARG2(z12, z13) ∧ popular-02(z13) ∧ :ARG1(z13, z8) ∧ :ARG3(z12, z14) ∧ most(z14) ∧ :ARG5(z12, z15) ∧ product(z15) ∧ :location(z15, z16) ∧ sector(z16) ∧ :snt2(z0, z17) ∧ and(z17) ∧ :op1(z17, z18) ∧ succeed-01(z18) ∧ :ARG0(z18, z19) ∧ move-02(z19) ∧ :ARG0(z19, z20) ∧ we(z20) ∧ :mod(z19, z21) ∧ every(z21) ∧ :mod(z19, z22) ∧ individual(z22) ∧ :subevent(z23, z19) ∧ campaign-01(z23) ∧ :mod(z23, z24) ∧ that(z24) ∧ :manner(z18, z25) ∧ wild(z25) ∧ :op2(z17, z26) ∧ rise-01(z26) ∧ :ARG1(z26, z27) ∧ sell-01(z27) ∧ :ARG1(z27, z28) ∧ product(z28) ∧ :ARG1(z29, z26) ∧ continue-01(z29) ∧ :snt3(z0, z30) ∧ person(z30) ∧ :ARG0(z31, z30) ∧ consult-01(z31) ∧ :snt4(z0, z32) ∧ and(z32) ∧ :op1(z32, z33) ∧ precede-01(z33) ∧ :ARG1(z33, z34) ∧ popularity(z34) ∧ :poss(z34, z35) ∧ product(z35) ∧ :wiki(z35, -) ∧ :name(z35, z36) ∧ name(z36) ∧ :op1(z36, "Product") ∧ :op2(z36, "J") ∧ :ARG2(z33, z37) ∧ campaign-01(z37) ∧ :ARG1(z37, z38) ∧ sell-01(z38) ∧ :op2(z32, z39) ∧ responsible-01(z39) ∧ :ARG0(z39, z34) ∧ :ARG1(z39, z37) ∧ :snt5(z0, z40) ∧ mount-02(z40) ∧ :ARG0(z40, z41) ∧ we(z41) ∧ :ARG1(z40, z42) ∧ campaign-01(z42) ∧ :ARG1(z42, z43) ∧ sell-01(z43) ∧ :mod(z42, z44) ∧ style(z44) ∧ :ARG1(z45, z44) ∧ resemble-01(z45) ∧ :ARG2(z45, z46) ∧ style(z46) ∧ :poss(z46, z47) ∧ campaign-01(z47) ∧ :ARG1(z47, z48) ∧ sell-01(z48) ∧ :prep-with(z47, z49) ∧ product(z49) ∧ :wiki(z49, -) ∧ :name(z49, z50) ∧ name(z50) ∧ :op1(z50, "Product") ∧ :op2(z50, "S") ∧ :ARG0(z51, z42) ∧ have-03(z51) ∧ :ARG1(z51, z52) ∧ trajectory(z52) ∧ :mod(z52, z53) ∧ sell-01(z53) ∧ :mod(z52, z54) ∧ robust(z54) ∧ :ARG1(z55, z54) ∧ resemble-01(z55) ∧ :ARG1(z56, z52) ∧ resemble-01(z56) ∧ :condition(z57, z40) ∧ likely-01(z57) ∧ :ARG1(z57, z58) ∧ vault-01(z58) ∧ :ARG0(z58, z41) ∧ :ARG1(z58, z41) ∧ :ARG2(z58, z59) ∧ popular-02(z59) ∧ :ARG1(z59, z41) ∧ :ARG2(z59, z41) ∧ :location(z59, z60) ∧ sector(z60) ∧ :poss(z60, z41) ∧ :snt6(z0, z61) ∧ person(z61) ∧ :ARG0(z62, z61) ∧ consult-01(z62) ∧ :snt7(z0, z63) ∧ say-01(z63) ∧ :ARG1(z63, z64) ∧ and(z64) ∧ :op1(z64, z65) ∧ precede-01(z65) ∧ :ARG1(z65, z66) ∧ popularity(z66) ∧ :poss(z66, z67) ∧ product(z67) ∧ :wiki(z67, -) ∧ :name(z67, z68) ∧ name(z68) ∧ :op1(z68, "Product") ∧ :op2(z68, "J") ∧ :ARG2(z65, z69) ∧ campaign-01(z69) ∧ :ARG1(z69, z70) ∧ sell-01(z70) ∧ :op2(z64, z71) ∧ responsible-01(z71) ∧ :ARG0(z71, z66) ∧ :ARG1(z71, z66) ∧ :snt8(z0, z72) ∧ make-02(z72) ∧ :ARG0(z72, z73) ∧ campaign-01(z73) ∧ :ARG1(z73, z74) ∧ sell-01(z74) ∧ :mod(z73, z75) ∧ aggressive(z75) ∧ :ARG1(z72, z76) ∧ have-degree-91(z76) ∧ :ARG1(z76, z67) ∧ :ARG2(z76, z1000) ∧ popular-02(z1000) ∧ :ARG1(z1000, z67) ∧ :ARG3(z76, z1001) ∧ most(z1001) ∧ :ARG5(z76, z1002) ∧ product(z1002) ∧ :location(z1002, z1003) ∧ sector(z1003) ∧ :snt9(z0, z1004) ∧ say-01(z1004) ∧ :ARG1(z1004, z1005) ∧ have-degree-91(z1005) ∧ :ARG1(z1005, z67) ∧ :ARG2(z1005, z1006) ∧ popular-02(z1006) ∧ :ARG1(z1006, z67) ∧ :ARG3(z1005, z1007) ∧ most(z1007) ∧ :ARG5(z1005, z1008) ∧ product(z1008) ∧ :location(z1008, z77) ∧ sector(z77) ∧ :snt10(z1004, z78) ∧ and(z78) ∧ :op1(z78, z79) ∧ succeed-01(z79) ∧ :ARG0(z79, z80) ∧ move-02(z80) ∧ :ARG0(z80, z81) ∧ we(z81) ∧ :ARG1(z80, z82) ∧ campaign-01(z82) ∧ :ARG1(z82, z83) ∧ sell-01(z83) ∧ :mod(z82, z84) ∧ style(z84) ∧ :mod(z80, z85) ∧ every(z85) ∧ :op2(z78, z86) ∧ rise-01(z86) ∧ :ARG1(z86, z87) ∧ sell-01(z87) ∧ :ARG1(z87, z67) ∧ :manner(z86, z88) ∧ continue-01(z88) ∧ :snt11(z1004, z89) ∧ and(z89) ∧ :op1(z89, z90) ∧ succeed-01(z90) ∧ :ARG0(z90, z91) ∧ move-02(z91) ∧ :ARG0(z91, z81) ∧ :ARG1(z91, z92) ∧ campaign-01(z92) ∧ :ARG1(z92, z93) ∧ sell-01(z93) ∧ :mod(z92, z94) ∧ every(z94) ∧ :mod(z92, z95) ∧ individual(z95) ∧ :op2(z90, z96) ∧ rise-01(z96) ∧ :ARG1(z96, z97) ∧ sell-01(z97) ∧ :ARG1(z97, z67) ∧ :snt12(z1004, z98) ∧ say-01(z98) ∧ :ARG1(z98, z99) ∧ and(z99) ∧ :op1(z99, z100) ∧ come-01(z100) ∧ :ARG1(z100, z101) ∧ popularity(z101) ∧ :poss(z101, z102) ∧ product(z102) ∧ :wiki(z102, -) ∧ :name(z102, z1009) ∧ name(z1009) ∧ :op1(z1009, "Product") ∧ :op2(z1009, "J") ∧ :ARG4(z100, z1010) ∧ campaign-01(z1010) ∧ :ARG1(z1010, z1011) ∧ sell-01(z1011) ∧ :op2(z98, z1012) ∧ have-03(z1012) ∧ :ARG0(z1012, z96) ∧ :ARG1(z1012, z1013) ∧ go-on-15(z1013) ∧ :ARG1(z1013, z1014) ∧ go-on-15(z1014) ∧ :ARG1(z1014, z99) ∧ :snt13(z98, z1015) ∧ say-01(z1015) ∧ :ARG1(z1015, z1016) ∧ and(z1016) ∧ :op1(z1016, z1017) ∧ come-01(z1017) ∧ :ARG1(z1017, z1018) ∧ popularity(z1018) ∧ :poss(z1018, z81) ∧ :ARG4(z1017, z1019) ∧ popularity(z1019) ∧ :prep-in(z1016, z103) ∧ sector(z103) ∧ :poss(z103, z81) ∧ :snt14(z98, z104) ∧ say-01(z104) ∧ :ARG1(z104, z105) ∧ and(z105) ∧ :op1(z105, z106) ∧ come-01(z106) ∧ :ARG1(z106, z107) ∧ popularity(z107) ∧ :poss(z107, z81) ∧ :ARG4(z106, z108) ∧ popularity(z108) ∧ :op2(z105, z1020) ∧ have-03(z1020) ∧ :ARG0(z1020, z81) ∧ :ARG1(z1020, z1021) ∧ campaign-01(z1021) ∧ :ARG1(z1021, z1022) ∧ sell-01(z1022) ∧ :mod(z1021, z1023) ∧ style(z1023) ∧ :ARG1(z1024, z1023) ∧ resemble-01(z1024) ∧ :ARG2(z1024, z1025) ∧ style(z1025) ∧ :snt15(z104, z1026) ∧ say-01(z1026) ∧ :ARG1(z1026, z1027) ∧ and(z1027) ∧ :op1(z1027, z1028) ∧ come-01(z1028) ∧ :ARG1(z1028, z1029) ∧ popularity(z1029) ∧ :poss(z1029, z81) ∧ :op2(z1027, z1030) ∧ have-03(z1030) ∧ :ARG0(z1030, z81) ∧ :ARG1(z1030, z1031) ∧ campaign-01(z1031) ∧ :ARG1(z1031, z1032) ∧ product(z1032) ∧ :wiki(z1032, "Product_J") ∧ :name(z1032, z1033) ∧ name(z1033) ∧ :op1(z1033, "Product") ∧ :op2(z1033, "J") ∧ :prep-in(z1026, z1034) ∧ name(z1034) ∧ :op1(z1034, z1035) ∧ name(z1035) ∧ :op1(z1035, "Product") ∧ :op2(z1035, "J") ∧ :prep-inventive(z1026, z1036) ∧ name(z1036) ∧ :op1(z1036, "Product") ∧ :op2(z1036, "J") ∧ :prep-in(z104, z1037) ∧ name(z1037) ∧ :op1(z1037, "Product") ∧ :op2(z1037, "J") ∧ :prep-inventive(z104, z1038) ∧ name(z1038) ∧ :op1(z1038, "Product") ∧ :op2(z1038, "J") ∧ :prep-invented(z1039, z104) ∧ name(z1039) ∧ :op1(z1039, "Product") ∧ :op2(z1039, "J") ∧ :prep-inventing(z98, z1040) ∧ name(z1040) ∧ :op1(z98, "Product") ∧ :op6(z98, "A")


Peace in Asia and Africa is guaranteed, then world peace is guaranteed. Only when terrorism is completely eradicated can world peace be guaranteed. But in fact, terrorism continues to create trouble in the Middle East.

Question: Which of the following options can be inferred?

Choices:
- If peace in Asia is guaranteed, then peace in Africa is guaranteed.
- Peace in Africa is not yet guaranteed.
- Peace in Asia is not guaranteed.
- If peace in Asia is guaranteed, then peace in Africa is not guaranteed.

(z0 / multi-sentence
    :snt1 (z1 / have-condition-91
              :ARG1 (z2 / guarantee-01
                        :ARG1 (z3 / peace
                                  :location (z4 / and
                                                :op1 (z5 / continent
                                                         :wiki "Asia"
                                                         :name (z6 / name
                                                                   :op1 "Asia"))
                                                :op2 (z7 / continent
                                                         :wiki "Africa"
                                                         :name (z8 / name
                                                                   :op1 "Africa")))))
              :ARG2 (z9 / guarantee-01
                        :ARG1 (z10 / peace
                                   :mod (z11 / world))
                        :time (z12 / then)))
    :snt2 (z13 / possible-01
               :ARG1 (z14 / guarantee-01
                          :ARG1 (z15 / peace
                                     :mod (z16 / world))
                          :time (z17 / eradicate-01
                                     :ARG1 (z18 / terrorism)
                                     :ARG1-of (z19 / complete-02)
                                     :mod (z20 / only))))
    :snt3 (z21 / contrast-01
               :ARG2 (z22 / continue-01
                          :ARG0 (z23 / terrorism)
                          :ARG1 (z24 / make-trouble-06
                                     :ARG0 z23
                                     :ARG1 (z25 / world-region
                                                :wiki "Middle_East"
                                                :name (z26 / name
                                                           :op1 "Middle"
                                                           :op2 "East")))
                          :mod (z27 / in-fact)))
    :snt4 (z28 / go-01
               :ARG1 (z29 / peace)
               :direction (z30 / out)
               :time (z31 / after
                          :op1 (z32 / pass-03
                                    :ARG1 (z33 / peace))))
    :snt5 (z34 / possible-01
               :ARG1 (z35 / guarantee-01
                          :ARG1 (z36 / peace
                                     :mod (z37 / world))
                          :time (z38 / eradicate-01
                                     :ARG1 (z39 / terrorism)
                                     :ARG1-of (z40 / complete-02)))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ have-condition-91(z1) ∧ :ARG1(z1, z2) ∧ guarantee-01(z2) ∧ :ARG1(z2, z3) ∧ peace(z3) ∧ :location(z3, z4) ∧ and(z4) ∧ :op1(z4, z5) ∧ continent(z5) ∧ :wiki(z5, "Asia") ∧ :name(z5, z6) ∧ name(z6) ∧ :op1(z6, "Asia") ∧ :op2(z4, z7) ∧ continent(z7) ∧ :wiki(z7, "Africa") ∧ :name(z7, z8) ∧ name(z8) ∧ :op1(z8, "Africa") ∧ :ARG2(z1, z9) ∧ guarantee-01(z9) ∧ :ARG1(z9, z10) ∧ peace(z10) ∧ :mod(z10, z11) ∧ world(z11) ∧ :time(z9, z12) ∧ then(z12) ∧ :snt2(z0, z13) ∧ possible-01(z13) ∧ :ARG1(z13, z14) ∧ guarantee-01(z14) ∧ :ARG1(z14, z15) ∧ peace(z15) ∧ :mod(z15, z16) ∧ world(z16) ∧ :time(z14, z17) ∧ eradicate-01(z17) ∧ :ARG1(z17, z18) ∧ terrorism(z18) ∧ :ARG1(z19, z17) ∧ complete-02(z19) ∧ :mod(z17, z20) ∧ only(z20) ∧ :snt3(z0, z21) ∧ contrast-01(z21) ∧ :ARG2(z21, z22) ∧ continue-01(z22) ∧ :ARG0(z22, z23) ∧ terrorism(z23) ∧ :ARG1(z22, z24) ∧ make-trouble-06(z24) ∧ :ARG0(z24, z23) ∧ :ARG1(z24, z25) ∧ world-region(z25) ∧ :wiki(z25, "Middle_East") ∧ :name(z25, z26) ∧ name(z26) ∧ :op1(z26, "Middle") ∧ :op2(z26, "East") ∧ :mod(z22, z27) ∧ in-fact(z27) ∧ :snt4(z0, z28) ∧ go-01(z28) ∧ :ARG1(z28, z29) ∧ peace(z29) ∧ :direction(z28, z30) ∧ out(z30) ∧ :time(z28, z31) ∧ after(z31) ∧ :op1(z31, z32) ∧ pass-03(z32) ∧ :ARG1(z32, z33) ∧ peace(z33) ∧ :snt5(z0, z34) ∧ possible-01(z34) ∧ :ARG1(z34, z35) ∧ guarantee-01(z35) ∧ :ARG1(z35, z36) ∧ peace(z36) ∧ :mod(z36, z37) ∧ world(z37) ∧ :time(z35, z38) ∧ eradicate-01(z38) ∧ :ARG1(z38, z39) ∧ terrorism(z39) ∧ :ARG1(z40, z38) ∧ complete-02(z40)


Smartwatch has developed rapidly in recent years, it has many functions that traditional watches do not have, such as real-time sending and receiving text messages and emails, real-time monitoring of exercise status, obtaining the data of the blood pressure and pulse and so on.Because of these advantages of smartwatch, more and more people buy smartwatch. On this basis, Zhang Nan predicts that in a few years, factories that make traditional watches will eventually close down.

Question: Which of the followings, if true, can most weaken Zhang Nan's conclusion?

Choices:
- Because smartwatches are expensive, some consumers will not buy smartwatches.
- Although traditional watches have a single function, people who are used to wearing them are reluctant to switch to smartwatches.
- Most manufacturers of traditional watches make not only traditional watches but also smartwatches.
- Many smartwatches need to be used with smartphones, which makes many people feel troublesome.

(z0 / multi-sentence
    :snt1 (z1 / and
              :op1 (z2 / develop-02
                       :ARG1 (z3 / smartwatch)
                       :manner (z4 / rapid)
                       :time (z5 / year
                                 :mod (z6 / recent)))
              :op2 (z7 / have-03
                       :ARG0 z3
                       :ARG1 (z8 / function
                                 :quant (z9 / many)
                                 :ARG1-of (z10 / have-03
                                               :polarity -
                                               :ARG0 (z11 / watch
                                                          :mod (z12 / traditional)))
                                 :example (z13 / and
                                               :op1 (z14 / and
                                                         :op1 (z15 / send-01
                                                                   :ARG1 (z16 / and
                                                                              :op1 (z17 / message-01
                                                                                :ARG1 (z18 / text-01))
                                                                              :op2 (z19 / email-01)))
                                                         :op2 (z20 / receive-01
                                                                   :ARG1 z16)
                                                         :time (z21 / real-time))
                                               :op2 (z22 / monitor-01
                                                         :ARG1 (z23 / status
                                                                    :mod (z24 / exercise-02))
                                                         :time z21)
                                               :op3 (z25 / obtain-01
                                                         :ARG1 (z26 / data
                                                                    :topic (z27 / and
                                                                                :op1 (z28 / pressure
                                                                                :mod (z29 / blood))
                                                                                :op2 (z30 / pulse))))
                                               :op4 (z31 / et-cetera)))))
    :snt2 (z32 / cause-01
               :ARG0 (z33 / advantage-01
                          :ARG1 (z34 / smartwatch)
                          :ARG2 (z35 / person
                                     :quant (z36 / number
                                                 :ARG1-of (z37 / increase-01))))
               :ARG1 (z38 / buy-01
                          :ARG0 (z39 / person)
                          :ARG1 z34))
    :snt3 (z40 / base-02
               :ARG1 (z41 / predict-01
                          :ARG0 (z42 / person
                                     :wiki "Zhang_Nan"
                                     :name (z43 / name
                                                :op1 "Zhang"
                                                :op2 "Nan"))
                          :ARG1 (z44 / close-down-04
                                     :ARG1 (z45 / factory
                                                :ARG0-of (z46 / make-01
                                                              :ARG1 (z47 / watch
                                                                         :mod (z48 / traditional))))
                                     :time (z49 / eventual)
                                     :time (z50 / after
                                                :op1 (z51 / now)
                                                :quant (z52 / few
                                                            :op1 (z53 / temporal-quantity
                                                                      :quant 1
                                                                      :unit (z54 / year)))))
                          :ARG1-of (z55 / cause-01
                                        :ARG0 (z56 / this))))
    :snt4 (z57 / cause-01
               :ARG0 (z58 / this)
               :ARG1 (z59 / predict-01
                          :ARG0 (z60 / person
                                     :wiki -
                                     :name (z61 / name
                                                :op1 "Zhang"
                                                :op2 "Nan"))
                          :ARG1 (z62 / close-down-04
                                     :ARG1 (z63 / factory
                                                :ARG0-of (z64 / make-01
                                                              :ARG1 (z65 / watch
                                                                         :mod (z66 / traditional))))
                                     :time (z67 / eventual))))
    :snt6 (z68 / and
               :op1 (z69 / develop-02
                         :ARG1 (z70 / smartwatch)
                         :manner (z71 / rapid)
                         :time (z72 / year
                                    :mod (z73 / recent)))
               :op2 (z74 / have-03
                         :ARG0 z70
                         :ARG1 (z75 / function
                                    :quant (z76 / many)
                                    :ARG1-of (z77 / have-03
                                                  :polarity -
                                                  :ARG0 z11)
                                    :example (z78 / and
                                                  :op1 (z79 / and
                                                            :op1 (z80 / send-01
                                                                      :ARG1 (z81 / and
                                                                                :op1 (z82 / message
                                                                                :ARG1-of (z83 / text-01))
                                                                                :op2 (z84 / email-01))
                                                                      :time (z85 / real-time))
                                                            :op2 (z86 / receive-01
                                                                      :ARG1 (z87 / and
                                                                                :op1 (z88 / and
                                                                                :op1 (z89 / message-01)
                                                                                :op2 (z90 / email-01))
                                                                                :time (z91 / real-time)))
                                                            :op3 (z92 / obtain-01
                                                                      :ARG1 (z93 / data
                                                                                :topic (z94 / and
                                                                                :op1 (z95 / pressure
                                                                                :mod (z96 / blood))
                                                                                :op2 (z97 / pulse)))
                                                                      :time (z98 / real-time))
                                                            :op4 (z99 / et-cetera))))))
    :ARG0 (z101 / advantage-01
                :ARG1 (z102 / smartwatch))
    :ARG1 (z103 / buy-01
                :ARG0 (z1000 / person)))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ and(z1) ∧ :op1(z1, z2) ∧ develop-02(z2) ∧ :ARG1(z2, z3) ∧ smartwatch(z3) ∧ :manner(z2, z4) ∧ rapid(z4) ∧ :time(z2, z5) ∧ year(z5) ∧ :mod(z5, z6) ∧ recent(z6) ∧ :op2(z1, z7) ∧ have-03(z7) ∧ :ARG0(z7, z3) ∧ :ARG1(z7, z8) ∧ function(z8) ∧ :quant(z8, z9) ∧ many(z9) ∧ ¬(:ARG1(z10, z8) ∧ have-03(z10) ∧ :ARG0(z10, z11) ∧ watch(z11) ∧ :mod(z11, z12) ∧ traditional(z12)) ∧ :example(z8, z13) ∧ and(z13) ∧ :op1(z13, z14) ∧ and(z14) ∧ :op1(z14, z15) ∧ send-01(z15) ∧ :ARG1(z15, z16) ∧ and(z16) ∧ :op1(z16, z17) ∧ message-01(z17) ∧ :ARG1(z17, z18) ∧ text-01(z18) ∧ :op2(z16, z19) ∧ email-01(z19) ∧ :op2(z14, z20) ∧ receive-01(z20) ∧ :ARG1(z20, z16) ∧ :time(z14, z21) ∧ real-time(z21) ∧ :op2(z13, z22) ∧ monitor-01(z22) ∧ :ARG1(z22, z23) ∧ status(z23) ∧ :mod(z23, z24) ∧ exercise-02(z24) ∧ :time(z22, z21) ∧ :op3(z13, z25) ∧ obtain-01(z25) ∧ :ARG1(z25, z26) ∧ data(z26) ∧ :topic(z26, z27) ∧ and(z27) ∧ :op1(z27, z28) ∧ pressure(z28) ∧ :mod(z28, z29) ∧ blood(z29) ∧ :op2(z27, z30) ∧ pulse(z30) ∧ :op4(z13, z31) ∧ et-cetera(z31) ∧ :snt2(z0, z32) ∧ cause-01(z32) ∧ :ARG0(z32, z33) ∧ advantage-01(z33) ∧ :ARG1(z33, z34) ∧ smartwatch(z34) ∧ :ARG2(z33, z35) ∧ person(z35) ∧ :quant(z35, z36) ∧ number(z36) ∧ :ARG1(z37, z36) ∧ increase-01(z37) ∧ :ARG1(z32, z38) ∧ buy-01(z38) ∧ :ARG0(z38, z39) ∧ person(z39) ∧ :ARG1(z38, z34) ∧ :snt3(z0, z40) ∧ base-02(z40) ∧ :ARG1(z40, z41) ∧ predict-01(z41) ∧ :ARG0(z41, z42) ∧ person(z42) ∧ :wiki(z42, "Zhang_Nan") ∧ :name(z42, z43) ∧ name(z43) ∧ :op1(z43, "Zhang") ∧ :op2(z43, "Nan") ∧ :ARG1(z41, z44) ∧ close-down-04(z44) ∧ :ARG1(z44, z45) ∧ factory(z45) ∧ :ARG0(z46, z45) ∧ make-01(z46) ∧ :ARG1(z46, z47) ∧ watch(z47) ∧ :mod(z47, z48) ∧ traditional(z48) ∧ :time(z44, z49) ∧ eventual(z49) ∧ :time(z44, z50) ∧ after(z50) ∧ :op1(z50, z51) ∧ now(z51) ∧ :quant(z50, z52) ∧ few(z52) ∧ :op1(z52, z53) ∧ temporal-quantity(z53) ∧ :quant(z53, 1) ∧ :unit(z53, z54) ∧ year(z54) ∧ :ARG1(z55, z41) ∧ cause-01(z55) ∧ :ARG0(z55, z56) ∧ this(z56) ∧ :snt4(z0, z57) ∧ cause-01(z57) ∧ :ARG0(z57, z58) ∧ this(z58) ∧ :ARG1(z57, z59) ∧ predict-01(z59) ∧ :ARG0(z59, z60) ∧ person(z60) ∧ :wiki(z60, -) ∧ :name(z60, z61) ∧ name(z61) ∧ :op1(z61, "Zhang") ∧ :op2(z61, "Nan") ∧ :ARG1(z59, z62) ∧ close-down-04(z62) ∧ :ARG1(z62, z63) ∧ factory(z63) ∧ :ARG0(z64, z63) ∧ make-01(z64) ∧ :ARG1(z64, z65) ∧ watch(z65) ∧ :mod(z65, z66) ∧ traditional(z66) ∧ :time(z62, z67) ∧ eventual(z67) ∧ :snt6(z0, z68) ∧ and(z68) ∧ :op1(z68, z69) ∧ develop-02(z69) ∧ :ARG1(z69, z70) ∧ smartwatch(z70) ∧ :manner(z69, z71) ∧ rapid(z71) ∧ :time(z69, z72) ∧ year(z72) ∧ :mod(z72, z73) ∧ recent(z73) ∧ :op2(z68, z74) ∧ have-03(z74) ∧ :ARG0(z74, z70) ∧ :ARG1(z74, z75) ∧ function(z75) ∧ :quant(z75, z76) ∧ many(z76) ∧ ¬(:ARG1(z77, z75) ∧ have-03(z77) ∧ :ARG0(z77, z11)) ∧ :example(z75, z78) ∧ and(z78) ∧ :op1(z78, z79) ∧ and(z79) ∧ :op1(z79, z80) ∧ send-01(z80) ∧ :ARG1(z80, z81) ∧ and(z81) ∧ :op1(z81, z82) ∧ message(z82) ∧ :ARG1(z83, z82) ∧ text-01(z83) ∧ :op2(z81, z84) ∧ email-01(z84) ∧ :time(z80, z85) ∧ real-time(z85) ∧ :op2(z79, z86) ∧ receive-01(z86) ∧ :ARG1(z86, z87) ∧ and(z87) ∧ :op1(z87, z88) ∧ and(z88) ∧ :op1(z88, z89) ∧ message-01(z89) ∧ :op2(z88, z90) ∧ email-01(z90) ∧ :time(z87, z91) ∧ real-time(z91) ∧ :op3(z79, z92) ∧ obtain-01(z92) ∧ :ARG1(z92, z93) ∧ data(z93) ∧ :topic(z93, z94) ∧ and(z94) ∧ :op1(z94, z95) ∧ pressure(z95) ∧ :mod(z95, z96) ∧ blood(z96) ∧ :op2(z94, z97) ∧ pulse(z97) ∧ :time(z92, z98) ∧ real-time(z98) ∧ :op4(z79, z99) ∧ et-cetera(z99) ∧ :ARG0(z0, z101) ∧ advantage-01(z101) ∧ :ARG1(z101, z102) ∧ smartwatch(z102) ∧ :ARG1(z0, z103) ∧ buy-01(z103) ∧ :ARG0(z103, z1000) ∧ person(z1000)


Common sense tells us that the more elegant art, the more classics that can stand the test of history. At the beginning, they can't appreciate it. To learn to appreciate, we have to rely on edification. From never understanding to understanding, from never appreciating to learning to appreciate, from unconsciously understanding knowledge and reason, to consciously entering the school to receive preaching and teaching, is the step of civilization. In the final analysis, the process of aesthetics, it is a process from not understanding to understanding. Reading is the same. Common sense also tells us that reading a difficult and good book, especially a classic, is better than reading many ordinary books. Traditional Chinese education pays attention to reading an reciting, and old-style private schools asked the students to read, recite and may be punished. Now it seems that in addition to be punished, reading can be discussed. There is no need to say more about the benefits of reciting.

Question: From the above words, which of the following options can be inferred as the author's intention?

Choices:
- It shows that reading is not much.
- It persuades everyone to read something they don't understand.
- It affirms the reading and reciting method of Chinese traditional education.
- It points out that the improvement of cultural cultivation needs the edification of classical works.

(z0 / multi-sentence
    :snt1 (z1 / contrast-01
              :ARG1 (z2 / possible-01
                        :polarity -
                        :ARG1 (z3 / appreciate-02
                                  :ARG0 (z4 / they)
                                  :ARG1 (z5 / it))
                        :time (z6 / begin-01))
              :ARG2 (z7 / obligate-01
                        :ARG2 (z8 / rely-01
                                  :ARG0 (z9 / we)
                                  :ARG1 (z10 / educate-01
                                             :ARG1 z9))
                        :purpose (z11 / learn-01
                                      :ARG0 z9
                                      :ARG1 (z12 / appreciate-02
                                                 :ARG0 z9))))
    :snt2 (z13 / step-01
               :ARG2 (z14 / civilization)
               :ARG4 (z15 / and
                          :op1 (z16 / understand-01
                                    :polarity -
                                    :ARG0 (z19 / appreciate-02))
                          :op2 (z17 / appreciate-02
                                    :ARG0 z19)
                          :op3 (z18 / learn-01
                                    :ARG0 z19
                                    :ARG1 z19)
                          :op4 (z20 / understand-01
                                    :ARG0 z19)
                          :op5 (z21 / understand-01
                                    :ARG0 z19)
                          :op6 (z22 / understand-01
                                    :polarity -
                                    :ARG0 z19)
                          :op7 (z23 / understand-01
                                    :ARG0 z19
                                    :manner (z24 / conscious
                                                 :polarity -))
                          :op8 (z25 / understand-01
                                    :ARG0 z19
                                    :ARG1 (z26 / and
                                               :op1 (z27 / thing
                                                         :ARG1-of (z28 / know-01))
                                               :op2 (z29 / reason)))
                          :op9 (z30 / enter-01
                                    :ARG0 z19
                                    :ARG1 (z31 / school)
                                    :purpose (z32 / receive-01
                                                  :ARG0 z19
                                                  :ARG1 (z33 / and
                                                             :op1 (z34 / preach-01
                                                                       :ARG0 z19)
                                                             :op2 (z35 / teach-01
                                                                       :ARG0 z19))))
                          :op10 (z36 / step-01
                                     :ARG2 (z37 / civilization)
                                     :ARG4 (z38 / and
                                                :op1 (z39 / understand-01
                                                          :polarity -
                                                          :ARG0 z19)
                                                :op2 (z40 / understand-01
                                                          :ARG0 z19))
                                     :op11 (z41 / enter-01
                                                :ARG0 z19
                                                :ARG1 (z42 / school)
                                                :purpose (z43 / receive-01
                                                              :ARG0 z19
                                                              :ARG1 (z44 / and
                                                                         :op1 (z45 / preach-01
                                                                                :ARG0 z19)
                                                                         :op2 (z46 / teach-01
                                                                                :ARG0 z19))))
                                     :op12 (z47 / process-01
                                                :ARG1 (z48 / understand-01)
                                                :destination (z49 / understand-01))
                                     :op13 (z50 / process-01
                                                :ARG1 (z51 / architecture)
                                                :mod (z52 / final))
                                     :op14 (z53 / same-01
                                                :ARG1 (z54 / read-01))))
               :snt3 (z55 / tell-01
                          :ARG0 (z56 / sense-01
                                     :mod (z57 / common))
                          :ARG1 (z58 / correlate-91
                                     :ARG1 (z59 / more
                                                :ARG3-of (z60 / have-quant-91
                                                              :ARG1 (z61 / art
                                                                         :ARG1-of (z62 / have-degree-91
                                                                                :ARG2 (z63 / elegant))))
                                                :ARG4 (z64 / more
                                                           :ARG3-of (z65 / have-degree-91
                                                                         :ARG1 (z66 / classic
                                                                                :ARG1-of (z67 / stand-04
                                                                                :ARG2 (z68 / test-01
                                                                                :ARG0 (z69 / history)
                                                                                :ARG1 z66)
                                                                                :ARG1-of (z70 / possible-01))))))
                                     :ARG2 (z71 / more
                                                :ARG3-of (z72 / have-quant-91
                                                              :ARG1 (z73 / art
                                                                         :mod (z74 / common))))
                                     :ARG3 (z75 / more))
                          :ARG2 (z76 / we))
               :snt4 (z77 / tell-01
                          :ARG0 (z78 / sense-01
                                     :mod (z79 / common))
                          :ARG1 (z80 / have-degree-91
                                     :ARG1 (z81 / read-01
                                                :ARG1 (z82 / book
                                                           :mod (z83 / difficult)
                                                           :example (z84 / classic
                                                                         :mod (z85 / especially))))
                                     :ARG2 (z86 / good-02
                                                :ARG1 z81)
                                     :ARG3 (z87 / more)
                                     :ARG4 (z88 / read-01
                                                :ARG1 (z89 / book
                                                           :quant (z90 / many)
                                                           :mod (z91 / ordinary))))
                          :ARG2 (z92 / we)
                          :mod (z93 / also))
               :snt5 (z1000 / and
                            :op1 (z1001 / attend-02
                                        :ARG0 (z1002 / school
                                                     :mod (z1003 / traditional)
                                                     :mod (z1004 / country
                                                                 :wiki "China"
                                                                 :name (z1005 / name
                                                                              :op1 "China"))
                                                     :mod (z1006 / country
                                                                 :wiki "China"
                                                                 :name (z1007 / name
                                                                              :op1 "China")))
                                        :ARG1 (z1008 / read-01
                                                     :ARG1 (z1009 / recite-01)))
                            :op2 (z1010 / ask-02
                                        :ARG0 (z1011 / school
                                                     :mod (z1012 / style
                                                                 :mod (z1013 / old)
                                                                 :mod (z1014 / private))
                                                     :ARG1 (z1015 / and
                                                                  :op1 (z1016 / read-01
                                                                              :ARG0 (z1017 / person
                                                                                :ARG0-of (z1018 / study-01)))
                                                                  :op2 (z1019 / punish-01
                                                                              :ARG1 z1017)
                                                                  :ARG1-of (z94 / possible-01))
                                                     :ARG2 z1017)
                                        :time (z95 / now))
                            :snt6 (z96 / seem-01
                                       :ARG1 (z97 / possible-01
                                                  :ARG1 (z98 / discuss-01
                                                             :ARG1 (z99 / read-01)
                                                             :ARG1-of (z100 / add-02
                                                                            :ARG2 (z101 / punish-01
                                                                                :ARG1 z1017)))))
                            :snt7 (z102 / need-01
                                        :polarity -
                                        :ARG1 (z1020 / say-01
                                                     :ARG1 (z1021 / more
                                                                  :ARG3-of (z1022 / have-quant-91
                                                                                :ARG1 (z1023 / benefit-01
                                                                                :ARG0 (z1024 / recite-01)))))
                                        :snt8 (z1025 / say-01
                                                     :ARG1 (z1026 / benefit-01
                                                                  :ARG0 (z1027 / recite-01)))
                                        :snt9 (z1028 / same-01
                                                     :ARG1 (z1029 / read-01))
                                        :snt10 (z1030 / same-01
                                                      :ARG1 (z1031 / read-01)
                                                      :snt11 (z1032 / same-01
                                                                    :ARG1 (z1033 / read-01)
                                                                    :prep-to (z1034 / understand-01))
                                                      :snt12 (z1035 / process-01
                                                                    :ARG1 (z1036 / understand-01)
                                                                    :prep-from (z1037 / understand-01
                                                                                :polarity -
                                                                                :ARG0 (z1038 / i))
                                                                    :prep-from (z1039 / understand-01)
                                                                    :prep-from (z103 / understand-01)
                                                                    :prep-from (z104 / understand-01)
                                                                    :prep-from (z105 / and
                                                                                :op1 (z1040 / understand-01)
                                                                                :op2 (z1041 / and
                                                                                :op1 (z1042 / understand-01)
                                                                                :op2 (z1043 / understand-01)
                                                                                :op3 (z1044 / and
                                                                                :op1 (z1045 / knowledge)
                                                                                :op2 (z1046 / reason)))))))
                            :prep-from (z1047 / and
                                              :op1 (z1048 / begin-01
                                                          :ARG1 (z1049 / understand-01)
                                                          :prep-from (z1050 / and
                                                                            :op1 (z1051 / understand-01)
                                                                            :op2 (z1052 / understand-01))))
                            :prep-from (z1053 / and
                                              :op1 (z1054 / begin-01
                                                          :ARG1 (z107 / it)
                                                          :prep-to (z108 / understand-01)))
                            :prep-from (z1055 / understand-01))
               :prep-by (z1056 / and
                               :op1 (z1057 / begin-01
                                           :ARG1 (z1058 / it)
                                           :prep-by (z1059 / i))
                               :op2 (z2000 / thing))))


Canadian scientists have developed a device that allows people to generate electricity and store it through jaw movement when talking or eating. The subjects chewed gum for 60 seconds after wearing the device. The cord close to the chin generated about 10 to 18 microwatts of electricity, while each chewing during meals produced an average of about 7 microwatts. It is expected that this improved power generation method may be used to charge small electronic devices such as hearing aids, intelligent hearing protectors and even mobile phones in the future.

Question: Which of the following options is inconsistent with the original text?

Choices:
- The newly developed power generation method can be used to charge hearing aids.
- Canadian scientists have developed a device that enables the body to generate and store electricity through exercise.
- Chewing gum continuously for 60 seconds can generate 10-18 microwatts of electricity.
- People can generate electricity by talking or eating.

(z0 / multi-sentence
    :snt1 (z1 / develop-02
              :ARG0 (z2 / person
                        :mod (z3 / country
                                 :wiki "Canada"
                                 :name (z4 / name
                                           :op1 "Canada"))
                        :ARG0-of (z5 / have-org-role-91
                                     :ARG2 (z6 / scientist)))
              :ARG1 (z7 / device
                        :ARG0-of (z8 / allow-01
                                     :ARG1 (z9 / and
                                               :op1 (z10 / generate-01
                                                         :ARG0 (z11 / person)
                                                         :ARG1 (z12 / electricity))
                                               :op2 (z13 / store-01
                                                         :ARG0 z11
                                                         :ARG1 z12
                                                         :manner (z14 / move-01
                                                                      :ARG0 z11
                                                                      :ARG1 (z15 / jaw))
                                                         :time (z16 / or
                                                                    :op1 (z17 / talk-01
                                                                              :ARG0 z11)
                                                                    :op2 (z18 / eat-01
                                                                              :ARG0 z11)))))))
    :snt2 (z19 / chew-01
               :ARG0 (z20 / subject)
               :ARG1 (z21 / gum)
               :duration (z22 / temporal-quantity
                              :quant 60
                              :unit (z23 / second))
               :time (z24 / after
                          :op1 (z25 / wear-01
                                    :ARG0 z20
                                    :ARG1 (z26 / device))))
    :snt3 (z27 / contrast-01
               :ARG1 (z28 / generate-01
                          :ARG0 (z29 / cord
                                     :ARG1-of (z30 / close-10
                                                   :ARG2 (z31 / chin)))
                          :ARG1 (z32 / electricity
                                     :quant (z33 / between
                                                 :op1 (z34 / temperature-quantity
                                                           :quant 10
                                                           :unit (z35 / microsievert))
                                                 :op2 (z36 / temperature-quantity
                                                           :quant 18
                                                           :unit (z37 / microsievert)))))
               :ARG2 (z38 / produce-01
                          :ARG0 (z39 / chew-01
                                     :ARG0 (z40 / person
                                                :mod (z41 / each))
                                     :time (z42 / meal))
                          :ARG1 (z43 / average-01
                                     :ARG1 (z44 / about
                                                :op1 (z45 / power-quantity
                                                          :quant 7
                                                          :unit (z46 / microsievert))))))
    :snt4 (z47 / expect-01
               :ARG1 (z48 / possible-01
                          :ARG1 (z49 / use-01
                                     :ARG1 (z50 / method
                                                :mod (z51 / this)
                                                :instrument-of (z52 / generate-01
                                                                    :ARG1 (z53 / power))
                                                :ARG1-of (z54 / improve-01))
                                     :ARG2 (z55 / charge-03
                                                :ARG1 (z56 / device
                                                           :mod (z57 / electronic)
                                                           :mod (z58 / small)
                                                           :example (z59 / and
                                                                         :op1 (z60 / aid
                                                                                :purpose (z61 / hear-01))
                                                                         :op2 (z62 / thing
                                                                                :ARG2-of (z63 / protect-01
                                                                                :ARG3 (z64 / hear-01)
                                                                                :ARG1-of (z65 / intelligent-01)))
                                                                         :op3 (z66 / phone
                                                                                :ARG1-of (z67 / mobile-02)
                                                                                :mod (z68 / even)))
                                                           :mod (z69 / small))
                                                :time (z70 / future)))))
    :snt5 (z71 / have-concession-91
               :ARG1 (z72 / produce-01
                          :ARG0 (z73 / chew-01
                                     :ARG0 (z74 / person
                                                :mod (z75 / each))
                                     :ARG1 (z76 / about
                                                :op1 (z77 / energy-quantity
                                                          :quant 7
                                                          :unit (z78 / microsievert)))
                                     :time z42))
               :ARG2 (z79 / chew-01
                          :ARG0 z74
                          :ARG1 (z80 / gum)
                          :duration (z81 / temporal-quantity
                                         :quant 60
                                         :unit (z82 / second))))
    :snt6 (z83 / chew-01
               :ARG0 (z84 / subject)
               :ARG1 (z85 / gum)
               :time (z86 / after
                          :op1 (z87 / wear-01
                                    :ARG0 z1
                                    :ARG1 (z88 / device))))
    :snt7 (z89 / possible-01
               :ARG1 (z90 / use-01
                          :ARG1 (z91 / method
                                     :instrument-of (z92 / generate-01
                                                         :ARG1 (z93 / power)
                                                         :ARG1-of (z94 / improve-01)
                                                         :mod (z95 / this)))
                          :ARG2 (z96 / charge-03
                                     :ARG1 (z97 / device
                                                :mod (z98 / electronic)
                                                :example (z1000 / and
                                                                :op1 (z1001 / aid
                                                                            :purpose (z1002 / hear-01))
                                                                :op2 (z1003 / thing
                                                                            :ARG2-of (z1004 / protect-01
                                                                                :ARG3 (z1005 / hear-01)
                                                                                :ARG1-of (z1006 / intelligent-01))))
                                                :mod (z1007 / small))
                                     :time (z1008 / future))))
    :snt8 (z1009 / have-concession-91
                 :ARG1 (z1010 / chew-01
                              :ARG0 (z1011 / subject)
                              :ARG1 (z1012 / gum)
                              :duration (z1013 / temporal-quantity
                                               :quant 1
                                               :unit (z1014 / second))))
    :snt9 (z1015 / chew-01
                 :ARG0 (z1016 / subject)
                 :ARG1 (z1017 / gum))
    :snt10 (z1018 / Jaw)
    :snt11 (z1019 / move-01
                  :ARG0 (z99 / jaw)
                  :ARG1 (z100 / Jaw)
                  :ARG2 (z101 / electricity))
    :snt12 (z102 / store-quantity
                 :quant 1
                 :unit (z103 / electricity))
    :snt14 (z104 / store-quantity
                 :quant 1
                 :unit (z105 / renminbi))
    :snt16 (z106 / store-quantity
                 :quant 1
                 :unit (z107 / minute))
    :snt17 (z1020 / store-quantity
                  :quant 1
                  :unit (z1021 / renminbi))
    :snt18 (z1022 / store-quantity
                  :quant 1
                  :unit (z1023 / hour))
    :snt2 (z1024 / store-quantity
                 :quant 1
                 :unit (z1025 / second)))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ develop-02(z1) ∧ :ARG0(z1, z2) ∧ person(z2) ∧ :mod(z2, z3) ∧ country(z3) ∧ :wiki(z3, "Canada") ∧ :name(z3, z4) ∧ name(z4) ∧ :op1(z4, "Canada") ∧ :ARG0(z5, z2) ∧ have-org-role-91(z5) ∧ :ARG2(z5, z6) ∧ scientist(z6) ∧ :ARG1(z1, z7) ∧ device(z7) ∧ :ARG0(z8, z7) ∧ allow-01(z8) ∧ :ARG1(z8, z9) ∧ and(z9) ∧ :op1(z9, z10) ∧ generate-01(z10) ∧ :ARG0(z10, z11) ∧ person(z11) ∧ :ARG1(z10, z12) ∧ electricity(z12) ∧ :op2(z9, z13) ∧ store-01(z13) ∧ :ARG0(z13, z11) ∧ :ARG1(z13, z12) ∧ :manner(z13, z14) ∧ move-01(z14) ∧ :ARG0(z14, z11) ∧ :ARG1(z14, z15) ∧ jaw(z15) ∧ :time(z13, z16) ∧ or(z16) ∧ :op1(z16, z17) ∧ talk-01(z17) ∧ :ARG0(z17, z11) ∧ :op2(z16, z18) ∧ eat-01(z18) ∧ :ARG0(z18, z11) ∧ :snt2(z0, z19) ∧ chew-01(z19) ∧ :ARG0(z19, z20) ∧ subject(z20) ∧ :ARG1(z19, z21) ∧ gum(z21) ∧ :duration(z19, z22) ∧ temporal-quantity(z22) ∧ :quant(z22, 60) ∧ :unit(z22, z23) ∧ second(z23) ∧ :time(z19, z24) ∧ after(z24) ∧ :op1(z24, z25) ∧ wear-01(z25) ∧ :ARG0(z25, z20) ∧ :ARG1(z25, z26) ∧ device(z26) ∧ :snt3(z0, z27) ∧ contrast-01(z27) ∧ :ARG1(z27, z28) ∧ generate-01(z28) ∧ :ARG0(z28, z29) ∧ cord(z29) ∧ :ARG1(z30, z29) ∧ close-10(z30) ∧ :ARG2(z30, z31) ∧ chin(z31) ∧ :ARG1(z28, z32) ∧ electricity(z32) ∧ :quant(z32, z33) ∧ between(z33) ∧ :op1(z33, z34) ∧ temperature-quantity(z34) ∧ :quant(z34, 10) ∧ :unit(z34, z35) ∧ microsievert(z35) ∧ :op2(z33, z36) ∧ temperature-quantity(z36) ∧ :quant(z36, 18) ∧ :unit(z36, z37) ∧ microsievert(z37) ∧ :ARG2(z27, z38) ∧ produce-01(z38) ∧ :ARG0(z38, z39) ∧ chew-01(z39) ∧ :ARG0(z39, z40) ∧ person(z40) ∧ :mod(z40, z41) ∧ each(z41) ∧ :time(z39, z42) ∧ meal(z42) ∧ :ARG1(z38, z43) ∧ average-01(z43) ∧ :ARG1(z43, z44) ∧ about(z44) ∧ :op1(z44, z45) ∧ power-quantity(z45) ∧ :quant(z45, 7) ∧ :unit(z45, z46) ∧ microsievert(z46) ∧ :snt4(z0, z47) ∧ expect-01(z47) ∧ :ARG1(z47, z48) ∧ possible-01(z48) ∧ :ARG1(z48, z49) ∧ use-01(z49) ∧ :ARG1(z49, z50) ∧ method(z50) ∧ :mod(z50, z51) ∧ this(z51) ∧ :instrument(z52, z50) ∧ generate-01(z52) ∧ :ARG1(z52, z53) ∧ power(z53) ∧ :ARG1(z54, z50) ∧ improve-01(z54) ∧ :ARG2(z49, z55) ∧ charge-03(z55) ∧ :ARG1(z55, z56) ∧ device(z56) ∧ :mod(z56, z57) ∧ electronic(z57) ∧ :mod(z56, z58) ∧ small(z58) ∧ :example(z56, z59) ∧ and(z59) ∧ :op1(z59, z60) ∧ aid(z60) ∧ :purpose(z60, z61) ∧ hear-01(z61) ∧ :op2(z59, z62) ∧ thing(z62) ∧ :ARG2(z63, z62) ∧ protect-01(z63) ∧ :ARG3(z63, z64) ∧ hear-01(z64) ∧ :ARG1(z65, z63) ∧ intelligent-01(z65) ∧ :op3(z59, z66) ∧ phone(z66) ∧ :ARG1(z67, z66) ∧ mobile-02(z67) ∧ :mod(z66, z68) ∧ even(z68) ∧ :mod(z56, z69) ∧ small(z69) ∧ :time(z55, z70) ∧ future(z70) ∧ :snt5(z0, z71) ∧ have-concession-91(z71) ∧ :ARG1(z71, z72) ∧ produce-01(z72) ∧ :ARG0(z72, z73) ∧ chew-01(z73) ∧ :ARG0(z73, z74) ∧ person(z74) ∧ :mod(z74, z75) ∧ each(z75) ∧ :ARG1(z73, z76) ∧ about(z76) ∧ :op1(z76, z77) ∧ energy-quantity(z77) ∧ :quant(z77, 7) ∧ :unit(z77, z78) ∧ microsievert(z78) ∧ :time(z73, z42) ∧ :ARG2(z71, z79) ∧ chew-01(z79) ∧ :ARG0(z79, z74) ∧ :ARG1(z79, z80) ∧ gum(z80) ∧ :duration(z79, z81) ∧ temporal-quantity(z81) ∧ :quant(z81, 60) ∧ :unit(z81, z82) ∧ second(z82) ∧ :snt6(z0, z83) ∧ chew-01(z83) ∧ :ARG0(z83, z84) ∧ subject(z84) ∧ :ARG1(z83, z85) ∧ gum(z85) ∧ :time(z83, z86) ∧ after(z86) ∧ :op1(z86, z87) ∧ wear-01(z87) ∧ :ARG0(z87, z1) ∧ :ARG1(z87, z88) ∧ device(z88) ∧ :snt7(z0, z89) ∧ possible-01(z89) ∧ :ARG1(z89, z90) ∧ use-01(z90) ∧ :ARG1(z90, z91) ∧ method(z91) ∧ :instrument(z92, z91) ∧ generate-01(z92) ∧ :ARG1(z92, z93) ∧ power(z93) ∧ :ARG1(z94, z92) ∧ improve-01(z94) ∧ :mod(z92, z95) ∧ this(z95) ∧ :ARG2(z90, z96) ∧ charge-03(z96) ∧ :ARG1(z96, z97) ∧ device(z97) ∧ :mod(z97, z98) ∧ electronic(z98) ∧ :example(z97, z1000) ∧ and(z1000) ∧ :op1(z1000, z1001) ∧ aid(z1001) ∧ :purpose(z1001, z1002) ∧ hear-01(z1002) ∧ :op2(z1000, z1003) ∧ thing(z1003) ∧ :ARG2(z1004, z1003) ∧ protect-01(z1004) ∧ :ARG3(z1004, z1005) ∧ hear-01(z1005) ∧ :ARG1(z1006, z1004) ∧ intelligent-01(z1006) ∧ :mod(z97, z1007) ∧ small(z1007) ∧ :time(z96, z1008) ∧ future(z1008) ∧ :snt8(z0, z1009) ∧ have-concession-91(z1009) ∧ :ARG1(z1009, z1010) ∧ chew-01(z1010) ∧ :ARG0(z1010, z1011) ∧ subject(z1011) ∧ :ARG1(z1010, z1012) ∧ gum(z1012) ∧ :duration(z1010, z1013) ∧ temporal-quantity(z1013) ∧ :quant(z1013, 1) ∧ :unit(z1013, z1014) ∧ second(z1014) ∧ :snt9(z0, z1015) ∧ chew-01(z1015) ∧ :ARG0(z1015, z1016) ∧ subject(z1016) ∧ :ARG1(z1015, z1017) ∧ gum(z1017) ∧ :snt10(z0, z1018) ∧ Jaw(z1018) ∧ :snt11(z0, z1019) ∧ move-01(z1019) ∧ :ARG0(z1019, z99) ∧ jaw(z99) ∧ :ARG1(z1019, z100) ∧ Jaw(z100) ∧ :ARG2(z1019, z101) ∧ electricity(z101) ∧ :snt12(z0, z102) ∧ store-quantity(z102) ∧ :quant(z102, 1) ∧ :unit(z102, z103) ∧ electricity(z103) ∧ :snt14(z0, z104) ∧ store-quantity(z104) ∧ :quant(z104, 1) ∧ :unit(z104, z105) ∧ renminbi(z105) ∧ :snt16(z0, z106) ∧ store-quantity(z106) ∧ :quant(z106, 1) ∧ :unit(z106, z107) ∧ minute(z107) ∧ :snt17(z0, z1020) ∧ store-quantity(z1020) ∧ :quant(z1020, 1) ∧ :unit(z1020, z1021) ∧ renminbi(z1021) ∧ :snt18(z0, z1022) ∧ store-quantity(z1022) ∧ :quant(z1022, 1) ∧ :unit(z1022, z1023) ∧ hour(z1023) ∧ :snt2(z0, z1024) ∧ store-quantity(z1024) ∧ :quant(z1024, 1) ∧ :unit(z1024, z1025) ∧ second(z1025)


The state is a political entity surrounded by boundaries, the area where the state power exercises power, and can be regarded as a kind of political division. However, this kind of political division surrounded by the boundary is only the form of the state, not the essence of the state. The real state means that the citizens within the boundary have formed a kind of cohesion, which can be called national consciousness. It is that everyone thinks that I am a certain countryman at the bottom of their hearts. A country that does not form such a consciousness, which cannot be called a country in nature, is very unstable. The real great power lies not only in its large territory and large population, but also in whether its citizens have formed national consciousness and national identity.

Question: Which of the following tells the gist of the passage?

Choices:
- National boundary consciousness
- The essential nature of the state
- The role of national identity
- The connotation of national consciousness

(z0 / multi-sentence
    :snt1 (z1 / and
              :op1 (z2 / entity
                       :mod (z3 / politics)
                       :ARG1-of (z4 / surround-01
                                    :ARG2 (z5 / boundary))
                       :domain (z6 / state)
                       :ARG1-of (z7 / mean-01
                                    :ARG2 (z8 / area
                                              :location-of (z9 / exercise-01
                                                               :ARG0 (z10 / power
                                                                          :poss z6)
                                                               :ARG1 (z11 / power))
                                              :location-of (z12 / possible-01
                                                                :ARG1 (z13 / regard-01
                                                                           :ARG1 z6
                                                                           :ARG2 (z14 / divide-02
                                                                                :mod (z15 / kind
                                                                                :mod (z16 / politics))
                                                                                :ARG1-of (z17 / surround-01
                                                                                :ARG2 z5)))))))
              :op2 (z18 / contrast-01
                        :ARG1 (z19 / form
                                   :mod (z20 / only)
                                   :domain (z21 / state))
                        :ARG2 (z22 / essence
                                   :polarity -
                                   :poss z21)))
    :snt2 (z23 / mean-01
               :ARG1 (z24 / state
                          :ARG1-of (z25 / real-04))
               :ARG2 (z26 / form-01
                          :ARG0 (z27 / citizen
                                     :location (z28 / boundary))
                          :ARG1 (z29 / cohere-01
                                     :mod (z30 / kind)
                                     :ARG1-of (z31 / call-01
                                                   :ARG2 (z32 / consciousness
                                                              :mod (z33 / nation))
                                                   :ARG1-of (z34 / possible-01)))))
    :snt3 (z35 / think-01
               :ARG0 (z36 / everyone)
               :ARG1 (z37 / i
                          :mod (z38 / countryman
                                    :mod (z39 / certain)))
               :location (z40 / bottom
                              :part-of (z41 / heart
                                            :part-of z36)))
    :snt4 (z42 / lie-07
               :ARG1 (z43 / power
                          :mod (z44 / great)
                          :ARG1-of (z45 / real-04))
               :ARG2 (z46 / and
                          :op1 (z47 / and
                                    :op1 (z48 / territory
                                              :mod (z49 / large)
                                              :poss (z50 / it))
                                    :op2 (z51 / population
                                              :mod (z52 / large)
                                              :poss z50))
                          :op2 (z53 / truth-value
                                    :polarity-of (z54 / form-01
                                                      :ARG0 (z55 / citizen
                                                                 :poss z50)
                                                      :ARG1 (z56 / and
                                                                 :op1 (z57 / consciousness
                                                                           :mod z33)
                                                                 :op2 (z58 / identity
                                                                           :mod z33))))))
    :snt5 (z59 / stable-03
               :polarity -
               :ARG1 (z60 / country
                          :ARG0-of (z61 / form-01
                                        :polarity -
                                        :ARG1 (z62 / consciousness
                                                   :mod (z63 / such)))
                          :ARG1-of (z64 / call-01
                                        :polarity -
                                        :ARG2 (z65 / country
                                                   :mod (z66 / nature))
                                        :ARG1-of (z67 / possible-01)))
               :degree (z68 / very))
    :snt6 (z69 / lie-07
               :ARG1 (z70 / power
                          :mod (z71 / great)
                          :ARG1-of (z72 / real-04))
               :ARG2 (z73 / and
                          :op1 (z74 / territory
                                    :mod (z75 / large)
                                    :poss z50)
                          :op2 (z76 / population
                                    :mod (z77 / large)
                                    :poss z50)
                          :mod (z78 / also)))
    :snt7 (z79 / lie-07
               :ARG1 (z80 / power
                          :mod (z81 / great)
                          :ARG1-of (z82 / real-04))
               :ARG2 (z83 / truth-value
                          :polarity-of (z84 / form-01
                                            :ARG0 (z85 / citizen
                                                       :poss z50)
                                            :ARG1 (z1000 / and
                                                         :op1 (z1001 / consciousness
                                                                     :mod (z1002 / nation))
                                                         :op2 (z1003 / identity
                                                                     :mod (z1004 / nation))))))
    :snt8 (z86 / think-01
               :ARG0 (z87 / everyone)
               :ARG1 (z88 / man
                          :domain (z89 / i)
                          :mod (z90 / country))
               :location (z91 / bottom
                              :part-of (z92 / heart
                                            :part-of (z93 / heart
                                                          :part-of (z96 / great)))))
    :snt9 (z94 / lie-07
               :ARG1 (z95 / power
                          :mod z96
                          :ARG1-of (z97 / real-04)
                          :ARG1-of (z98 / lie-07
                                        :ARG2 (z99 / and
                                                   :op1 (z100 / territory
                                                              :mod (z101 / large))
                                                   :op2 (z102 / population
                                                              :mod (z103 / large))))))
    :snt10 (z1005 / lie-07
                  :ARG1 (z1006 / power
                               :mod (z1007 / great)
                               :ARG1-of (z1008 / lie-07
                                               :ARG2 (z1009 / and
                                                            :op1 (z1010 / territory
                                                                        :mod (z1011 / large))
                                                            :op2 (z1012 / population
                                                                        :mod z1011)))))
    :snt11 (z1013 / mean-01
                  :ARG1 (z1014 / state
                               :ARG1-of (z1015 / mean-01
                                               :ARG2 (z1016 / form-01
                                                            :ARG0 (z1017 / citizen
                                                                         :location (z1018 / boundary))
                                                            :ARG1 (z1019 / form-01
                                                                         :ARG0 z1006
                                                                         :ARG1 (z1020 / kind
                                                                                :mod (z1021 / cohesion
                                                                                :mod (z1022 / kind))
                                                                                :ARG1-of (z1023 / call-01
                                                                                :ARG2 (z1024 / consciousness
                                                                                :mod (z1025 / nation))
                                                                                :ARG1-of (z1026 / possible-01))))))))
    :snt12 (z104 / contrast-01
                 :ARG1 (z105 / think-01
                             :ARG0 (z106 / i)
                             :ARG1 (z107 / form
                                         :domain (z1027 / state
                                                        :mod (z1028 / only))
                                         :domain (z1029 / form
                                                        :poss z1027)))
                 :ARG2 (z1030 / possible-01
                              :polarity -
                              :ARG1 (z1031 / regard-01
                                           :ARG1 z1027
                                           :ARG2 (z1032 / divide-02
                                                        :mod (z1033 / politics)
                                                        :mod (z1034 / kind)
                                                        :ARG1-of (z1035 / surround-01
                                                                        :ARG2 z5))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ and(z1) ∧ :op1(z1, z2) ∧ entity(z2) ∧ :mod(z2, z3) ∧ politics(z3) ∧ :ARG1(z4, z2) ∧ surround-01(z4) ∧ :ARG2(z4, z5) ∧ boundary(z5) ∧ :domain(z2, z6) ∧ state(z6) ∧ :ARG1(z7, z2) ∧ mean-01(z7) ∧ :ARG2(z7, z8) ∧ area(z8) ∧ :location(z9, z8) ∧ exercise-01(z9) ∧ :ARG0(z9, z10) ∧ power(z10) ∧ :poss(z10, z6) ∧ :ARG1(z9, z11) ∧ power(z11) ∧ :location(z12, z8) ∧ possible-01(z12) ∧ :ARG1(z12, z13) ∧ regard-01(z13) ∧ :ARG1(z13, z6) ∧ :ARG2(z13, z14) ∧ divide-02(z14) ∧ :mod(z14, z15) ∧ kind(z15) ∧ :mod(z15, z16) ∧ politics(z16) ∧ :ARG1(z17, z14) ∧ surround-01(z17) ∧ :ARG2(z17, z5) ∧ :op2(z1, z18) ∧ contrast-01(z18) ∧ :ARG1(z18, z19) ∧ form(z19) ∧ :mod(z19, z20) ∧ only(z20) ∧ :domain(z19, z21) ∧ state(z21) ∧ ¬(:ARG2(z18, z22) ∧ essence(z22) ∧ :poss(z22, z21)) ∧ :snt2(z0, z23) ∧ mean-01(z23) ∧ :ARG1(z23, z24) ∧ state(z24) ∧ :ARG1(z25, z24) ∧ real-04(z25) ∧ :ARG2(z23, z26) ∧ form-01(z26) ∧ :ARG0(z26, z27) ∧ citizen(z27) ∧ :location(z27, z28) ∧ boundary(z28) ∧ :ARG1(z26, z29) ∧ cohere-01(z29) ∧ :mod(z29, z30) ∧ kind(z30) ∧ :ARG1(z31, z29) ∧ call-01(z31) ∧ :ARG2(z31, z32) ∧ consciousness(z32) ∧ :mod(z32, z33) ∧ nation(z33) ∧ :ARG1(z34, z31) ∧ possible-01(z34) ∧ :snt3(z0, z35) ∧ think-01(z35) ∧ :ARG0(z35, z36) ∧ everyone(z36) ∧ :ARG1(z35, z37) ∧ i(z37) ∧ :mod(z37, z38) ∧ countryman(z38) ∧ :mod(z38, z39) ∧ certain(z39) ∧ :location(z35, z40) ∧ bottom(z40) ∧ :part(z41, z40) ∧ heart(z41) ∧ :part(z36, z41) ∧ :snt4(z0, z42) ∧ lie-07(z42) ∧ :ARG1(z42, z43) ∧ power(z43) ∧ :mod(z43, z44) ∧ great(z44) ∧ :ARG1(z45, z43) ∧ real-04(z45) ∧ :ARG2(z42, z46) ∧ and(z46) ∧ :op1(z46, z47) ∧ and(z47) ∧ :op1(z47, z48) ∧ territory(z48) ∧ :mod(z48, z49) ∧ large(z49) ∧ :poss(z48, z50) ∧ it(z50) ∧ :op2(z47, z51) ∧ population(z51) ∧ :mod(z51, z52) ∧ large(z52) ∧ :poss(z51, z50) ∧ :op2(z46, z53) ∧ truth-value(z53) ∧ :polarity(z54, z53) ∧ form-01(z54) ∧ :ARG0(z54, z55) ∧ citizen(z55) ∧ :poss(z55, z50) ∧ :ARG1(z54, z56) ∧ and(z56) ∧ :op1(z56, z57) ∧ consciousness(z57) ∧ :mod(z57, z33) ∧ :op2(z56, z58) ∧ identity(z58) ∧ :mod(z58, z33) ∧ ¬(:snt5(z0, z59) ∧ stable-03(z59) ∧ :ARG1(z59, z60) ∧ country(z60) ∧ ¬(:ARG0(z61, z60) ∧ form-01(z61) ∧ :ARG1(z61, z62) ∧ consciousness(z62) ∧ :mod(z62, z63) ∧ such(z63)) ∧ ¬(:ARG1(z64, z60) ∧ call-01(z64) ∧ :ARG2(z64, z65) ∧ country(z65) ∧ :mod(z65, z66) ∧ nature(z66) ∧ :ARG1(z67, z64) ∧ possible-01(z67)) ∧ :degree(z59, z68) ∧ very(z68)) ∧ :snt6(z0, z69) ∧ lie-07(z69) ∧ :ARG1(z69, z70) ∧ power(z70) ∧ :mod(z70, z71) ∧ great(z71) ∧ :ARG1(z72, z70) ∧ real-04(z72) ∧ :ARG2(z69, z73) ∧ and(z73) ∧ :op1(z73, z74) ∧ territory(z74) ∧ :mod(z74, z75) ∧ large(z75) ∧ :poss(z74, z50) ∧ :op2(z73, z76) ∧ population(z76) ∧ :mod(z76, z77) ∧ large(z77) ∧ :poss(z76, z50) ∧ :mod(z73, z78) ∧ also(z78) ∧ :snt7(z0, z79) ∧ lie-07(z79) ∧ :ARG1(z79, z80) ∧ power(z80) ∧ :mod(z80, z81) ∧ great(z81) ∧ :ARG1(z82, z80) ∧ real-04(z82) ∧ :ARG2(z79, z83) ∧ truth-value(z83) ∧ :polarity(z84, z83) ∧ form-01(z84) ∧ :ARG0(z84, z85) ∧ citizen(z85) ∧ :poss(z85, z50) ∧ :ARG1(z84, z1000) ∧ and(z1000) ∧ :op1(z1000, z1001) ∧ consciousness(z1001) ∧ :mod(z1001, z1002) ∧ nation(z1002) ∧ :op2(z1000, z1003) ∧ identity(z1003) ∧ :mod(z1003, z1004) ∧ nation(z1004) ∧ :snt8(z0, z86) ∧ think-01(z86) ∧ :ARG0(z86, z87) ∧ everyone(z87) ∧ :ARG1(z86, z88) ∧ man(z88) ∧ :domain(z88, z89) ∧ i(z89) ∧ :mod(z88, z90) ∧ country(z90) ∧ :location(z86, z91) ∧ bottom(z91) ∧ :part(z92, z91) ∧ heart(z92) ∧ :part(z93, z92) ∧ heart(z93) ∧ :part(z96, z93) ∧ great(z96) ∧ :snt9(z0, z94) ∧ lie-07(z94) ∧ :ARG1(z94, z95) ∧ power(z95) ∧ :mod(z95, z96) ∧ :ARG1(z97, z95) ∧ real-04(z97) ∧ :ARG1(z98, z95) ∧ lie-07(z98) ∧ :ARG2(z98, z99) ∧ and(z99) ∧ :op1(z99, z100) ∧ territory(z100) ∧ :mod(z100, z101) ∧ large(z101) ∧ :op2(z99, z102) ∧ population(z102) ∧ :mod(z102, z103) ∧ large(z103) ∧ :snt10(z0, z1005) ∧ lie-07(z1005) ∧ :ARG1(z1005, z1006) ∧ power(z1006) ∧ :mod(z1006, z1007) ∧ great(z1007) ∧ :ARG1(z1008, z1006) ∧ lie-07(z1008) ∧ :ARG2(z1008, z1009) ∧ and(z1009) ∧ :op1(z1009, z1010) ∧ territory(z1010) ∧ :mod(z1010, z1011) ∧ large(z1011) ∧ :op2(z1009, z1012) ∧ population(z1012) ∧ :mod(z1012, z1011) ∧ :snt11(z0, z1013) ∧ mean-01(z1013) ∧ :ARG1(z1013, z1014) ∧ state(z1014) ∧ :ARG1(z1015, z1014) ∧ mean-01(z1015) ∧ :ARG2(z1015, z1016) ∧ form-01(z1016) ∧ :ARG0(z1016, z1017) ∧ citizen(z1017) ∧ :location(z1017, z1018) ∧ boundary(z1018) ∧ :ARG1(z1016, z1019) ∧ form-01(z1019) ∧ :ARG0(z1019, z1006) ∧ :ARG1(z1019, z1020) ∧ kind(z1020) ∧ :mod(z1020, z1021) ∧ cohesion(z1021) ∧ :mod(z1021, z1022) ∧ kind(z1022) ∧ :ARG1(z1023, z1020) ∧ call-01(z1023) ∧ :ARG2(z1023, z1024) ∧ consciousness(z1024) ∧ :mod(z1024, z1025) ∧ nation(z1025) ∧ :ARG1(z1026, z1023) ∧ possible-01(z1026) ∧ :snt12(z0, z104) ∧ contrast-01(z104) ∧ :ARG1(z104, z105) ∧ think-01(z105) ∧ :ARG0(z105, z106) ∧ i(z106) ∧ :ARG1(z105, z107) ∧ form(z107) ∧ :domain(z107, z1027) ∧ state(z1027) ∧ :mod(z1027, z1028) ∧ only(z1028) ∧ :domain(z107, z1029) ∧ form(z1029) ∧ :poss(z1029, z1027) ∧ ¬(:ARG2(z104, z1030) ∧ possible-01(z1030) ∧ :ARG1(z1030, z1031) ∧ regard-01(z1031) ∧ :ARG1(z1031, z1027) ∧ :ARG2(z1031, z1032) ∧ divide-02(z1032) ∧ :mod(z1032, z1033) ∧ politics(z1033) ∧ :mod(z1032, z1034) ∧ kind(z1034) ∧ :ARG1(z1035, z1032) ∧ surround-01(z1035) ∧ :ARG2(z1035, z5))