Proposals for extending the United States school year to bring it more in line with its European and Japanese counterparts are often met with the objection that curtailing the schools' three-month summer vacation would violate an established United States tradition dating from the nineteenth century. However, this objection misses its mark. True, in the nineteenth century the majority of schools closed for three months every summer, but only because they were in rural areas where successful harvests depended on children' s labor. If any policy could be justified by those appeals to tradition, it would be the policy of determining the length of the school year according to the needs of the economy.

Question: Which one of the following principles, if accepted, would provide the strongest justification for the conclusion?

Choices:
- The actual tradition embodied in a given practice can be accurately identified only by reference to the reasons that originally prompted that practice.
- Traditional principles should be discarded when they no longer serve the needs of the economy.
- Because appeals to tradition often serve to mask the real interests at issue, such appeals should be disregarded.
- That a given social policy has traditionally been in force justifies maintaining that policy only if doing so does not conflict with more pressing social needs.

(z0 / multi-sentence
    :snt1 (z1 / meet-01
              :ARG1 (z2 / propose-01
                        :ARG1 (z3 / extend-01
                                  :ARG1 (z4 / year
                                            :mod (z5 / school)
                                            :poss (z6 / country
                                                      :wiki "United_States"
                                                      :name (z7 / name
                                                                :op1 "United"
                                                                :op2 "States")))
                                  :purpose (z8 / bring-01
                                               :ARG1 z5
                                               :ARG2 (z9 / in-line-04
                                                         :ARG1 z5
                                                         :ARG2 (z10 / and
                                                                    :op1 (z11 / counterpart
                                                                              :mod (z12 / continent
                                                                                :wiki "Europe"
                                                                                :name (z13 / name
                                                                                :op1 "Europe")))
                                                                    :op2 (z14 / counterpart
                                                                              :mod (z15 / country
                                                                                :wiki "Japan"
                                                                                :name (z16 / name
                                                                                :op1 "Japan")))
                                                                    :poss z6)
                                                         :ARG2-of (z17 / have-degree-91
                                                                       :ARG1 z5
                                                                       :ARG3 (z18 / more))))))
              :ARG2 (z19 / object-01
                         :ARG1 (z20 / violate-01
                                    :ARG0 (z21 / curtail-01
                                               :ARG1 (z22 / vacation-01
                                                          :ARG0 (z23 / school)
                                                          :time (z24 / date-entity
                                                                     :season (z25 / summer))
                                                          :duration (z26 / temporal-quantity
                                                                         :quant 3
                                                                         :unit (z27 / month))))
                                    :ARG1 (z28 / tradition
                                               :ARG1-of (z29 / establish-01
                                                             :location z6)
                                               :ARG1-of (z30 / date-01
                                                             :ARG2 (z31 / date-entity
                                                                        :century 19)))))
              :frequency (z32 / often))
    :snt2 (z33 / contrast-01
               :ARG2 (z34 / miss-02
                          :ARG0 (z35 / object-01
                                     :mod (z36 / this))
                          :ARG1 (z37 / mark-02
                                     :ARG1 z35)))
    :snt3 (z38 / true-01
               :ARG1 (z39 / close-01
                          :ARG1 (z40 / school
                                     :ARG1-of (z41 / include-91
                                                   :ARG2 (z42 / school)
                                                   :ARG3 (z43 / majority)))
                          :duration (z44 / temporal-quantity
                                         :quant 3
                                         :unit (z45 / month))
                          :frequency (z46 / rate-entity-91
                                          :ARG3 (z47 / date-entity
                                                     :season (z48 / summer)))
                          :time (z49 / date-entity
                                     :century 19)
                          :ARG1-of (z50 / cause-01
                                        :ARG0 (z51 / be-located-at-91
                                                   :ARG1 z40
                                                   :ARG2 (z52 / area
                                                              :mod (z53 / rural)
                                                              :location-of (z54 / depend-01
                                                                                :ARG0 (z55 / harvest-01
                                                                                :ARG1-of (z56 / succeed-01))
                                                                                :ARG1 (z57 / labor-01
                                                                                :ARG0 (z58 / child))))
                                                   :mod (z59 / only)))))
    :snt4 (z60 / have-condition-91
               :ARG1 (z61 / policy-01
                          :ARG1 (z62 / determine-01
                                     :ARG1 (z63 / length
                                                :poss (z64 / year
                                                           :mod (z65 / school)))
                                     :ARG1-of (z66 / conform-01
                                                   :ARG2 (z67 / need-01
                                                              :ARG0 (z68 / economy)))))
               :ARG2 (z69 / policy-01
                          :ARG1 (z70 / determine-01
                                     :ARG1 (z71 / length
                                                :poss (z72 / year
                                                           :mod (z73 / school)))
                                     :ARG1-of (z74 / conform-01
                                                   :ARG2 (z75 / thing
                                                              :ARG1-of (z76 / need-01
                                                                            :ARG0 (z77 / economy)))))))
    :snt5 (z78 / possible-01
               :ARG1 (z79 / justify-01
                          :ARG1 (z80 / policy-01
                                     :mod (z81 / any))
                          :ARG2 (z82 / appeal-02
                                     :ARG1 (z83 / tradition)
                                     :mod (z84 / that))))
    :snt6 (z85 / have-concession-91
               :ARG1 (z86 / close-01
                          :ARG1 (z87 / school
                                     :ARG1-of (z88 / include-91
                                                   :ARG2 (z89 / school)
                                                   :ARG3 (z90 / majority)))
                          :duration (z91 / temporal-quantity
                                         :quant 3
                                         :unit (z92 / month))
                          :time (z93 / date-entity
                                     :century 19)
                          :frequency (z94 / rate-entity-91
                                          :ARG3 (z95 / temporal-quantity
                                                     :quant 1
                                                     :unit (z96 / year)))))
    :snt7 (z97 / true-01
               :ARG1 (z98 / close-01
                          :ARG1 (z99 / school
                                     :ARG1-of (z100 / include-91
                                                    :ARG2 (z101 / school)
                                                    :ARG3 (z102 / majority)))
                          :duration (z103 / temporal-quantity
                                          :quant 3
                                          :unit (z104 / summer))
                          :frequency (z105 / rate-entity-91
                                           :ARG3 (z106 / temporal-quantity
                                                       :quant 1
                                                       :unit (z1000 / year))))
               :snt8 (z1001 / cause-01
                            :ARG0 (z1002 / be-located-at-91
                                         :ARG1 z1002
                                         :ARG2 (z1003 / area
                                                      :mod (z1004 / rural)
                                                      :location-of (z1005 / depend-01
                                                                          :ARG0 (z1006 / harvest-01
                                                                                :ARG1-of (z1007 / succeed-01))
                                                                          :ARG1-of (z1008 / have-03
                                                                                :ARG0 (z1009 / child)))))
                            :ARG1 (z1010 / be-located-at-91
                                         :ARG1 z1002
                                         :ARG2 (z1011 / area)))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ meet-01(z1) ∧ :ARG1(z1, z2) ∧ propose-01(z2) ∧ :ARG1(z2, z3) ∧ extend-01(z3) ∧ :ARG1(z3, z4) ∧ year(z4) ∧ :mod(z4, z5) ∧ school(z5) ∧ :poss(z4, z6) ∧ country(z6) ∧ :wiki(z6, "United_States") ∧ :name(z6, z7) ∧ name(z7) ∧ :op1(z7, "United") ∧ :op2(z7, "States") ∧ :purpose(z3, z8) ∧ bring-01(z8) ∧ :ARG1(z8, z5) ∧ :ARG2(z8, z9) ∧ in-line-04(z9) ∧ :ARG1(z9, z5) ∧ :ARG2(z9, z10) ∧ and(z10) ∧ :op1(z10, z11) ∧ counterpart(z11) ∧ :mod(z11, z12) ∧ continent(z12) ∧ :wiki(z12, "Europe") ∧ :name(z12, z13) ∧ name(z13) ∧ :op1(z13, "Europe") ∧ :op2(z10, z14) ∧ counterpart(z14) ∧ :mod(z14, z15) ∧ country(z15) ∧ :wiki(z15, "Japan") ∧ :name(z15, z16) ∧ name(z16) ∧ :op1(z16, "Japan") ∧ :poss(z10, z6) ∧ :ARG2(z17, z9) ∧ have-degree-91(z17) ∧ :ARG1(z17, z5) ∧ :ARG3(z17, z18) ∧ more(z18) ∧ :ARG2(z1, z19) ∧ object-01(z19) ∧ :ARG1(z19, z20) ∧ violate-01(z20) ∧ :ARG0(z20, z21) ∧ curtail-01(z21) ∧ :ARG1(z21, z22) ∧ vacation-01(z22) ∧ :ARG0(z22, z23) ∧ school(z23) ∧ :time(z22, z24) ∧ date-entity(z24) ∧ :season(z24, z25) ∧ summer(z25) ∧ :duration(z22, z26) ∧ temporal-quantity(z26) ∧ :quant(z26, 3) ∧ :unit(z26, z27) ∧ month(z27) ∧ :ARG1(z20, z28) ∧ tradition(z28) ∧ :ARG1(z29, z28) ∧ establish-01(z29) ∧ :location(z29, z6) ∧ :ARG1(z30, z28) ∧ date-01(z30) ∧ :ARG2(z30, z31) ∧ date-entity(z31) ∧ :century(z31, 19) ∧ :frequency(z1, z32) ∧ often(z32) ∧ :snt2(z0, z33) ∧ contrast-01(z33) ∧ :ARG2(z33, z34) ∧ miss-02(z34) ∧ :ARG0(z34, z35) ∧ object-01(z35) ∧ :mod(z35, z36) ∧ this(z36) ∧ :ARG1(z34, z37) ∧ mark-02(z37) ∧ :ARG1(z37, z35) ∧ :snt3(z0, z38) ∧ true-01(z38) ∧ :ARG1(z38, z39) ∧ close-01(z39) ∧ :ARG1(z39, z40) ∧ school(z40) ∧ :ARG1(z41, z40) ∧ include-91(z41) ∧ :ARG2(z41, z42) ∧ school(z42) ∧ :ARG3(z41, z43) ∧ majority(z43) ∧ :duration(z39, z44) ∧ temporal-quantity(z44) ∧ :quant(z44, 3) ∧ :unit(z44, z45) ∧ month(z45) ∧ :frequency(z39, z46) ∧ rate-entity-91(z46) ∧ :ARG3(z46, z47) ∧ date-entity(z47) ∧ :season(z47, z48) ∧ summer(z48) ∧ :time(z39, z49) ∧ date-entity(z49) ∧ :century(z49, 19) ∧ :ARG1(z50, z39) ∧ cause-01(z50) ∧ :ARG0(z50, z51) ∧ be-located-at-91(z51) ∧ :ARG1(z51, z40) ∧ :ARG2(z51, z52) ∧ area(z52) ∧ :mod(z52, z53) ∧ rural(z53) ∧ :location(z54, z52) ∧ depend-01(z54) ∧ :ARG0(z54, z55) ∧ harvest-01(z55) ∧ :ARG1(z56, z55) ∧ succeed-01(z56) ∧ :ARG1(z54, z57) ∧ labor-01(z57) ∧ :ARG0(z57, z58) ∧ child(z58) ∧ :mod(z51, z59) ∧ only(z59) ∧ :snt4(z0, z60) ∧ have-condition-91(z60) ∧ :ARG1(z60, z61) ∧ policy-01(z61) ∧ :ARG1(z61, z62) ∧ determine-01(z62) ∧ :ARG1(z62, z63) ∧ length(z63) ∧ :poss(z63, z64) ∧ year(z64) ∧ :mod(z64, z65) ∧ school(z65) ∧ :ARG1(z66, z62) ∧ conform-01(z66) ∧ :ARG2(z66, z67) ∧ need-01(z67) ∧ :ARG0(z67, z68) ∧ economy(z68) ∧ :ARG2(z60, z69) ∧ policy-01(z69) ∧ :ARG1(z69, z70) ∧ determine-01(z70) ∧ :ARG1(z70, z71) ∧ length(z71) ∧ :poss(z71, z72) ∧ year(z72) ∧ :mod(z72, z73) ∧ school(z73) ∧ :ARG1(z74, z70) ∧ conform-01(z74) ∧ :ARG2(z74, z75) ∧ thing(z75) ∧ :ARG1(z76, z75) ∧ need-01(z76) ∧ :ARG0(z76, z77) ∧ economy(z77) ∧ :snt5(z0, z78) ∧ possible-01(z78) ∧ :ARG1(z78, z79) ∧ justify-01(z79) ∧ :ARG1(z79, z80) ∧ policy-01(z80) ∧ :mod(z80, z81) ∧ any(z81) ∧ :ARG2(z79, z82) ∧ appeal-02(z82) ∧ :ARG1(z82, z83) ∧ tradition(z83) ∧ :mod(z82, z84) ∧ that(z84) ∧ :snt6(z0, z85) ∧ have-concession-91(z85) ∧ :ARG1(z85, z86) ∧ close-01(z86) ∧ :ARG1(z86, z87) ∧ school(z87) ∧ :ARG1(z88, z87) ∧ include-91(z88) ∧ :ARG2(z88, z89) ∧ school(z89) ∧ :ARG3(z88, z90) ∧ majority(z90) ∧ :duration(z86, z91) ∧ temporal-quantity(z91) ∧ :quant(z91, 3) ∧ :unit(z91, z92) ∧ month(z92) ∧ :time(z86, z93) ∧ date-entity(z93) ∧ :century(z93, 19) ∧ :frequency(z86, z94) ∧ rate-entity-91(z94) ∧ :ARG3(z94, z95) ∧ temporal-quantity(z95) ∧ :quant(z95, 1) ∧ :unit(z95, z96) ∧ year(z96) ∧ :snt7(z0, z97) ∧ true-01(z97) ∧ :ARG1(z97, z98) ∧ close-01(z98) ∧ :ARG1(z98, z99) ∧ school(z99) ∧ :ARG1(z100, z99) ∧ include-91(z100) ∧ :ARG2(z100, z101) ∧ school(z101) ∧ :ARG3(z100, z102) ∧ majority(z102) ∧ :duration(z98, z103) ∧ temporal-quantity(z103) ∧ :quant(z103, 3) ∧ :unit(z103, z104) ∧ summer(z104) ∧ :frequency(z98, z105) ∧ rate-entity-91(z105) ∧ :ARG3(z105, z106) ∧ temporal-quantity(z106) ∧ :quant(z106, 1) ∧ :unit(z106, z1000) ∧ year(z1000) ∧ :snt8(z97, z1001) ∧ cause-01(z1001) ∧ :ARG0(z1001, z1002) ∧ be-located-at-91(z1002) ∧ :ARG1(z1002, z1002) ∧ :ARG2(z1002, z1003) ∧ area(z1003) ∧ :mod(z1003, z1004) ∧ rural(z1004) ∧ :location(z1005, z1003) ∧ depend-01(z1005) ∧ :ARG0(z1005, z1006) ∧ harvest-01(z1006) ∧ :ARG1(z1007, z1006) ∧ succeed-01(z1007) ∧ :ARG1(z1008, z1005) ∧ have-03(z1008) ∧ :ARG0(z1008, z1009) ∧ child(z1009) ∧ :ARG1(z1001, z1010) ∧ be-located-at-91(z1010) ∧ :ARG1(z1010, z1002) ∧ :ARG2(z1010, z1011) ∧ area(z1011)


On the ceiling of the Sistine Chapel, Renaissance art master Michelangelo portrayed his characters so majestic and powerful. In Italy, whenever we see these burly, powerful, plump and beautiful body art works , We will deeply feel the courage and power of mankind to conquer and transform nature, so that we have a deeper understanding of the relationship between the Renaissance and modern sports.

Question: This passage is talking about the Renaissance and?

Choices:
- Italy
- Modern sports
- Body Art
- Michelangelo

(z0 / multi-sentence
    :snt1 (z1 / portray-01
              :ARG0 (z2 / person
                        :wiki "Michelangelo"
                        :name (z3 / name
                                  :op1 "Michelangelo")
                        :ARG0-of (z4 / master-01
                                     :ARG1 (z5 / art))
                        :mod (z6 / era
                                 :wiki "Renaissance"
                                 :name (z7 / name
                                           :op1 "Renaissance")))
              :ARG1 (z8 / character
                        :poss z2)
              :ARG2 (z9 / and
                        :op1 (z10 / majestic
                                  :degree (z11 / so))
                        :op2 (z12 / powerful-02
                                  :degree (z13 / so)))
              :location (z14 / ceiling
                             :part-of (z15 / building
                                           :wiki "Sistine_Chapel"
                                           :name (z16 / name
                                                      :op1 "Sistine"
                                                      :op2 "Chapel"))))
    :snt2 (z17 / feel-01
               :ARG0 (z18 / we)
               :ARG1 (z19 / and
                          :op1 (z20 / courage
                                    :poss (z21 / mankind))
                          :op2 (z22 / power
                                    :poss z21)
                          :purpose (z23 / and
                                        :op1 (z24 / conquer-01
                                                  :ARG0 z21
                                                  :ARG1 (z25 / nature))
                                        :op2 (z26 / transform-01
                                                  :ARG0 z21
                                                  :ARG1 z25)))
               :ARG1-of (z27 / deep-02)
               :time (z28 / see-01
                          :ARG0 z18
                          :ARG1 (z29 / thing
                                     :ARG1-of (z30 / work-12)
                                     :mod (z31 / art
                                               :mod (z32 / body))
                                     :mod (z33 / this)
                                     :mod (z34 / burly)
                                     :ARG1-of (z35 / powerful-02)
                                     :mod (z36 / plump)
                                     :ARG1-of (z37 / beautiful-02)
                                     :mod (z38 / this))
                          :location (z39 / country
                                         :wiki "Italy"
                                         :name (z40 / name
                                                    :op1 "Italy"))
                          :time (z41 / see-01
                                     :ARG0 z18
                                     :ARG1 z29
                                     :mod (z42 / any))
                          :ARG0-of (z43 / cause-01
                                        :ARG1 (z44 / understand-01
                                                   :ARG0 z18
                                                   :ARG1 (z45 / relation-03
                                                              :ARG0 (z46 / sport
                                                                         :mod z6)
                                                              :ARG2 (z47 / sport
                                                                         :ARG1-of (z48 / modern-02)))
                                                   :ARG1-of (z49 / have-degree-91
                                                                 :ARG2 (z50 / deep-03
                                                                            :ARG1 z44)
                                                                 :ARG3 (z51 / more)))))
               :location z39)
    :snt3 (z52 / feel-01
               :ARG0 (z53 / we)
               :ARG1 (z54 / and
                          :op1 (z55 / courage)
                          :op2 (z56 / power)
                          :poss (z57 / mankind)
                          :purpose (z58 / and
                                        :op1 (z59 / conquer-01
                                                  :ARG0 z57
                                                  :ARG1 (z60 / nature))
                                        :op2 (z61 / transform-01
                                                  :ARG0 z57
                                                  :ARG1 z60)))
               :ARG1-of (z62 / deep-02)
               :time (z63 / see-01
                          :ARG0 z53
                          :ARG1 (z64 / thing
                                     :ARG1-of (z65 / work-12)
                                     :mod (z66 / art
                                               :mod (z67 / body)
                                               :mod (z68 / this)
                                               :mod (z69 / burly)
                                               :ARG1-of (z70 / powerful-02)
                                               :ARG1-of (z71 / beautiful-02))
                                     :location (z72 / country
                                                    :wiki "Italy"
                                                    :name (z73 / name
                                                               :op1 "Italy"))))
               :location (z74 / see-01
                              :ARG0 z53
                              :ARG1 (z75 / work-of-art
                                         :wiki "Michelangelo"
                                         :name (z76 / name
                                                    :op1 "Michelangelo")
                                         :mod (z77 / body)
                                         :ARG1-of (z78 / beautiful-02)
                                         :ARG1-of (z79 / work-of-art
                                                       :wiki "Sistine_Chapel"
                                                       :name (z80 / name
                                                                  :op1 "Sistine"
                                                                  :op2 "Chapel"))))
               :location (z81 / country
                              :wiki "Italy"
                              :name (z82 / name
                                         :op1 "Italy"))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ portray-01(z1) ∧ :ARG0(z1, z2) ∧ person(z2) ∧ :wiki(z2, "Michelangelo") ∧ :name(z2, z3) ∧ name(z3) ∧ :op1(z3, "Michelangelo") ∧ :ARG0(z4, z2) ∧ master-01(z4) ∧ :ARG1(z4, z5) ∧ art(z5) ∧ :mod(z2, z6) ∧ era(z6) ∧ :wiki(z6, "Renaissance") ∧ :name(z6, z7) ∧ name(z7) ∧ :op1(z7, "Renaissance") ∧ :ARG1(z1, z8) ∧ character(z8) ∧ :poss(z8, z2) ∧ :ARG2(z1, z9) ∧ and(z9) ∧ :op1(z9, z10) ∧ majestic(z10) ∧ :degree(z10, z11) ∧ so(z11) ∧ :op2(z9, z12) ∧ powerful-02(z12) ∧ :degree(z12, z13) ∧ so(z13) ∧ :location(z1, z14) ∧ ceiling(z14) ∧ :part(z15, z14) ∧ building(z15) ∧ :wiki(z15, "Sistine_Chapel") ∧ :name(z15, z16) ∧ name(z16) ∧ :op1(z16, "Sistine") ∧ :op2(z16, "Chapel") ∧ :snt2(z0, z17) ∧ feel-01(z17) ∧ :ARG0(z17, z18) ∧ we(z18) ∧ :ARG1(z17, z19) ∧ and(z19) ∧ :op1(z19, z20) ∧ courage(z20) ∧ :poss(z20, z21) ∧ mankind(z21) ∧ :op2(z19, z22) ∧ power(z22) ∧ :poss(z22, z21) ∧ :purpose(z19, z23) ∧ and(z23) ∧ :op1(z23, z24) ∧ conquer-01(z24) ∧ :ARG0(z24, z21) ∧ :ARG1(z24, z25) ∧ nature(z25) ∧ :op2(z23, z26) ∧ transform-01(z26) ∧ :ARG0(z26, z21) ∧ :ARG1(z26, z25) ∧ :ARG1(z27, z17) ∧ deep-02(z27) ∧ :time(z17, z28) ∧ see-01(z28) ∧ :ARG0(z28, z18) ∧ :ARG1(z28, z29) ∧ thing(z29) ∧ :ARG1(z30, z29) ∧ work-12(z30) ∧ :mod(z29, z31) ∧ art(z31) ∧ :mod(z31, z32) ∧ body(z32) ∧ :mod(z29, z33) ∧ this(z33) ∧ :mod(z29, z34) ∧ burly(z34) ∧ :ARG1(z35, z29) ∧ powerful-02(z35) ∧ :mod(z29, z36) ∧ plump(z36) ∧ :ARG1(z37, z29) ∧ beautiful-02(z37) ∧ :mod(z29, z38) ∧ this(z38) ∧ :location(z28, z39) ∧ country(z39) ∧ :wiki(z39, "Italy") ∧ :name(z39, z40) ∧ name(z40) ∧ :op1(z40, "Italy") ∧ :time(z28, z41) ∧ see-01(z41) ∧ :ARG0(z41, z18) ∧ :ARG1(z41, z29) ∧ :mod(z41, z42) ∧ any(z42) ∧ :ARG0(z43, z28) ∧ cause-01(z43) ∧ :ARG1(z43, z44) ∧ understand-01(z44) ∧ :ARG0(z44, z18) ∧ :ARG1(z44, z45) ∧ relation-03(z45) ∧ :ARG0(z45, z46) ∧ sport(z46) ∧ :mod(z46, z6) ∧ :ARG2(z45, z47) ∧ sport(z47) ∧ :ARG1(z48, z47) ∧ modern-02(z48) ∧ :ARG1(z49, z44) ∧ have-degree-91(z49) ∧ :ARG2(z49, z50) ∧ deep-03(z50) ∧ :ARG1(z50, z44) ∧ :ARG3(z49, z51) ∧ more(z51) ∧ :location(z17, z39) ∧ :snt3(z0, z52) ∧ feel-01(z52) ∧ :ARG0(z52, z53) ∧ we(z53) ∧ :ARG1(z52, z54) ∧ and(z54) ∧ :op1(z54, z55) ∧ courage(z55) ∧ :op2(z54, z56) ∧ power(z56) ∧ :poss(z54, z57) ∧ mankind(z57) ∧ :purpose(z54, z58) ∧ and(z58) ∧ :op1(z58, z59) ∧ conquer-01(z59) ∧ :ARG0(z59, z57) ∧ :ARG1(z59, z60) ∧ nature(z60) ∧ :op2(z58, z61) ∧ transform-01(z61) ∧ :ARG0(z61, z57) ∧ :ARG1(z61, z60) ∧ :ARG1(z62, z52) ∧ deep-02(z62) ∧ :time(z52, z63) ∧ see-01(z63) ∧ :ARG0(z63, z53) ∧ :ARG1(z63, z64) ∧ thing(z64) ∧ :ARG1(z65, z64) ∧ work-12(z65) ∧ :mod(z64, z66) ∧ art(z66) ∧ :mod(z66, z67) ∧ body(z67) ∧ :mod(z66, z68) ∧ this(z68) ∧ :mod(z66, z69) ∧ burly(z69) ∧ :ARG1(z70, z66) ∧ powerful-02(z70) ∧ :ARG1(z71, z66) ∧ beautiful-02(z71) ∧ :location(z64, z72) ∧ country(z72) ∧ :wiki(z72, "Italy") ∧ :name(z72, z73) ∧ name(z73) ∧ :op1(z73, "Italy") ∧ :location(z52, z74) ∧ see-01(z74) ∧ :ARG0(z74, z53) ∧ :ARG1(z74, z75) ∧ work-of-art(z75) ∧ :wiki(z75, "Michelangelo") ∧ :name(z75, z76) ∧ name(z76) ∧ :op1(z76, "Michelangelo") ∧ :mod(z75, z77) ∧ body(z77) ∧ :ARG1(z78, z75) ∧ beautiful-02(z78) ∧ :ARG1(z79, z75) ∧ work-of-art(z79) ∧ :wiki(z79, "Sistine_Chapel") ∧ :name(z79, z80) ∧ name(z80) ∧ :op1(z80, "Sistine") ∧ :op2(z80, "Chapel") ∧ :location(z52, z81) ∧ country(z81) ∧ :wiki(z81, "Italy") ∧ :name(z81, z82) ∧ name(z82) ∧ :op1(z82, "Italy")


Smart city uses information and communication technology to sense, analyze and integrate the key information of the urban operation core system to achieve intelligent urban management and operation. And then make an intelligent response to various needs, including people's livelihood, environmental protection, public safety, industrial and commercial activities, so as to create a better life for people in the city and promote the sustainable growth of the city. According to statistics, up to now, more than 500 cities above the vice-provincial level and above the prefecture level in China have proposed or are building smart cities, accounting for about half of the total number of smart cities in the world.

Question: Which of the following options is mainly introduced in this passage?

Choices:
- Essential conditions for building a smart city.
- The present situation of the construction of smart cities in China.
- The development direction of urban construction in the future.
- The relationship between smart city and sustainable growth.

(z0 / multi-sentence
    :snt1 (z1 / use-01
              :ARG0 (z2 / city
                        :ARG1-of (z3 / smart-06))
              :ARG1 (z4 / and
                        :op1 (z5 / technology
                                 :mod (z6 / information))
                        :op2 (z7 / technology
                                 :mod (z8 / communicate-01)))
              :ARG2 (z9 / and
                        :op1 (z10 / sense-01
                                  :ARG0 z2
                                  :ARG1 (z11 / information
                                             :ARG1-of (z12 / key-02)
                                             :poss (z13 / system
                                                        :mod (z14 / core)
                                                        :mod (z15 / operate-01
                                                                  :ARG1 (z16 / urban)))))
                        :op2 (z17 / analyze-01
                                  :ARG0 z2
                                  :ARG1 z11)
                        :op3 (z18 / integrate-01
                                  :ARG0 z2
                                  :ARG1 z11)
                        :purpose (z19 / achieve-01
                                      :ARG0 z2
                                      :ARG1 (z20 / and
                                                 :op1 (z21 / manage-01
                                                           :ARG1 z16)
                                                 :op2 (z22 / operate-01
                                                           :ARG1 z16)
                                                 :ARG1-of (z23 / intelligent-01)))))
    :snt2 (z24 / and
               :op1 (z25 / propose-01
                         :ARG0 (z26 / city
                                    :quant (z27 / more-than
                                                :op1 500)
                                    :location (z28 / country
                                                   :wiki "China"
                                                   :name (z29 / name
                                                              :op1 "China"))
                                    :location (z30 / above
                                                   :op1 (z31 / level
                                                             :mod (z32 / province
                                                                       :mod (z33 / vice))))
                                    :location (z34 / above
                                                   :op1 (z35 / level
                                                             :mod (z36 / prefecture)))
                                    :ARG0-of (z37 / account-01
                                                  :ARG1 (z38 / half
                                                             :ARG1-of (z39 / include-91
                                                                           :ARG2 (z40 / number
                                                                                :quant-of (z41 / city
                                                                                :ARG1-of (z42 / smart-06)
                                                                                :location (z43 / world))
                                                                                :ARG1-of (z44 / total-01))))))
                         :ARG1 (z45 / city
                                    :ARG1-of (z46 / smart-06)))
               :op2 (z47 / build-01
                         :ARG0 z26
                         :ARG1 z45)
               :time (z48 / up-to
                          :op1 (z49 / now)))
    :snt3 (z50 / say-01
               :ARG0 (z51 / statistic)
               :ARG1 (z52 / or
                          :op1 (z53 / propose-01
                                    :ARG0 (z54 / city
                                               :quant (z55 / more-than
                                                           :op1 500)
                                               :location (z56 / above
                                                              :op1 (z57 / level
                                                                        :mod (z58 / province)))
                                               :location (z59 / country
                                                              :wiki "China"
                                                              :name (z60 / name
                                                                         :op1 "China")))
                                    :ARG1 (z61 / city
                                               :ARG1-of (z62 / smart-06)))
                          :op2 (z63 / build-01
                                    :ARG0 z54
                                    :ARG1 z44)))
    :snt4 (z64 / and
               :op2 (z65 / make-01
                         :ARG1 (z66 / respond-01
                                    :ARG1 (z67 / need-01
                                               :mod (z68 / various)
                                               :ARG2-of (z69 / include-01
                                                             :ARG1 (z70 / and
                                                                        :op1 (z71 / livelihood
                                                                                :poss (z72 / person))
                                                                        :op2 (z73 / protect-01
                                                                                :ARG1 (z74 / environment))
                                                                        :op3 (z75 / safe-01
                                                                                :ARG1 (z76 / public))
                                                                        :op4 (z77 / activity-06
                                                                                :mod (z78 / industry))
                                                                        :op5 (z79 / activity-06
                                                                                :mod (z80 / commerce)))))
                                    :ARG1-of (z81 / intelligent-01)
                                    :purpose (z82 / and
                                                  :op1 (z83 / create-01
                                                            :ARG1 (z84 / life
                                                                       :ARG1-of (z85 / have-degree-91
                                                                                :ARG2 (z86 / good-02
                                                                                :ARG1 z28)
                                                                                :ARG3 (z87 / more))
                                                                       :beneficiary (z88 / person
                                                                                :location (z89 / city))))
                                                  :op2 (z90 / promote-02
                                                            :ARG1 (z91 / grow-01
                                                                       :ARG1 (z92 / city)
                                                                       :ARG1-of (z93 / sustain-01
                                                                                :ARG1-of (z94 / possible-01)))))
                                    :time (z95 / then)))
               :snt5 (z96 / and
                          :op2 (z97 / make-01
                                    :ARG1 (z98 / respond-01
                                               :ARG1 (z1000 / need-01
                                                            :mod (z1001 / various)
                                                            :ARG2-of (z1002 / include-01
                                                                            :ARG1 (z1003 / and
                                                                                :op1 (z1004 / protect-01
                                                                                :ARG1 (z1005 / environment))
                                                                                :op2 (z1006 / protect-01
                                                                                :ARG1 (z1007 / environment))
                                                                                :op3 (z1008 / safe-01
                                                                                :ARG1 (z1009 / public))
                                                                                :op4 (z1010 / activity-06
                                                                                :mod (z1011 / industry))
                                                                                :op5 (z1012 / commerce)))
                                                            :ARG1-of (z1013 / intelligent-01))
                                               :time (z1014 / then))
                                    :purpose (z1015 / and
                                                    :op1 (z1016 / create-01
                                                                :ARG1 (z1017 / and
                                                                             :op1 (z1018 / create-01
                                                                                :ARG1 (z1019 / life
                                                                                :ARG1-of (z1020 / have-degree-91
                                                                                :ARG2 (z1021 / good-02)
                                                                                :ARG3 (z1022 / more)
                                                                                :ARG4 (z1023 / live-01
                                                                                :ARG0 (z1024 / person
                                                                                :location (z1025 / city)))))))
                                                                :op2 (z1026 / promote-02
                                                                            :ARG1 (z1027 / grow-01
                                                                                :ARG1 z50
                                                                                :ARG1-of (z1028 / sustain-01
                                                                                :ARG1-of (z1029 / possible-01)))))))
                          :snt6 (z1030 / and
                                       :op1 (z1031 / propose-01
                                                   :ARG0 (z1032 / city
                                                                :ARG1-of (z1033 / mature-02))
                                                   :ARG1 (z1034 / facility
                                                                :wiki "Shanghai"
                                                                :name (z1035 / name
                                                                             :op1 "Shanghai"))
                                                   :ARG2-of (z1036 / include-91
                                                                   :ARG1 (z1037 / city
                                                                                :ARG1-of (z1038 / smart-06))
                                                                   :ARG3 (z1039 / more-than
                                                                                :op1 500))))
                          :snt7 (z1040 / and
                                       :op1 (z1041 / propose-01
                                                   :ARG0 z1032
                                                   :ARG1 (z1042 / facility
                                                                :ARG1-of (z99 / marry-01)))
                                       :op2 (z100 / build-01
                                                  :ARG0 z1040
                                                  :ARG1 (z101 / facility
                                                              :ARG1-of (z102 / new-01)))
                                       :time (z103 / up-to
                                                   :op1 (z104 / now))))
               :snt8 (z105 / and
                           :op1 (z106 / propose-01
                                      :ARG0 z1032
                                      :ARG1 (z107 / facility
                                                  :ARG1-of (z1043 / age-01
                                                                  :ARG2-of (z1044 / Taiwan-00))))
                           :op2 (z1045 / build-01
                                       :ARG0 z1040
                                       :ARG1 (z1046 / facility
                                                    :ARG1-of (z1047 / new-01))))
               :snt9 (z1048 / and
                            :op1 (z1049 / propose-01
                                        :ARG0 z1040
                                        :ARG1 (z1050 / facility
                                                     :ARG1-of (z108 / new-01)))
                            :op2 (z1051 / have-03
                                        :ARG0 z1040
                                        :ARG1 (z1052 / facility
                                                     :ARG1-of (z1053 / new-01)
                                                     :ARG1-of (z1054 / new-01)
                                                     :ARG1-of (z1055 / new-01))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ use-01(z1) ∧ :ARG0(z1, z2) ∧ city(z2) ∧ :ARG1(z3, z2) ∧ smart-06(z3) ∧ :ARG1(z1, z4) ∧ and(z4) ∧ :op1(z4, z5) ∧ technology(z5) ∧ :mod(z5, z6) ∧ information(z6) ∧ :op2(z4, z7) ∧ technology(z7) ∧ :mod(z7, z8) ∧ communicate-01(z8) ∧ :ARG2(z1, z9) ∧ and(z9) ∧ :op1(z9, z10) ∧ sense-01(z10) ∧ :ARG0(z10, z2) ∧ :ARG1(z10, z11) ∧ information(z11) ∧ :ARG1(z12, z11) ∧ key-02(z12) ∧ :poss(z11, z13) ∧ system(z13) ∧ :mod(z13, z14) ∧ core(z14) ∧ :mod(z13, z15) ∧ operate-01(z15) ∧ :ARG1(z15, z16) ∧ urban(z16) ∧ :op2(z9, z17) ∧ analyze-01(z17) ∧ :ARG0(z17, z2) ∧ :ARG1(z17, z11) ∧ :op3(z9, z18) ∧ integrate-01(z18) ∧ :ARG0(z18, z2) ∧ :ARG1(z18, z11) ∧ :purpose(z9, z19) ∧ achieve-01(z19) ∧ :ARG0(z19, z2) ∧ :ARG1(z19, z20) ∧ and(z20) ∧ :op1(z20, z21) ∧ manage-01(z21) ∧ :ARG1(z21, z16) ∧ :op2(z20, z22) ∧ operate-01(z22) ∧ :ARG1(z22, z16) ∧ :ARG1(z23, z20) ∧ intelligent-01(z23) ∧ :snt2(z0, z24) ∧ and(z24) ∧ :op1(z24, z25) ∧ propose-01(z25) ∧ :ARG0(z25, z26) ∧ city(z26) ∧ :quant(z26, z27) ∧ more-than(z27) ∧ :op1(z27, 500) ∧ :location(z26, z28) ∧ country(z28) ∧ :wiki(z28, "China") ∧ :name(z28, z29) ∧ name(z29) ∧ :op1(z29, "China") ∧ :location(z26, z30) ∧ above(z30) ∧ :op1(z30, z31) ∧ level(z31) ∧ :mod(z31, z32) ∧ province(z32) ∧ :mod(z32, z33) ∧ vice(z33) ∧ :location(z26, z34) ∧ above(z34) ∧ :op1(z34, z35) ∧ level(z35) ∧ :mod(z35, z36) ∧ prefecture(z36) ∧ :ARG0(z37, z26) ∧ account-01(z37) ∧ :ARG1(z37, z38) ∧ half(z38) ∧ :ARG1(z39, z38) ∧ include-91(z39) ∧ :ARG2(z39, z40) ∧ number(z40) ∧ :quant(z41, z40) ∧ city(z41) ∧ :ARG1(z42, z41) ∧ smart-06(z42) ∧ :location(z41, z43) ∧ world(z43) ∧ :ARG1(z44, z40) ∧ total-01(z44) ∧ :ARG1(z25, z45) ∧ city(z45) ∧ :ARG1(z46, z45) ∧ smart-06(z46) ∧ :op2(z24, z47) ∧ build-01(z47) ∧ :ARG0(z47, z26) ∧ :ARG1(z47, z45) ∧ :time(z24, z48) ∧ up-to(z48) ∧ :op1(z48, z49) ∧ now(z49) ∧ :snt3(z0, z50) ∧ say-01(z50) ∧ :ARG0(z50, z51) ∧ statistic(z51) ∧ :ARG1(z50, z52) ∧ or(z52) ∧ :op1(z52, z53) ∧ propose-01(z53) ∧ :ARG0(z53, z54) ∧ city(z54) ∧ :quant(z54, z55) ∧ more-than(z55) ∧ :op1(z55, 500) ∧ :location(z54, z56) ∧ above(z56) ∧ :op1(z56, z57) ∧ level(z57) ∧ :mod(z57, z58) ∧ province(z58) ∧ :location(z54, z59) ∧ country(z59) ∧ :wiki(z59, "China") ∧ :name(z59, z60) ∧ name(z60) ∧ :op1(z60, "China") ∧ :ARG1(z53, z61) ∧ city(z61) ∧ :ARG1(z62, z61) ∧ smart-06(z62) ∧ :op2(z52, z63) ∧ build-01(z63) ∧ :ARG0(z63, z54) ∧ :ARG1(z63, z44) ∧ :snt4(z0, z64) ∧ and(z64) ∧ :op2(z64, z65) ∧ make-01(z65) ∧ :ARG1(z65, z66) ∧ respond-01(z66) ∧ :ARG1(z66, z67) ∧ need-01(z67) ∧ :mod(z67, z68) ∧ various(z68) ∧ :ARG2(z69, z67) ∧ include-01(z69) ∧ :ARG1(z69, z70) ∧ and(z70) ∧ :op1(z70, z71) ∧ livelihood(z71) ∧ :poss(z71, z72) ∧ person(z72) ∧ :op2(z70, z73) ∧ protect-01(z73) ∧ :ARG1(z73, z74) ∧ environment(z74) ∧ :op3(z70, z75) ∧ safe-01(z75) ∧ :ARG1(z75, z76) ∧ public(z76) ∧ :op4(z70, z77) ∧ activity-06(z77) ∧ :mod(z77, z78) ∧ industry(z78) ∧ :op5(z70, z79) ∧ activity-06(z79) ∧ :mod(z79, z80) ∧ commerce(z80) ∧ :ARG1(z81, z66) ∧ intelligent-01(z81) ∧ :purpose(z66, z82) ∧ and(z82) ∧ :op1(z82, z83) ∧ create-01(z83) ∧ :ARG1(z83, z84) ∧ life(z84) ∧ :ARG1(z85, z84) ∧ have-degree-91(z85) ∧ :ARG2(z85, z86) ∧ good-02(z86) ∧ :ARG1(z86, z28) ∧ :ARG3(z85, z87) ∧ more(z87) ∧ :beneficiary(z84, z88) ∧ person(z88) ∧ :location(z88, z89) ∧ city(z89) ∧ :op2(z82, z90) ∧ promote-02(z90) ∧ :ARG1(z90, z91) ∧ grow-01(z91) ∧ :ARG1(z91, z92) ∧ city(z92) ∧ :ARG1(z93, z91) ∧ sustain-01(z93) ∧ :ARG1(z94, z93) ∧ possible-01(z94) ∧ :time(z66, z95) ∧ then(z95) ∧ :snt5(z64, z96) ∧ and(z96) ∧ :op2(z96, z97) ∧ make-01(z97) ∧ :ARG1(z97, z98) ∧ respond-01(z98) ∧ :ARG1(z98, z1000) ∧ need-01(z1000) ∧ :mod(z1000, z1001) ∧ various(z1001) ∧ :ARG2(z1002, z1000) ∧ include-01(z1002) ∧ :ARG1(z1002, z1003) ∧ and(z1003) ∧ :op1(z1003, z1004) ∧ protect-01(z1004) ∧ :ARG1(z1004, z1005) ∧ environment(z1005) ∧ :op2(z1003, z1006) ∧ protect-01(z1006) ∧ :ARG1(z1006, z1007) ∧ environment(z1007) ∧ :op3(z1003, z1008) ∧ safe-01(z1008) ∧ :ARG1(z1008, z1009) ∧ public(z1009) ∧ :op4(z1003, z1010) ∧ activity-06(z1010) ∧ :mod(z1010, z1011) ∧ industry(z1011) ∧ :op5(z1003, z1012) ∧ commerce(z1012) ∧ :ARG1(z1013, z1000) ∧ intelligent-01(z1013) ∧ :time(z98, z1014) ∧ then(z1014) ∧ :purpose(z97, z1015) ∧ and(z1015) ∧ :op1(z1015, z1016) ∧ create-01(z1016) ∧ :ARG1(z1016, z1017) ∧ and(z1017) ∧ :op1(z1017, z1018) ∧ create-01(z1018) ∧ :ARG1(z1018, z1019) ∧ life(z1019) ∧ :ARG1(z1020, z1019) ∧ have-degree-91(z1020) ∧ :ARG2(z1020, z1021) ∧ good-02(z1021) ∧ :ARG3(z1020, z1022) ∧ more(z1022) ∧ :ARG4(z1020, z1023) ∧ live-01(z1023) ∧ :ARG0(z1023, z1024) ∧ person(z1024) ∧ :location(z1024, z1025) ∧ city(z1025) ∧ :op2(z1016, z1026) ∧ promote-02(z1026) ∧ :ARG1(z1026, z1027) ∧ grow-01(z1027) ∧ :ARG1(z1027, z50) ∧ :ARG1(z1028, z1027) ∧ sustain-01(z1028) ∧ :ARG1(z1029, z1028) ∧ possible-01(z1029) ∧ :snt6(z96, z1030) ∧ and(z1030) ∧ :op1(z1030, z1031) ∧ propose-01(z1031) ∧ :ARG0(z1031, z1032) ∧ city(z1032) ∧ :ARG1(z1033, z1032) ∧ mature-02(z1033) ∧ :ARG1(z1031, z1034) ∧ facility(z1034) ∧ :wiki(z1034, "Shanghai") ∧ :name(z1034, z1035) ∧ name(z1035) ∧ :op1(z1035, "Shanghai") ∧ :ARG2(z1036, z1031) ∧ include-91(z1036) ∧ :ARG1(z1036, z1037) ∧ city(z1037) ∧ :ARG1(z1038, z1037) ∧ smart-06(z1038) ∧ :ARG3(z1036, z1039) ∧ more-than(z1039) ∧ :op1(z1039, 500) ∧ :snt7(z96, z1040) ∧ and(z1040) ∧ :op1(z1040, z1041) ∧ propose-01(z1041) ∧ :ARG0(z1041, z1032) ∧ :ARG1(z1041, z1042) ∧ facility(z1042) ∧ :ARG1(z99, z1042) ∧ marry-01(z99) ∧ :op2(z1040, z100) ∧ build-01(z100) ∧ :ARG0(z100, z1040) ∧ :ARG1(z100, z101) ∧ facility(z101) ∧ :ARG1(z102, z101) ∧ new-01(z102) ∧ :time(z1040, z103) ∧ up-to(z103) ∧ :op1(z103, z104) ∧ now(z104) ∧ :snt8(z64, z105) ∧ and(z105) ∧ :op1(z105, z106) ∧ propose-01(z106) ∧ :ARG0(z106, z1032) ∧ :ARG1(z106, z107) ∧ facility(z107) ∧ :ARG1(z1043, z107) ∧ age-01(z1043) ∧ :ARG2(z1044, z1043) ∧ Taiwan-00(z1044) ∧ :op2(z105, z1045) ∧ build-01(z1045) ∧ :ARG0(z1045, z1040) ∧ :ARG1(z1045, z1046) ∧ facility(z1046) ∧ :ARG1(z1047, z1046) ∧ new-01(z1047) ∧ :snt9(z64, z1048) ∧ and(z1048) ∧ :op1(z1048, z1049) ∧ propose-01(z1049) ∧ :ARG0(z1049, z1040) ∧ :ARG1(z1049, z1050) ∧ facility(z1050) ∧ :ARG1(z108, z1050) ∧ new-01(z108) ∧ :op2(z1048, z1051) ∧ have-03(z1051) ∧ :ARG0(z1051, z1040) ∧ :ARG1(z1051, z1052) ∧ facility(z1052) ∧ :ARG1(z1053, z1052) ∧ new-01(z1053) ∧ :ARG1(z1054, z1052) ∧ new-01(z1054) ∧ :ARG1(z1055, z1052) ∧ new-01(z1055)


Not all the elderly are suitable to participate in investment activities. Most investment products require investors to have rich professional knowledge, but most of the elderly lack in this respect, so that they can only be fooled by some fraudsters. Compared with the stock market, funds and other securities investment, the elderly investment in art more easily fooled. If there is not enough identification ability, they will be deceived, cheated the in the mind also think met pick up the leak the good thing.

Question: Based on the above statement, which of the following can be concluded?

Choices:
- Some senior citizens have rich professional knowledge and are suitable for investment activities
- Some old people do not have enough identification ability, but also meet the beauty of picking up the leak
- Some old people need to be discerning enough if they don't want to be cheated
- Older people are not suitable to participate in investment activities, whether it is the stock market, funds or art investment

(z0 / multi-sentence
    :snt1 (z1 / suitable-04
              :polarity -
              :ARG1 (z2 / elderly
                        :mod (z3 / all)
                        :mod (z4 / all))
              :ARG2 (z5 / participate-01
                        :ARG0 z2
                        :ARG1 (z6 / activity-06
                                  :ARG1 (z7 / invest-01))))
    :snt2 (z8 / require-01
              :ARG0 (z9 / product
                        :mod (z10 / invest-01)
                        :quant (z11 / most))
              :ARG1 (z12 / have-03
                         :ARG0 (z13 / person
                                    :ARG0-of (z14 / invest-01))
                         :ARG1 (z15 / know-01
                                    :ARG0 z13
                                    :ARG1 (z16 / profession)
                                    :mod (z17 / rich)))
              :ARG2 (z18 / person
                         :ARG0-of (z19 / invest-01))
              :concession-of (z20 / lack-01
                                  :ARG0 (z21 / person
                                             :ARG1-of (z22 / include-91
                                                           :ARG2 (z23 / elderly)
                                                           :ARG3 (z24 / most)))
                                  :ARG1 z15
                                  :ARG0-of (z25 / cause-01
                                                :ARG1 (z26 / possible-01
                                                           :ARG1 (z27 / fool-01
                                                                      :ARG0 (z28 / person
                                                                                :ARG0-of (z29 / defraud-01)
                                                                                :quant (z30 / some))
                                                                      :ARG1 z21
                                                                      :mod (z31 / only))))))
    :snt3 (z32 / have-degree-91
               :ARG1 (z33 / invest-01
                          :ARG0 (z34 / elderly)
                          :ARG2 (z35 / art))
               :ARG2 (z36 / fool-01
                          :ARG1 (z37 / invest-01
                                     :ARG0 z34
                                     :ARG2 (z38 / art)))
               :ARG3 (z39 / more)
               :ARG4 (z40 / fool-01
                          :ARG1 z34
                          :ARG1-of (z41 / easy-05))
               :ARG1-of (z42 / compare-01
                             :ARG2 (z43 / and
                                        :op1 (z44 / market
                                                  :mod (z45 / stock))
                                        :op2 (z46 / fund)
                                        :op3 (z47 / invest-01
                                                  :ARG2 (z48 / security)
                                                  :mod (z49 / other)))))
    :snt4 (z50 / and
               :op1 (z51 / deceive-01
                         :ARG1 (z52 / they))
               :op2 (z53 / cheat-01
                         :ARG1 (z54 / mind))
               :op3 (z55 / think-01
                         :ARG0 z52
                         :ARG1 (z56 / meet-03
                                    :ARG0 z52
                                    :ARG1 (z57 / pick-up-11
                                               :ARG0 z52
                                               :ARG1 (z58 / leak-01
                                                          :ARG1 (z59 / thing
                                                                     :ARG1-of (z60 / good-02)))))
                         :mod (z61 / also))
               :condition (z62 / capable-01
                               :polarity -
                               :ARG2 (z63 / identify-01)
                               :ARG1-of (z64 / have-quant-91
                                             :ARG3 (z65 / enough)))
               :snt5 (z66 / and
                          :op1 (z67 / fool-01
                                    :ARG1 z52)
                          :op2 (z68 / cheat-01
                                    :ARG1 z52)
                          :op3 (z69 / think-01
                                    :ARG0 z52
                                    :ARG1 (z70 / pick-up-11
                                               :ARG0 z52
                                               :ARG1 (z71 / leak-01
                                                          :ARG1 (z72 / thing
                                                                     :ARG1-of (z73 / good-02))))))
               :snt6 (z74 / and
                          :op1 (z75 / go-01
                                    :ARG1 (z76 / mother)
                                    :direction (z77 / out))
                          :op2 (z78 / go-01
                                    :ARG1 (z79 / father)
                                    :direction (z80 / back))
                          :ARG1-of (z81 / easy-05
                                        :ARG2-of (z82 / have-degree-91
                                                      :ARG1 z74
                                                      :ARG3 (z83 / more)
                                                      :ARG4 (z84 / and
                                                                 :op1 (z85 / market
                                                                           :mod (z86 / stock))
                                                                 :op2 (z87 / fund)
                                                                 :op3 (z88 / invest-01
                                                                           :ARG2 (z89 / security
                                                                                :mod (z90 / other)))))))
               :snt7 (z91 / cause-01
                          :ARG0 (z92 / lack-01
                                     :ARG0 (z93 / person
                                                :ARG1-of (z94 / include-91
                                                              :ARG2 (z1000 / elderly)
                                                              :ARG3 (z1001 / most)))
                                     :ARG1 (z1002 / know-01
                                                  :ARG0 z81
                                                  :ARG1 (z1003 / professional)
                                                  :mod (z1004 / rich))
                                     :ARG0-of (z1005 / cause-01
                                                     :ARG1 (z1006 / possible-01
                                                                  :ARG1 (z1007 / fool-01
                                                                               :ARG1 (z95 / person
                                                                                :ARG0-of (z96 / defraud-01)
                                                                                :quant (z97 / some))))))))
    :snt8 (z1008 / and
                 :op1 (z1009 / deceive-01
                             :ARG1 (z1010 / they))
                 :op2 (z1011 / cheat-01
                             :ARG1 (z1012 / mind))
                 :op3 (z1013 / think-01
                             :ARG0 (z1014 / i)
                             :ARG1 (z98 / pick-up-11
                                        :ARG0 (z99 / person)
                                        :ARG1 (z100 / thing
                                                    :ARG1-of (z101 / leak-01)
                                                    :ARG1-of (z102 / good-02))))
                 :snt9 (z103 / think-01
                             :ARG0 z52
                             :ARG1 (z104 / pick-up-11
                                         :ARG0 z99
                                         :ARG1 (z105 / thing
                                                     :ARG1-of (z106 / leak-01)))))
    :snt10 (z1015 / have-degree-91
                  :ARG1 (z1016 / fool-01
                               :ARG1 (z1017 / art
                                            :ARG1-of (z1018 / invest-01
                                                            :ARG0 (z1019 / elderly))))
                  :ARG2 (z1020 / easy-05)
                  :ARG3 (z1021 / more)
                  :ARG4 (z1022 / and
                               :op1 (z1023 / market
                                           :mod (z1024 / stock))
                               :op2 (z1025 / fund)
                               :op3 (z1026 / invest-01
                                           :ARG2 (z1027 / security
                                                        :mod (z1028 / other)))))
    :snt11 (z1029 / have-degree-91
                  :ARG1 (z1030 / art
                               :ARG1-of (z1031 / invest-01
                                               :ARG0 (z1032 / elderly)))
                  :ARG2 (z1033 / easy-05)
                  :ARG3 (z1034 / more)
                  :ARG4 (z1035 / and
                               :op1 (z1036 / and
                                           :op1 (z1037 / market
                                                       :mod (z1038 / stock))
                                           :op2 (z1039 / fund)
                                           :op3 (z1040 / invest-01
                                                       :ARG2 (z1041 / other))))))

multi-sentence(z0) ∧ ¬(:snt1(z0, z1) ∧ suitable-04(z1) ∧ :ARG1(z1, z2) ∧ elderly(z2) ∧ :mod(z2, z3) ∧ all(z3) ∧ :mod(z2, z4) ∧ all(z4) ∧ :ARG2(z1, z5) ∧ participate-01(z5) ∧ :ARG0(z5, z2) ∧ :ARG1(z5, z6) ∧ activity-06(z6) ∧ :ARG1(z6, z7) ∧ invest-01(z7)) ∧ :snt2(z0, z8) ∧ require-01(z8) ∧ :ARG0(z8, z9) ∧ product(z9) ∧ :mod(z9, z10) ∧ invest-01(z10) ∧ :quant(z9, z11) ∧ most(z11) ∧ :ARG1(z8, z12) ∧ have-03(z12) ∧ :ARG0(z12, z13) ∧ person(z13) ∧ :ARG0(z14, z13) ∧ invest-01(z14) ∧ :ARG1(z12, z15) ∧ know-01(z15) ∧ :ARG0(z15, z13) ∧ :ARG1(z15, z16) ∧ profession(z16) ∧ :mod(z15, z17) ∧ rich(z17) ∧ :ARG2(z8, z18) ∧ person(z18) ∧ :ARG0(z19, z18) ∧ invest-01(z19) ∧ :concession(z20, z8) ∧ lack-01(z20) ∧ :ARG0(z20, z21) ∧ person(z21) ∧ :ARG1(z22, z21) ∧ include-91(z22) ∧ :ARG2(z22, z23) ∧ elderly(z23) ∧ :ARG3(z22, z24) ∧ most(z24) ∧ :ARG1(z20, z15) ∧ :ARG0(z25, z20) ∧ cause-01(z25) ∧ :ARG1(z25, z26) ∧ possible-01(z26) ∧ :ARG1(z26, z27) ∧ fool-01(z27) ∧ :ARG0(z27, z28) ∧ person(z28) ∧ :ARG0(z29, z28) ∧ defraud-01(z29) ∧ :quant(z28, z30) ∧ some(z30) ∧ :ARG1(z27, z21) ∧ :mod(z27, z31) ∧ only(z31) ∧ :snt3(z0, z32) ∧ have-degree-91(z32) ∧ :ARG1(z32, z33) ∧ invest-01(z33) ∧ :ARG0(z33, z34) ∧ elderly(z34) ∧ :ARG2(z33, z35) ∧ art(z35) ∧ :ARG2(z32, z36) ∧ fool-01(z36) ∧ :ARG1(z36, z37) ∧ invest-01(z37) ∧ :ARG0(z37, z34) ∧ :ARG2(z37, z38) ∧ art(z38) ∧ :ARG3(z32, z39) ∧ more(z39) ∧ :ARG4(z32, z40) ∧ fool-01(z40) ∧ :ARG1(z40, z34) ∧ :ARG1(z41, z40) ∧ easy-05(z41) ∧ :ARG1(z42, z32) ∧ compare-01(z42) ∧ :ARG2(z42, z43) ∧ and(z43) ∧ :op1(z43, z44) ∧ market(z44) ∧ :mod(z44, z45) ∧ stock(z45) ∧ :op2(z43, z46) ∧ fund(z46) ∧ :op3(z43, z47) ∧ invest-01(z47) ∧ :ARG2(z47, z48) ∧ security(z48) ∧ :mod(z47, z49) ∧ other(z49) ∧ :snt4(z0, z50) ∧ ¬(:condition(z50, z62) ∧ capable-01(z62) ∧ :ARG2(z62, z63) ∧ identify-01(z63) ∧ :ARG1(z64, z62) ∧ have-quant-91(z64) ∧ :ARG3(z64, z65) ∧ enough(z65)) ∧ and(z50) ∧ :op1(z50, z51) ∧ deceive-01(z51) ∧ :ARG1(z51, z52) ∧ they(z52) ∧ :op2(z50, z53) ∧ cheat-01(z53) ∧ :ARG1(z53, z54) ∧ mind(z54) ∧ :op3(z50, z55) ∧ think-01(z55) ∧ :ARG0(z55, z52) ∧ :ARG1(z55, z56) ∧ meet-03(z56) ∧ :ARG0(z56, z52) ∧ :ARG1(z56, z57) ∧ pick-up-11(z57) ∧ :ARG0(z57, z52) ∧ :ARG1(z57, z58) ∧ leak-01(z58) ∧ :ARG1(z58, z59) ∧ thing(z59) ∧ :ARG1(z60, z59) ∧ good-02(z60) ∧ :mod(z55, z61) ∧ also(z61) ∧ :snt5(z50, z66) ∧ and(z66) ∧ :op1(z66, z67) ∧ fool-01(z67) ∧ :ARG1(z67, z52) ∧ :op2(z66, z68) ∧ cheat-01(z68) ∧ :ARG1(z68, z52) ∧ :op3(z66, z69) ∧ think-01(z69) ∧ :ARG0(z69, z52) ∧ :ARG1(z69, z70) ∧ pick-up-11(z70) ∧ :ARG0(z70, z52) ∧ :ARG1(z70, z71) ∧ leak-01(z71) ∧ :ARG1(z71, z72) ∧ thing(z72) ∧ :ARG1(z73, z72) ∧ good-02(z73) ∧ :snt6(z50, z74) ∧ and(z74) ∧ :op1(z74, z75) ∧ go-01(z75) ∧ :ARG1(z75, z76) ∧ mother(z76) ∧ :direction(z75, z77) ∧ out(z77) ∧ :op2(z74, z78) ∧ go-01(z78) ∧ :ARG1(z78, z79) ∧ father(z79) ∧ :direction(z78, z80) ∧ back(z80) ∧ :ARG1(z81, z74) ∧ easy-05(z81) ∧ :ARG2(z82, z81) ∧ have-degree-91(z82) ∧ :ARG1(z82, z74) ∧ :ARG3(z82, z83) ∧ more(z83) ∧ :ARG4(z82, z84) ∧ and(z84) ∧ :op1(z84, z85) ∧ market(z85) ∧ :mod(z85, z86) ∧ stock(z86) ∧ :op2(z84, z87) ∧ fund(z87) ∧ :op3(z84, z88) ∧ invest-01(z88) ∧ :ARG2(z88, z89) ∧ security(z89) ∧ :mod(z89, z90) ∧ other(z90) ∧ :snt7(z50, z91) ∧ cause-01(z91) ∧ :ARG0(z91, z92) ∧ lack-01(z92) ∧ :ARG0(z92, z93) ∧ person(z93) ∧ :ARG1(z94, z93) ∧ include-91(z94) ∧ :ARG2(z94, z1000) ∧ elderly(z1000) ∧ :ARG3(z94, z1001) ∧ most(z1001) ∧ :ARG1(z92, z1002) ∧ know-01(z1002) ∧ :ARG0(z1002, z81) ∧ :ARG1(z1002, z1003) ∧ professional(z1003) ∧ :mod(z1002, z1004) ∧ rich(z1004) ∧ :ARG0(z1005, z92) ∧ cause-01(z1005) ∧ :ARG1(z1005, z1006) ∧ possible-01(z1006) ∧ :ARG1(z1006, z1007) ∧ fool-01(z1007) ∧ :ARG1(z1007, z95) ∧ person(z95) ∧ :ARG0(z96, z95) ∧ defraud-01(z96) ∧ :quant(z95, z97) ∧ some(z97) ∧ :snt8(z0, z1008) ∧ and(z1008) ∧ :op1(z1008, z1009) ∧ deceive-01(z1009) ∧ :ARG1(z1009, z1010) ∧ they(z1010) ∧ :op2(z1008, z1011) ∧ cheat-01(z1011) ∧ :ARG1(z1011, z1012) ∧ mind(z1012) ∧ :op3(z1008, z1013) ∧ think-01(z1013) ∧ :ARG0(z1013, z1014) ∧ i(z1014) ∧ :ARG1(z1013, z98) ∧ pick-up-11(z98) ∧ :ARG0(z98, z99) ∧ person(z99) ∧ :ARG1(z98, z100) ∧ thing(z100) ∧ :ARG1(z101, z100) ∧ leak-01(z101) ∧ :ARG1(z102, z100) ∧ good-02(z102) ∧ :snt9(z1008, z103) ∧ think-01(z103) ∧ :ARG0(z103, z52) ∧ :ARG1(z103, z104) ∧ pick-up-11(z104) ∧ :ARG0(z104, z99) ∧ :ARG1(z104, z105) ∧ thing(z105) ∧ :ARG1(z106, z105) ∧ leak-01(z106) ∧ :snt10(z0, z1015) ∧ have-degree-91(z1015) ∧ :ARG1(z1015, z1016) ∧ fool-01(z1016) ∧ :ARG1(z1016, z1017) ∧ art(z1017) ∧ :ARG1(z1018, z1017) ∧ invest-01(z1018) ∧ :ARG0(z1018, z1019) ∧ elderly(z1019) ∧ :ARG2(z1015, z1020) ∧ easy-05(z1020) ∧ :ARG3(z1015, z1021) ∧ more(z1021) ∧ :ARG4(z1015, z1022) ∧ and(z1022) ∧ :op1(z1022, z1023) ∧ market(z1023) ∧ :mod(z1023, z1024) ∧ stock(z1024) ∧ :op2(z1022, z1025) ∧ fund(z1025) ∧ :op3(z1022, z1026) ∧ invest-01(z1026) ∧ :ARG2(z1026, z1027) ∧ security(z1027) ∧ :mod(z1027, z1028) ∧ other(z1028) ∧ :snt11(z0, z1029) ∧ have-degree-91(z1029) ∧ :ARG1(z1029, z1030) ∧ art(z1030) ∧ :ARG1(z1031, z1030) ∧ invest-01(z1031) ∧ :ARG0(z1031, z1032) ∧ elderly(z1032) ∧ :ARG2(z1029, z1033) ∧ easy-05(z1033) ∧ :ARG3(z1029, z1034) ∧ more(z1034) ∧ :ARG4(z1029, z1035) ∧ and(z1035) ∧ :op1(z1035, z1036) ∧ and(z1036) ∧ :op1(z1036, z1037) ∧ market(z1037) ∧ :mod(z1037, z1038) ∧ stock(z1038) ∧ :op2(z1036, z1039) ∧ fund(z1039) ∧ :op3(z1036, z1040) ∧ invest-01(z1040) ∧ :ARG2(z1040, z1041) ∧ other(z1041)


Many of the presidents and prime ministers who have had the most successful foreign policies had no prior experience in foreign affairs when they assumed office. Although scholars and diplomats in the sacrosanct inner circle of international affairs would have us think otherwise, anyone with an acute political sense, a disciplined temperament, and a highly developed ability to absorb and retain information can quickly learn to conduct a successful foreign policy. In fact, prior experience alone will be of little value to a foreign policymaker who lacks all three of these traits.

Question: If all of the statements above are true, which one of the following must be true?

Choices:
- An acute political sense, a disciplined temperament, and a highly developed ability to absorb and retain information are each necessary conditions for a president or prime minister to have a successful foreign policy.
- A president or prime minister with years of experience in foreign affairs will have a more successful foreign policy than one who does not have experience in foreign affairs.
- Prior experience in foreign affairs is neither a sufficient nor a necessary condition for a president or prime minister to have a successful foreign policy.
- Prior experience in foreign affairs is a necessary but not sufficient condition for a president or prime minister to have a successful foreign policy.

(z0 / multi-sentence
    :snt1 (z1 / have-03
              :polarity -
              :ARG0 (z2 / and
                        :op1 (z3 / person
                                 :ARG0-of (z4 / have-org-role-91
                                              :ARG2 (z5 / president)))
                        :op2 (z6 / person
                                 :ARG0-of (z7 / have-org-role-91
                                              :ARG2 (z8 / minister
                                                        :mod (z9 / prime))))
                        :quant (z10 / many)
                        :ARG0-of (z11 / have-03
                                      :ARG1 (z12 / policy-01
                                                 :ARG2 (z13 / foreign)
                                                 :ARG1-of (z14 / succeed-01
                                                               :ARG2-of (z15 / have-degree-91
                                                                             :ARG1 z12
                                                                             :ARG3 (z16 / most))))))
              :ARG1 (z17 / experience-01
                         :ARG0 z2
                         :ARG1 (z18 / affair-02
                                    :ARG2 (z19 / foreign))
                         :time (z20 / prior))
              :time (z21 / assume-01
                         :ARG0 z2
                         :ARG1 (z22 / office)))
    :snt2 (z23 / have-concession-91
               :ARG1 (z24 / possible-01
                          :ARG1 (z25 / learn-01
                                     :ARG0 (z26 / anyone
                                                :ARG0-of (z27 / have-03
                                                              :ARG1 (z28 / and
                                                                         :op1 (z29 / sense-01
                                                                                :ARG0 z26
                                                                                :ARG1 (z30 / politics)
                                                                                :mod (z31 / acute))
                                                                         :op2 (z32 / temperament
                                                                                :ARG1-of (z33 / discipline-01))
                                                                         :op3 (z34 / capable-01
                                                                                :ARG1 z26
                                                                                :ARG2 (z35 / and
                                                                                :op1 (z36 / absorb-01
                                                                                :ARG0 z26
                                                                                :ARG1 (z37 / information))
                                                                                :op2 (z38 / retain-01
                                                                                :ARG0 z26
                                                                                :ARG1 z37))
                                                                                :ARG1-of (z39 / develop-02
                                                                                :degree (z40 / high-02))))))
                                     :ARG1 (z41 / conduct-01
                                                :ARG0 z26
                                                :ARG1 (z42 / policy-01
                                                           :ARG2 (z43 / foreign)
                                                           :ARG1-of (z44 / succeed-01)))
                                     :ARG1-of (z45 / quick-02)))
               :ARG2 (z46 / have-04
                          :ARG0 (z47 / and
                                     :op1 (z48 / scholar)
                                     :op2 (z49 / diplomat)
                                     :ARG0-of (z50 / have-org-role-91
                                                   :ARG1 (z51 / circle
                                                              :mod (z52 / inner)
                                                              :mod (z53 / sacred)
                                                              :mod (z54 / affair-02
                                                                        :ARG2 (z55 / international)))
                                                   :ARG2 (z56 / member)))
                          :ARG1 (z57 / think-01
                                     :ARG0 (z58 / we)
                                     :ARG1 (z59 / something
                                                :mod (z60 / else)))))
    :snt3 (z61 / value-01
               :ARG1 (z62 / experience-01
                          :time (z63 / prior)
                          :mod (z64 / alone))
               :ARG2 (z65 / little)
               :ARG3 (z66 / person
                          :ARG0-of (z67 / make-01
                                        :ARG1 (z68 / policy-01
                                                   :ARG2 (z69 / foreign)))
                          :ARG0-of (z70 / lack-01
                                        :ARG1 (z71 / trait
                                                   :quant 3
                                                   :mod (z72 / all)
                                                   :mod (z73 / this)))
                          :ARG0-of (z74 / have-03
                                        :polarity -
                                        :ARG1 z42))
               :mod (z75 / in-fact))
    :snt4 (z76 / have-concession-91
               :ARG1 (z77 / possible-01
                          :ARG1 (z78 / learn-01
                                     :ARG0 (z79 / anyone
                                                :ARG0-of (z80 / have-03
                                                              :ARG1 (z81 / and
                                                                         :op1 (z82 / sense-01
                                                                                :ARG0 z39
                                                                                :ARG1 (z83 / politics)
                                                                                :mod (z84 / acute))
                                                                         :op2 (z85 / temperament
                                                                                :ARG1-of (z86 / discipline-01))
                                                                         :op3 (z87 / capable-01
                                                                                :ARG1 z39
                                                                                :ARG2 (z88 / and
                                                                                :op1 (z89 / absorb-01
                                                                                :ARG0 z39
                                                                                :ARG1 (z90 / information))
                                                                                :op2 (z91 / retain-01
                                                                                :ARG0 z39
                                                                                :ARG1 z90))))))
                                     :ARG1 (z92 / conduct-01
                                                :ARG0 z39
                                                :ARG1 (z93 / policy-01
                                                           :ARG2 (z94 / foreign)
                                                           :ARG1-of (z95 / succeed-01)))))
               :ARG2 (z96 / assume-01
                          :ARG0 (z97 / and
                                     :op1 (z98 / scholar)
                                     :op2 (z99 / diplomat)
                                     :ARG0-of (z100 / have-org-role-91
                                                    :ARG1 (z101 / circle
                                                                :mod (z102 / inner)
                                                                :mod (z103 / sacred)
                                                                :mod (z104 / sacred))))
                          :ARG1 (z105 / office)))
    :snt5 (z1000 / value
                 :mod (z1001 / little)
                 :domain (z1002 / experience-01
                                :time (z1003 / prior))
                 :beneficiary (z1004 / person
                                     :ARG0-of (z1005 / make-01
                                                     :ARG1 (z1006 / policy-01
                                                                  :ARG2 (z1007 / foreign))))))

multi-sentence(z0) ∧ ¬(:snt1(z0, z1) ∧ have-03(z1) ∧ :ARG0(z1, z2) ∧ and(z2) ∧ :op1(z2, z3) ∧ person(z3) ∧ :ARG0(z4, z3) ∧ have-org-role-91(z4) ∧ :ARG2(z4, z5) ∧ president(z5) ∧ :op2(z2, z6) ∧ person(z6) ∧ :ARG0(z7, z6) ∧ have-org-role-91(z7) ∧ :ARG2(z7, z8) ∧ minister(z8) ∧ :mod(z8, z9) ∧ prime(z9) ∧ :quant(z2, z10) ∧ many(z10) ∧ :ARG0(z11, z2) ∧ have-03(z11) ∧ :ARG1(z11, z12) ∧ policy-01(z12) ∧ :ARG2(z12, z13) ∧ foreign(z13) ∧ :ARG1(z14, z12) ∧ succeed-01(z14) ∧ :ARG2(z15, z14) ∧ have-degree-91(z15) ∧ :ARG1(z15, z12) ∧ :ARG3(z15, z16) ∧ most(z16) ∧ :ARG1(z1, z17) ∧ experience-01(z17) ∧ :ARG0(z17, z2) ∧ :ARG1(z17, z18) ∧ affair-02(z18) ∧ :ARG2(z18, z19) ∧ foreign(z19) ∧ :time(z17, z20) ∧ prior(z20) ∧ :time(z1, z21) ∧ assume-01(z21) ∧ :ARG0(z21, z2) ∧ :ARG1(z21, z22) ∧ office(z22)) ∧ :snt2(z0, z23) ∧ have-concession-91(z23) ∧ :ARG1(z23, z24) ∧ possible-01(z24) ∧ :ARG1(z24, z25) ∧ learn-01(z25) ∧ :ARG0(z25, z26) ∧ anyone(z26) ∧ :ARG0(z27, z26) ∧ have-03(z27) ∧ :ARG1(z27, z28) ∧ and(z28) ∧ :op1(z28, z29) ∧ sense-01(z29) ∧ :ARG0(z29, z26) ∧ :ARG1(z29, z30) ∧ politics(z30) ∧ :mod(z29, z31) ∧ acute(z31) ∧ :op2(z28, z32) ∧ temperament(z32) ∧ :ARG1(z33, z32) ∧ discipline-01(z33) ∧ :op3(z28, z34) ∧ capable-01(z34) ∧ :ARG1(z34, z26) ∧ :ARG2(z34, z35) ∧ and(z35) ∧ :op1(z35, z36) ∧ absorb-01(z36) ∧ :ARG0(z36, z26) ∧ :ARG1(z36, z37) ∧ information(z37) ∧ :op2(z35, z38) ∧ retain-01(z38) ∧ :ARG0(z38, z26) ∧ :ARG1(z38, z37) ∧ :ARG1(z39, z34) ∧ develop-02(z39) ∧ :degree(z39, z40) ∧ high-02(z40) ∧ :ARG1(z25, z41) ∧ conduct-01(z41) ∧ :ARG0(z41, z26) ∧ :ARG1(z41, z42) ∧ policy-01(z42) ∧ :ARG2(z42, z43) ∧ foreign(z43) ∧ :ARG1(z44, z42) ∧ succeed-01(z44) ∧ :ARG1(z45, z25) ∧ quick-02(z45) ∧ :ARG2(z23, z46) ∧ have-04(z46) ∧ :ARG0(z46, z47) ∧ and(z47) ∧ :op1(z47, z48) ∧ scholar(z48) ∧ :op2(z47, z49) ∧ diplomat(z49) ∧ :ARG0(z50, z47) ∧ have-org-role-91(z50) ∧ :ARG1(z50, z51) ∧ circle(z51) ∧ :mod(z51, z52) ∧ inner(z52) ∧ :mod(z51, z53) ∧ sacred(z53) ∧ :mod(z51, z54) ∧ affair-02(z54) ∧ :ARG2(z54, z55) ∧ international(z55) ∧ :ARG2(z50, z56) ∧ member(z56) ∧ :ARG1(z46, z57) ∧ think-01(z57) ∧ :ARG0(z57, z58) ∧ we(z58) ∧ :ARG1(z57, z59) ∧ something(z59) ∧ :mod(z59, z60) ∧ else(z60) ∧ :snt3(z0, z61) ∧ value-01(z61) ∧ :ARG1(z61, z62) ∧ experience-01(z62) ∧ :time(z62, z63) ∧ prior(z63) ∧ :mod(z62, z64) ∧ alone(z64) ∧ :ARG2(z61, z65) ∧ little(z65) ∧ :ARG3(z61, z66) ∧ person(z66) ∧ :ARG0(z67, z66) ∧ make-01(z67) ∧ :ARG1(z67, z68) ∧ policy-01(z68) ∧ :ARG2(z68, z69) ∧ foreign(z69) ∧ :ARG0(z70, z66) ∧ lack-01(z70) ∧ :ARG1(z70, z71) ∧ trait(z71) ∧ :quant(z71, 3) ∧ :mod(z71, z72) ∧ all(z72) ∧ :mod(z71, z73) ∧ this(z73) ∧ ¬(:ARG0(z74, z66) ∧ have-03(z74) ∧ :ARG1(z74, z42)) ∧ :mod(z61, z75) ∧ in-fact(z75) ∧ :snt4(z0, z76) ∧ have-concession-91(z76) ∧ :ARG1(z76, z77) ∧ possible-01(z77) ∧ :ARG1(z77, z78) ∧ learn-01(z78) ∧ :ARG0(z78, z79) ∧ anyone(z79) ∧ :ARG0(z80, z79) ∧ have-03(z80) ∧ :ARG1(z80, z81) ∧ and(z81) ∧ :op1(z81, z82) ∧ sense-01(z82) ∧ :ARG0(z82, z39) ∧ :ARG1(z82, z83) ∧ politics(z83) ∧ :mod(z82, z84) ∧ acute(z84) ∧ :op2(z81, z85) ∧ temperament(z85) ∧ :ARG1(z86, z85) ∧ discipline-01(z86) ∧ :op3(z81, z87) ∧ capable-01(z87) ∧ :ARG1(z87, z39) ∧ :ARG2(z87, z88) ∧ and(z88) ∧ :op1(z88, z89) ∧ absorb-01(z89) ∧ :ARG0(z89, z39) ∧ :ARG1(z89, z90) ∧ information(z90) ∧ :op2(z88, z91) ∧ retain-01(z91) ∧ :ARG0(z91, z39) ∧ :ARG1(z91, z90) ∧ :ARG1(z78, z92) ∧ conduct-01(z92) ∧ :ARG0(z92, z39) ∧ :ARG1(z92, z93) ∧ policy-01(z93) ∧ :ARG2(z93, z94) ∧ foreign(z94) ∧ :ARG1(z95, z93) ∧ succeed-01(z95) ∧ :ARG2(z76, z96) ∧ assume-01(z96) ∧ :ARG0(z96, z97) ∧ and(z97) ∧ :op1(z97, z98) ∧ scholar(z98) ∧ :op2(z97, z99) ∧ diplomat(z99) ∧ :ARG0(z100, z97) ∧ have-org-role-91(z100) ∧ :ARG1(z100, z101) ∧ circle(z101) ∧ :mod(z101, z102) ∧ inner(z102) ∧ :mod(z101, z103) ∧ sacred(z103) ∧ :mod(z101, z104) ∧ sacred(z104) ∧ :ARG1(z96, z105) ∧ office(z105) ∧ :snt5(z0, z1000) ∧ value(z1000) ∧ :mod(z1000, z1001) ∧ little(z1001) ∧ :domain(z1000, z1002) ∧ experience-01(z1002) ∧ :time(z1002, z1003) ∧ prior(z1003) ∧ :beneficiary(z1000, z1004) ∧ person(z1004) ∧ :ARG0(z1005, z1004) ∧ make-01(z1005) ∧ :ARG1(z1005, z1006) ∧ policy-01(z1006) ∧ :ARG2(z1006, z1007) ∧ foreign(z1007)


Wu Guanzhong put forward the artistic concept of Kite without stop in the 1980s, which has exerted an important influence on the history of Chinese contemporary art. It seems that this is an exposition of the inner connection between formal beauty and abstract beauty. In fact, it emphasizes that no matter how innovative and how self-flying art creation is, it cannot be far away from real life. In Wu Guanzhong's opinion, abstract painting is like flying a kite. The kite is a work, which is a certain art form abstracted into materials and feelings from life by the author with subtraction, division or other methods, and the audience is the sky. For the kite to fly, there must be a link between the work and the source of life in the artist's hand. Only when the kite is constantly on the line can art have a foundation and maintain communication with the audience.

Question: Which of the followings is consistent with the idea of the kite is constantly on the line?

Choices:
- Art comes from life and is higher than life
- The first purpose of art is to reproduce reality
- Artistic creation should be based on life
- Art loses its soil without the people

(z0 / multi-sentence
    :snt1 (z1 / introduce-02
              :ARG0 (z2 / person
                        :wiki -
                        :name (z3 / name
                                  :op1 "Wu"
                                  :op2 "Guanzhong"))
              :ARG1 (z4 / concept
                        :mod (z5 / art)
                        :mod (z6 / kite)
                        :ARG1-of (z7 / stop-01
                                     :polarity -
                                     :time (z8 / date-entity
                                               :decade 1980))
                        :ARG0-of (z9 / influence-01
                                     :ARG1 (z10 / history
                                                :mod (z11 / art
                                                          :mod (z12 / contemporary)
                                                          :mod (z13 / country
                                                                    :wiki "China"
                                                                    :name (z14 / name
                                                                               :op1 "China"))))
                                     :ARG1-of (z15 / important-01)))
              :manner (z16 / forward))
    :snt2 (z17 / opine-01
               :ARG0 (z18 / person
                          :wiki -
                          :name (z19 / name
                                     :op1 "Wu"
                                     :op2 "Guanzhong"))
               :ARG1 (z20 / resemble-01
                          :ARG1 (z21 / paint-02
                                     :mod (z22 / abstract))
                          :ARG2 (z23 / fly-01
                                     :ARG1 (z24 / kite))))
    :snt3 (z25 / seem-01
               :ARG1 (z26 / exhibit-01
                          :ARG0 (z27 / this)
                          :ARG1 (z28 / connect-01
                                     :ARG1 (z29 / beautiful-02
                                                :mod (z30 / formal))
                                     :ARG2 (z31 / beautiful-02
                                                :mod (z32 / abstract))
                                     :mod (z33 / inner))))
    :snt4 (z34 / emphasize-01
               :ARG0 (z35 / it)
               :ARG1 (z36 / possible-01
                          :polarity -
                          :ARG1 (z37 / be-located-at-91
                                     :ARG1 z28
                                     :ARG2 (z38 / relative-position
                                                :op1 (z39 / life
                                                          :ARG1-of (z40 / real-04))
                                                :direction (z41 / away)
                                                :quant (z42 / far)))
                          :ARG1-of (z43 / regardless-91
                                        :ARG2 (z44 / and
                                                   :op1 (z45 / thing
                                                             :manner-of (z46 / innovate-01
                                                                             :ARG1 z28))
                                                   :op2 (z47 / thing
                                                             :degree-of (z48 / innovate-01
                                                                             :ARG0 (z49 / create-01
                                                                                :ARG1 (z50 / art
                                                                                :ARG1-of (z51 / fly-01
                                                                                :ARG0 (z52 / self)))))))))
               :mod (z53 / in-fact))
    :snt5 (z54 / possible-01
               :ARG1 (z55 / and
                          :op1 (z56 / found-01
                                    :ARG1 (z57 / art))
                          :op2 (z58 / maintain-01
                                    :ARG0 z57
                                    :ARG1 (z59 / communicate-01
                                               :ARG0 z57
                                               :ARG2 (z60 / audience))))
               :condition (z61 / be-located-at-91
                               :ARG1 (z62 / kite)
                               :ARG2 (z63 / line)
                               :mod (z64 / constant)
                               :mod (z65 / only)))
    :snt6 (z66 / work-01
               :ARG0 (z67 / kite)
               :ARG1 (z68 / form
                          :mod (z69 / certain)
                          :mod (z70 / art)
                          :ARG1-of (z71 / abstract-00
                                        :ARG0 (z72 / person
                                                   :ARG0-of (z73 / author-01))
                                        :ARG2 (z74 / and
                                                   :op1 (z75 / material)
                                                   :op2 (z76 / feel-01)
                                                   :source (z77 / life))
                                        :manner (z78 / or
                                                     :op1 (z79 / remove-01
                                                               :ARG0 z72
                                                               :ARG1 z41
                                                               :ARG2 (z80 / or
                                                                          :op1 (z81 / thing)
                                                                          :op2 (z82 / method
                                                                                :mod (z83 / other))))))
                          :domain (z84 / kite))
               :snt7 (z85 / sky
                          :domain (z86 / audience))
               :snt8 (z87 / obligate-01
                          :ARG1 (z88 / link-01
                                     :ARG1 (z89 / work-01)
                                     :ARG2 (z90 / thing
                                                :ARG2-of (z91 / source-01
                                                              :ARG1 (z92 / life)))
                                     :ARG1-of (z93 / in-ones-hands-04
                                                   :ARG0 (z94 / artist))))
               :snt9 (z95 / obligate-01
                          :ARG1 (z96 / fly-01
                                     :ARG1 (z97 / kite)))
               :snt10 (z98 / opine-01
                           :ARG0 (z1000 / person
                                        :wiki -
                                        :name (z1001 / name
                                                     :op1 "Wu"
                                                     :op2 "Guanzhong"))
                           :ARG1 (z1002 / resemble-01
                                        :ARG1 (z1003 / paint-02
                                                     :mod (z1004 / abstract))
                                        :ARG2 (z1005 / fly-01
                                                     :ARG1 (z1006 / kite))))
               :snt11 (z1007 / opine-01
                             :ARG0 z1000
                             :ARG1 (z1008 / resemble-01
                                          :ARG1 (z1009 / painting
                                                       :mod (z1010 / abstract))
                                          :ARG2 (z1011 / fly-01
                                                       :ARG1 z1006)))
               :snt12 (z1012 / work-01
                             :ARG0 (z1013 / person
                                          :wiki "Wu_Guanzhong"
                                          :name (z1014 / name
                                                       :op1 "Wu"
                                                       :op2 "Guanzhong"))
                             :ARG1 (z1015 / work))
               :snt13 (z1016 / and
                             :op1 (z1017 / kite
                                         :domain (z1018 / form
                                                        :mod (z1019 / art)
                                                        :ARG1-of (z1020 / abstract-00)
                                                        :ARG1-of (z1021 / abstract-02
                                                                        :ARG0 (z1022 / person
                                                                                :ARG0-of (z1023 / author-01)))
                                                        :domain (z1024 / kite)))
                             :snt14 (z1025 / and
                                           :op1 (z1026 / material)
                                           :op2 (z1027 / feel-01)
                                           :source (z1028 / life)
                                           :ARG1-of (z1029 / abstract-02
                                                           :ARG0 z1022))
                             :snt15 (z1030 / have-03
                                           :ARG0 (z1031 / i)
                                           :ARG1 (z1032 / found-01
                                                        :ARG1 (z1033 / art))
                                           :snt16 (z1034 / and
                                                         :op1 (z1035 / foundation)
                                                         :op2 (z1036 / maintain-01
                                                                     :ARG0 z1033
                                                                     :ARG1 (z1037 / communicate-01
                                                                                :ARG0 z1033
                                                                                :ARG2 (z1038 / audience)))))
                             :snt17 (z1039 / and
                                           :op1 (z1040 / seem-01
                                                       :ARG1 (z1041 / exposition
                                                                    :topic (z99 / exposition
                                                                                :topic (z100 / connect-01
                                                                                :ARG1 (z101 / beauty
                                                                                :mod (z102 / formal))
                                                                                :ARG2 (z103 / beauty
                                                                                :mod (z104 / abstract)))
                                                                                :mod (z105 / inner))))
                                           :snt18 (z106 / it)))
               :snt7 (z107 / emphasize-01
                           :ARG0 (z1042 / it)
                           :ARG1 (z1043 / possible-01
                                        :polarity -
                                        :ARG1 (z1044 / be-located-at-91
                                                     :ARG1 (z1045 / aircraft-type
                                                                  :wiki "Kite"
                                                                  :name (z1046 / name
                                                                               :op1 "Kite"))
                                                     :ARG2 (z1047 / away
                                                                  :op1 (z1048 / life
                                                                              :ARG1-of (z1049 / real-04))))))
               :snt8 (z1050 / matter
                            :polarity -
                            :op1 (z1051 / possible-01
                                        :ARG1 (z1052 / and
                                                     :op1 (z1053 / innovate-01
                                                                 :ARG1 (z108 / aircraft-type
                                                                             :wiki "Kite"
                                                                             :name (z1054 / name
                                                                                :op1 "Kite"))
                                                                 :op2 (z1055 / name)))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ introduce-02(z1) ∧ :ARG0(z1, z2) ∧ person(z2) ∧ :wiki(z2, -) ∧ :name(z2, z3) ∧ name(z3) ∧ :op1(z3, "Wu") ∧ :op2(z3, "Guanzhong") ∧ :ARG1(z1, z4) ∧ concept(z4) ∧ :mod(z4, z5) ∧ art(z5) ∧ :mod(z4, z6) ∧ kite(z6) ∧ ¬(:ARG1(z7, z4) ∧ stop-01(z7) ∧ :time(z7, z8) ∧ date-entity(z8) ∧ :decade(z8, 1980)) ∧ :ARG0(z9, z4) ∧ influence-01(z9) ∧ :ARG1(z9, z10) ∧ history(z10) ∧ :mod(z10, z11) ∧ art(z11) ∧ :mod(z11, z12) ∧ contemporary(z12) ∧ :mod(z11, z13) ∧ country(z13) ∧ :wiki(z13, "China") ∧ :name(z13, z14) ∧ name(z14) ∧ :op1(z14, "China") ∧ :ARG1(z15, z9) ∧ important-01(z15) ∧ :manner(z1, z16) ∧ forward(z16) ∧ :snt2(z0, z17) ∧ opine-01(z17) ∧ :ARG0(z17, z18) ∧ person(z18) ∧ :wiki(z18, -) ∧ :name(z18, z19) ∧ name(z19) ∧ :op1(z19, "Wu") ∧ :op2(z19, "Guanzhong") ∧ :ARG1(z17, z20) ∧ resemble-01(z20) ∧ :ARG1(z20, z21) ∧ paint-02(z21) ∧ :mod(z21, z22) ∧ abstract(z22) ∧ :ARG2(z20, z23) ∧ fly-01(z23) ∧ :ARG1(z23, z24) ∧ kite(z24) ∧ :snt3(z0, z25) ∧ seem-01(z25) ∧ :ARG1(z25, z26) ∧ exhibit-01(z26) ∧ :ARG0(z26, z27) ∧ this(z27) ∧ :ARG1(z26, z28) ∧ connect-01(z28) ∧ :ARG1(z28, z29) ∧ beautiful-02(z29) ∧ :mod(z29, z30) ∧ formal(z30) ∧ :ARG2(z28, z31) ∧ beautiful-02(z31) ∧ :mod(z31, z32) ∧ abstract(z32) ∧ :mod(z28, z33) ∧ inner(z33) ∧ :snt4(z0, z34) ∧ emphasize-01(z34) ∧ :ARG0(z34, z35) ∧ it(z35) ∧ ¬(:ARG1(z34, z36) ∧ possible-01(z36) ∧ :ARG1(z36, z37) ∧ be-located-at-91(z37) ∧ :ARG1(z37, z28) ∧ :ARG2(z37, z38) ∧ relative-position(z38) ∧ :op1(z38, z39) ∧ life(z39) ∧ :ARG1(z40, z39) ∧ real-04(z40) ∧ :direction(z38, z41) ∧ away(z41) ∧ :quant(z38, z42) ∧ far(z42) ∧ :ARG1(z43, z36) ∧ regardless-91(z43) ∧ :ARG2(z43, z44) ∧ and(z44) ∧ :op1(z44, z45) ∧ thing(z45) ∧ :manner(z46, z45) ∧ innovate-01(z46) ∧ :ARG1(z46, z28) ∧ :op2(z44, z47) ∧ thing(z47) ∧ :degree(z48, z47) ∧ innovate-01(z48) ∧ :ARG0(z48, z49) ∧ create-01(z49) ∧ :ARG1(z49, z50) ∧ art(z50) ∧ :ARG1(z51, z50) ∧ fly-01(z51) ∧ :ARG0(z51, z52) ∧ self(z52)) ∧ :mod(z34, z53) ∧ in-fact(z53) ∧ :snt5(z0, z54) ∧ :condition(z54, z61) ∧ be-located-at-91(z61) ∧ :ARG1(z61, z62) ∧ kite(z62) ∧ :ARG2(z61, z63) ∧ line(z63) ∧ :mod(z61, z64) ∧ constant(z64) ∧ :mod(z61, z65) ∧ only(z65) ∧ possible-01(z54) ∧ :ARG1(z54, z55) ∧ and(z55) ∧ :op1(z55, z56) ∧ found-01(z56) ∧ :ARG1(z56, z57) ∧ art(z57) ∧ :op2(z55, z58) ∧ maintain-01(z58) ∧ :ARG0(z58, z57) ∧ :ARG1(z58, z59) ∧ communicate-01(z59) ∧ :ARG0(z59, z57) ∧ :ARG2(z59, z60) ∧ audience(z60) ∧ :snt6(z0, z66) ∧ work-01(z66) ∧ :ARG0(z66, z67) ∧ kite(z67) ∧ :ARG1(z66, z68) ∧ form(z68) ∧ :mod(z68, z69) ∧ certain(z69) ∧ :mod(z68, z70) ∧ art(z70) ∧ :ARG1(z71, z68) ∧ abstract-00(z71) ∧ :ARG0(z71, z72) ∧ person(z72) ∧ :ARG0(z73, z72) ∧ author-01(z73) ∧ :ARG2(z71, z74) ∧ and(z74) ∧ :op1(z74, z75) ∧ material(z75) ∧ :op2(z74, z76) ∧ feel-01(z76) ∧ :source(z74, z77) ∧ life(z77) ∧ :manner(z71, z78) ∧ or(z78) ∧ :op1(z78, z79) ∧ remove-01(z79) ∧ :ARG0(z79, z72) ∧ :ARG1(z79, z41) ∧ :ARG2(z79, z80) ∧ or(z80) ∧ :op1(z80, z81) ∧ thing(z81) ∧ :op2(z80, z82) ∧ method(z82) ∧ :mod(z82, z83) ∧ other(z83) ∧ :domain(z68, z84) ∧ kite(z84) ∧ :snt7(z66, z85) ∧ sky(z85) ∧ :domain(z85, z86) ∧ audience(z86) ∧ :snt8(z66, z87) ∧ obligate-01(z87) ∧ :ARG1(z87, z88) ∧ link-01(z88) ∧ :ARG1(z88, z89) ∧ work-01(z89) ∧ :ARG2(z88, z90) ∧ thing(z90) ∧ :ARG2(z91, z90) ∧ source-01(z91) ∧ :ARG1(z91, z92) ∧ life(z92) ∧ :ARG1(z93, z88) ∧ in-ones-hands-04(z93) ∧ :ARG0(z93, z94) ∧ artist(z94) ∧ :snt9(z66, z95) ∧ obligate-01(z95) ∧ :ARG1(z95, z96) ∧ fly-01(z96) ∧ :ARG1(z96, z97) ∧ kite(z97) ∧ :snt10(z66, z98) ∧ opine-01(z98) ∧ :ARG0(z98, z1000) ∧ person(z1000) ∧ :wiki(z1000, -) ∧ :name(z1000, z1001) ∧ name(z1001) ∧ :op1(z1001, "Wu") ∧ :op2(z1001, "Guanzhong") ∧ :ARG1(z98, z1002) ∧ resemble-01(z1002) ∧ :ARG1(z1002, z1003) ∧ paint-02(z1003) ∧ :mod(z1003, z1004) ∧ abstract(z1004) ∧ :ARG2(z1002, z1005) ∧ fly-01(z1005) ∧ :ARG1(z1005, z1006) ∧ kite(z1006) ∧ :snt11(z66, z1007) ∧ opine-01(z1007) ∧ :ARG0(z1007, z1000) ∧ :ARG1(z1007, z1008) ∧ resemble-01(z1008) ∧ :ARG1(z1008, z1009) ∧ painting(z1009) ∧ :mod(z1009, z1010) ∧ abstract(z1010) ∧ :ARG2(z1008, z1011) ∧ fly-01(z1011) ∧ :ARG1(z1011, z1006) ∧ :snt12(z66, z1012) ∧ work-01(z1012) ∧ :ARG0(z1012, z1013) ∧ person(z1013) ∧ :wiki(z1013, "Wu_Guanzhong") ∧ :name(z1013, z1014) ∧ name(z1014) ∧ :op1(z1014, "Wu") ∧ :op2(z1014, "Guanzhong") ∧ :ARG1(z1012, z1015) ∧ work(z1015) ∧ :snt13(z66, z1016) ∧ and(z1016) ∧ :op1(z1016, z1017) ∧ kite(z1017) ∧ :domain(z1017, z1018) ∧ form(z1018) ∧ :mod(z1018, z1019) ∧ art(z1019) ∧ :ARG1(z1020, z1018) ∧ abstract-00(z1020) ∧ :ARG1(z1021, z1018) ∧ abstract-02(z1021) ∧ :ARG0(z1021, z1022) ∧ person(z1022) ∧ :ARG0(z1023, z1022) ∧ author-01(z1023) ∧ :domain(z1018, z1024) ∧ kite(z1024) ∧ :snt14(z1016, z1025) ∧ and(z1025) ∧ :op1(z1025, z1026) ∧ material(z1026) ∧ :op2(z1025, z1027) ∧ feel-01(z1027) ∧ :source(z1025, z1028) ∧ life(z1028) ∧ :ARG1(z1029, z1025) ∧ abstract-02(z1029) ∧ :ARG0(z1029, z1022) ∧ :snt15(z1016, z1030) ∧ have-03(z1030) ∧ :ARG0(z1030, z1031) ∧ i(z1031) ∧ :ARG1(z1030, z1032) ∧ found-01(z1032) ∧ :ARG1(z1032, z1033) ∧ art(z1033) ∧ :snt16(z1030, z1034) ∧ and(z1034) ∧ :op1(z1034, z1035) ∧ foundation(z1035) ∧ :op2(z1034, z1036) ∧ maintain-01(z1036) ∧ :ARG0(z1036, z1033) ∧ :ARG1(z1036, z1037) ∧ communicate-01(z1037) ∧ :ARG0(z1037, z1033) ∧ :ARG2(z1037, z1038) ∧ audience(z1038) ∧ :snt17(z1016, z1039) ∧ and(z1039) ∧ :op1(z1039, z1040) ∧ seem-01(z1040) ∧ :ARG1(z1040, z1041) ∧ exposition(z1041) ∧ :topic(z1041, z99) ∧ exposition(z99) ∧ :topic(z99, z100) ∧ connect-01(z100) ∧ :ARG1(z100, z101) ∧ beauty(z101) ∧ :mod(z101, z102) ∧ formal(z102) ∧ :ARG2(z100, z103) ∧ beauty(z103) ∧ :mod(z103, z104) ∧ abstract(z104) ∧ :mod(z99, z105) ∧ inner(z105) ∧ :snt18(z1039, z106) ∧ it(z106) ∧ :snt7(z66, z107) ∧ emphasize-01(z107) ∧ :ARG0(z107, z1042) ∧ it(z1042) ∧ ¬(:ARG1(z107, z1043) ∧ possible-01(z1043) ∧ :ARG1(z1043, z1044) ∧ be-located-at-91(z1044) ∧ :ARG1(z1044, z1045) ∧ aircraft-type(z1045) ∧ :wiki(z1045, "Kite") ∧ :name(z1045, z1046) ∧ name(z1046) ∧ :op1(z1046, "Kite") ∧ :ARG2(z1044, z1047) ∧ away(z1047) ∧ :op1(z1047, z1048) ∧ life(z1048) ∧ :ARG1(z1049, z1048) ∧ real-04(z1049)) ∧ ¬(:snt8(z66, z1050) ∧ matter(z1050) ∧ :op1(z1050, z1051) ∧ possible-01(z1051) ∧ :ARG1(z1051, z1052) ∧ and(z1052) ∧ :op1(z1052, z1053) ∧ innovate-01(z1053) ∧ :ARG1(z1053, z108) ∧ aircraft-type(z108) ∧ :wiki(z108, "Kite") ∧ :name(z108, z1054) ∧ name(z1054) ∧ :op1(z1054, "Kite") ∧ :op2(z1053, z1055) ∧ name(z1055))