Cynthia: Corporations amply fund research that generates marketable new technologies. But the fundamental goal of science is to achieve a comprehensive knowledge of the workings of the universe. The government should help fund those basic scientific research projects that seek to further our theoretical knowledge of nature. Luis: The basic goal of government support of scientific research is to generate technological advances that will benefit society as a whole. So only research that is expected to yield practical applications in fields such as agriculture and medicine ought to be funded.

Question: Cynthia's and Luis's statements provide the most support for the contention that they would disagree with each other about the truth of which one of the following statements?

Choices:
- A proposed study of the effects of chemical fertilizers on crops, for the purpose of developing more-resistant and higher-yielding breeds, should not receive government funding.
- Knowledge gained through basic scientific research need not be expected to lead to new and useful technologies in order for the research to merit government funding.
- The government should help fund pure theoretical research because such research might have unforeseen practical applications in fields such as agriculture and medicine.
- Although some research projects in theoretical science yield practical benefits, most do not, and so no research projects in theoretical science should be funded by the government.

(z0 / multi-sentence
    :snt1 (z1 / say-01
              :ARG0 (z2 / person
                        :wiki -
                        :name (z3 / name
                                  :op1 "Cynthia"))
              :ARG1 (z4 / fund-01
                        :ARG0 (z5 / corporation)
                        :ARG1 (z6 / research-01
                                  :ARG0-of (z7 / generate-01
                                               :ARG1 (z8 / technology
                                                         :ARG1-of (z9 / new-01)
                                                         :ARG1-of (z10 / market-01
                                                                       :ARG1-of (z11 / possible-01)))))
                        :degree (z12 / ample)))
    :snt2 (z13 / contrast-01
               :ARG1 (z14 / goal
                          :mod (z15 / fundamental)
                          :poss (z16 / science)
                          :domain (z17 / achieve-01
                                       :ARG1 (z18 / know-01
                                                  :ARG1 (z19 / work-01
                                                             :ARG0 (z20 / universe))
                                                  :mod (z21 / comprehensive))))
               :ARG2 (z22 / recommend-01
                          :ARG1 (z23 / help-01
                                     :ARG0 (z24 / government-organization
                                                :ARG0-of (z25 / govern-01))
                                     :ARG1 (z26 / fund-01
                                                :ARG0 z24
                                                :ARG1 (z27 / project
                                                           :mod (z28 / research-01
                                                                     :mod (z29 / science)
                                                                     :mod (z30 / basic))
                                                           :ARG0-of (z31 / seek-01
                                                                         :ARG1 (z32 / further-01
                                                                                :ARG0 z27
                                                                                :ARG1 (z33 / know-01
                                                                                :ARG0 (z34 / we)
                                                                                :ARG1 (z35 / nature)
                                                                                :mod (z36 / theory)))))))))
    :snt3 (z37 / say-01
               :ARG0 (z38 / person
                          :wiki -
                          :name (z39 / name
                                     :op1 "Luis"))
               :ARG1 (z40 / have-purpose-91
                          :ARG1 (z41 / support-01
                                     :ARG0 (z42 / government-organization
                                                :ARG0-of (z43 / govern-01))
                                     :ARG1 (z44 / research-01
                                                :mod (z45 / science)))
                          :ARG2 (z46 / generate-01
                                     :ARG1 (z47 / advance-01
                                                :ARG1 (z48 / technology)
                                                :ARG0-of (z49 / benefit-01
                                                              :ARG1 (z50 / society
                                                                         :mod (z51 / whole)))))
                          :mod (z52 / basic)))
    :snt4 (z53 / cause-01
               :ARG1 (z54 / recommend-01
                          :ARG1 (z55 / fund-01
                                     :ARG1 (z56 / research-01
                                                :ARG0-of (z57 / yield-01
                                                              :ARG1 (z58 / application
                                                                         :ARG1-of (z59 / practical-02)
                                                                         :location (z60 / field
                                                                                :example (z61 / and
                                                                                :op1 (z62 / agriculture)
                                                                                :op2 (z63 / medicine))))
                                                              :ARG1-of (z64 / expect-01))
                                                :mod (z65 / only)))
                          :ARG1-of (z66 / cause-01)))
    :snt5 (z67 / say-01
               :ARG0 (z68 / person
                          :wiki -
                          :name (z69 / name
                                     :op1 "Luis"))
               :ARG1 (z70 / recommend-01
                          :ARG1 (z71 / fund-01
                                     :ARG1 (z72 / research-01
                                                :ARG0-of (z73 / yield-01
                                                              :ARG1 (z74 / application
                                                                         :ARG1-of (z75 / practical-02)
                                                                         :location (z76 / field
                                                                                :example (z77 / agriculture)
                                                                                :example (z78 / medicine))))
                                                :mod (z79 / only)))))
    :snt6 (z80 / say-01
               :ARG0 (z81 / person
                          :wiki -
                          :name (z82 / name
                                     :op1 "Cynthia"))
               :ARG1 (z83 / recommend-01
                          :ARG1 (z84 / help-01
                                     :ARG1 (z85 / fund-01
                                                :ARG1 (z86 / project
                                                           :mod (z87 / research-01
                                                                     :mod (z88 / science)
                                                                     :mod (z89 / basic))
                                                           :ARG0-of (z90 / seek-01
                                                                         :ARG1 (z91 / further-01
                                                                                :ARG0 z86
                                                                                :ARG1 (z92 / know-01
                                                                                :ARG0 (z93 / we)
                                                                                :ARG1 (z1000 / nature)
                                                                                :mod (z1001 / theory)))))))))
    :snt7 (z1002 / say-01
                 :ARG0 (z1003 / person
                              :wiki -
                              :name (z1004 / name
                                           :op1 "Luis"))
                 :ARG1 (z1005 / have-purpose-91
                              :ARG1 (z94 / support-01
                                         :ARG0 (z95 / government-organization
                                                    :ARG0-of (z96 / govern-01))
                                         :ARG1 (z1006 / research-01
                                                      :mod (z1007 / science)))
                              :ARG2 (z1008 / generate-01
                                           :ARG1 (z1009 / advance-01
                                                        :ARG1 (z1010 / technology
                                                                     :ARG1-of (z1011 / new-01)
                                                                     :ARG0-of (z1012 / benefit-01
                                                                                :ARG1 (z1013 / society
                                                                                :mod (z1014 / whole))))))))
    :snt8 (z1015 / say-01
                 :ARG0 (z1016 / person
                              :wiki -
                              :name (z1017 / name
                                           :op1 "Cynthia"))
                 :ARG1 (z1018 / fund-01
                              :ARG0 (z1019 / corporation)
                              :ARG1 (z1020 / research-01
                                           :ARG0-of (z1021 / generate-01
                                                           :ARG1 (z1022 / technology
                                                                        :ARG1-of (z1023 / new-01)
                                                                        :ARG1-of (z1024 / new-01))))
                              :degree (z1025 / ample)))
    :snt9 (z1026 / contrast-01
                 :ARG2 (z1027 / goal
                              :mod (z1028 / fundamental)
                              :domain (z97 / achieve-01
                                           :ARG0 (z98 / science)
                                           :ARG1 (z99 / know-01
                                                      :ARG1 (z100 / know-01
                                                                  :ARG1 (z101 / work-01
                                                                              :ARG0 (z102 / universe)
                                                                              :ARG1 (z103 / universe))
                                                                  :mod (z104 / comprehensive))))))
    :snt10 (z105 / say-01
                 :ARG0 (z1029 / person
                              :wiki -
                              :name (z1030 / name
                                           :op1 "Rome"))
                 :ARG1 (z1031 / recommend-01
                              :ARG1 (z1032 / fund-01
                                           :ARG1 (z1033 / research
                                                        :ARG1-of (z1034 / expect-01)
                                                        :ARG0-of (z1035 / yield-01
                                                                        :ARG1 (z1036 / apply-02
                                                                                :ARG1 z1033
                                                                                :ARG2 (z1037 / field
                                                                                :ARG1-of (z1038 / field
                                                                                :example (z1039 / agriculture)
                                                                                :example (z1040 / medicine)))
                                                                                :ARG1-of (z1041 / practical-03)))))))
    :snt11 (z1042 / say-01
                  :ARG0 (z1043 / person
                               :wiki -
                               :name (z1044 / name
                                            :op1 "Rome"))
                  :ARG1 (z1045 / recommend-01
                               :ARG1 (z1046 / fund-01
                                            :ARG1 (z1047 / research
                                                         :ARG1-of (z1048 / have-03
                                                                         :ARG0 z1047
                                                                         :ARG1 (z1049 / field
                                                                                :ARG1-of (z1050 / field
                                                                                :ARG1-of (z1051 / resemble-01
                                                                                :ARG2 (z1052 / agriculture))))))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ say-01(z1) ∧ :ARG0(z1, z2) ∧ person(z2) ∧ :wiki(z2, -) ∧ :name(z2, z3) ∧ name(z3) ∧ :op1(z3, "Cynthia") ∧ :ARG1(z1, z4) ∧ fund-01(z4) ∧ :ARG0(z4, z5) ∧ corporation(z5) ∧ :ARG1(z4, z6) ∧ research-01(z6) ∧ :ARG0(z7, z6) ∧ generate-01(z7) ∧ :ARG1(z7, z8) ∧ technology(z8) ∧ :ARG1(z9, z8) ∧ new-01(z9) ∧ :ARG1(z10, z8) ∧ market-01(z10) ∧ :ARG1(z11, z10) ∧ possible-01(z11) ∧ :degree(z4, z12) ∧ ample(z12) ∧ :snt2(z0, z13) ∧ contrast-01(z13) ∧ :ARG1(z13, z14) ∧ goal(z14) ∧ :mod(z14, z15) ∧ fundamental(z15) ∧ :poss(z14, z16) ∧ science(z16) ∧ :domain(z14, z17) ∧ achieve-01(z17) ∧ :ARG1(z17, z18) ∧ know-01(z18) ∧ :ARG1(z18, z19) ∧ work-01(z19) ∧ :ARG0(z19, z20) ∧ universe(z20) ∧ :mod(z18, z21) ∧ comprehensive(z21) ∧ :ARG2(z13, z22) ∧ recommend-01(z22) ∧ :ARG1(z22, z23) ∧ help-01(z23) ∧ :ARG0(z23, z24) ∧ government-organization(z24) ∧ :ARG0(z25, z24) ∧ govern-01(z25) ∧ :ARG1(z23, z26) ∧ fund-01(z26) ∧ :ARG0(z26, z24) ∧ :ARG1(z26, z27) ∧ project(z27) ∧ :mod(z27, z28) ∧ research-01(z28) ∧ :mod(z28, z29) ∧ science(z29) ∧ :mod(z28, z30) ∧ basic(z30) ∧ :ARG0(z31, z27) ∧ seek-01(z31) ∧ :ARG1(z31, z32) ∧ further-01(z32) ∧ :ARG0(z32, z27) ∧ :ARG1(z32, z33) ∧ know-01(z33) ∧ :ARG0(z33, z34) ∧ we(z34) ∧ :ARG1(z33, z35) ∧ nature(z35) ∧ :mod(z33, z36) ∧ theory(z36) ∧ :snt3(z0, z37) ∧ say-01(z37) ∧ :ARG0(z37, z38) ∧ person(z38) ∧ :wiki(z38, -) ∧ :name(z38, z39) ∧ name(z39) ∧ :op1(z39, "Luis") ∧ :ARG1(z37, z40) ∧ have-purpose-91(z40) ∧ :ARG1(z40, z41) ∧ support-01(z41) ∧ :ARG0(z41, z42) ∧ government-organization(z42) ∧ :ARG0(z43, z42) ∧ govern-01(z43) ∧ :ARG1(z41, z44) ∧ research-01(z44) ∧ :mod(z44, z45) ∧ science(z45) ∧ :ARG2(z40, z46) ∧ generate-01(z46) ∧ :ARG1(z46, z47) ∧ advance-01(z47) ∧ :ARG1(z47, z48) ∧ technology(z48) ∧ :ARG0(z49, z47) ∧ benefit-01(z49) ∧ :ARG1(z49, z50) ∧ society(z50) ∧ :mod(z50, z51) ∧ whole(z51) ∧ :mod(z40, z52) ∧ basic(z52) ∧ :snt4(z0, z53) ∧ cause-01(z53) ∧ :ARG1(z53, z54) ∧ recommend-01(z54) ∧ :ARG1(z54, z55) ∧ fund-01(z55) ∧ :ARG1(z55, z56) ∧ research-01(z56) ∧ :ARG0(z57, z56) ∧ yield-01(z57) ∧ :ARG1(z57, z58) ∧ application(z58) ∧ :ARG1(z59, z58) ∧ practical-02(z59) ∧ :location(z58, z60) ∧ field(z60) ∧ :example(z60, z61) ∧ and(z61) ∧ :op1(z61, z62) ∧ agriculture(z62) ∧ :op2(z61, z63) ∧ medicine(z63) ∧ :ARG1(z64, z57) ∧ expect-01(z64) ∧ :mod(z56, z65) ∧ only(z65) ∧ :ARG1(z66, z54) ∧ cause-01(z66) ∧ :snt5(z0, z67) ∧ say-01(z67) ∧ :ARG0(z67, z68) ∧ person(z68) ∧ :wiki(z68, -) ∧ :name(z68, z69) ∧ name(z69) ∧ :op1(z69, "Luis") ∧ :ARG1(z67, z70) ∧ recommend-01(z70) ∧ :ARG1(z70, z71) ∧ fund-01(z71) ∧ :ARG1(z71, z72) ∧ research-01(z72) ∧ :ARG0(z73, z72) ∧ yield-01(z73) ∧ :ARG1(z73, z74) ∧ application(z74) ∧ :ARG1(z75, z74) ∧ practical-02(z75) ∧ :location(z74, z76) ∧ field(z76) ∧ :example(z76, z77) ∧ agriculture(z77) ∧ :example(z76, z78) ∧ medicine(z78) ∧ :mod(z72, z79) ∧ only(z79) ∧ :snt6(z0, z80) ∧ say-01(z80) ∧ :ARG0(z80, z81) ∧ person(z81) ∧ :wiki(z81, -) ∧ :name(z81, z82) ∧ name(z82) ∧ :op1(z82, "Cynthia") ∧ :ARG1(z80, z83) ∧ recommend-01(z83) ∧ :ARG1(z83, z84) ∧ help-01(z84) ∧ :ARG1(z84, z85) ∧ fund-01(z85) ∧ :ARG1(z85, z86) ∧ project(z86) ∧ :mod(z86, z87) ∧ research-01(z87) ∧ :mod(z87, z88) ∧ science(z88) ∧ :mod(z87, z89) ∧ basic(z89) ∧ :ARG0(z90, z86) ∧ seek-01(z90) ∧ :ARG1(z90, z91) ∧ further-01(z91) ∧ :ARG0(z91, z86) ∧ :ARG1(z91, z92) ∧ know-01(z92) ∧ :ARG0(z92, z93) ∧ we(z93) ∧ :ARG1(z92, z1000) ∧ nature(z1000) ∧ :mod(z92, z1001) ∧ theory(z1001) ∧ :snt7(z0, z1002) ∧ say-01(z1002) ∧ :ARG0(z1002, z1003) ∧ person(z1003) ∧ :wiki(z1003, -) ∧ :name(z1003, z1004) ∧ name(z1004) ∧ :op1(z1004, "Luis") ∧ :ARG1(z1002, z1005) ∧ have-purpose-91(z1005) ∧ :ARG1(z1005, z94) ∧ support-01(z94) ∧ :ARG0(z94, z95) ∧ government-organization(z95) ∧ :ARG0(z96, z95) ∧ govern-01(z96) ∧ :ARG1(z94, z1006) ∧ research-01(z1006) ∧ :mod(z1006, z1007) ∧ science(z1007) ∧ :ARG2(z1005, z1008) ∧ generate-01(z1008) ∧ :ARG1(z1008, z1009) ∧ advance-01(z1009) ∧ :ARG1(z1009, z1010) ∧ technology(z1010) ∧ :ARG1(z1011, z1010) ∧ new-01(z1011) ∧ :ARG0(z1012, z1010) ∧ benefit-01(z1012) ∧ :ARG1(z1012, z1013) ∧ society(z1013) ∧ :mod(z1013, z1014) ∧ whole(z1014) ∧ :snt8(z0, z1015) ∧ say-01(z1015) ∧ :ARG0(z1015, z1016) ∧ person(z1016) ∧ :wiki(z1016, -) ∧ :name(z1016, z1017) ∧ name(z1017) ∧ :op1(z1017, "Cynthia") ∧ :ARG1(z1015, z1018) ∧ fund-01(z1018) ∧ :ARG0(z1018, z1019) ∧ corporation(z1019) ∧ :ARG1(z1018, z1020) ∧ research-01(z1020) ∧ :ARG0(z1021, z1020) ∧ generate-01(z1021) ∧ :ARG1(z1021, z1022) ∧ technology(z1022) ∧ :ARG1(z1023, z1022) ∧ new-01(z1023) ∧ :ARG1(z1024, z1022) ∧ new-01(z1024) ∧ :degree(z1018, z1025) ∧ ample(z1025) ∧ :snt9(z0, z1026) ∧ contrast-01(z1026) ∧ :ARG2(z1026, z1027) ∧ goal(z1027) ∧ :mod(z1027, z1028) ∧ fundamental(z1028) ∧ :domain(z1027, z97) ∧ achieve-01(z97) ∧ :ARG0(z97, z98) ∧ science(z98) ∧ :ARG1(z97, z99) ∧ know-01(z99) ∧ :ARG1(z99, z100) ∧ know-01(z100) ∧ :ARG1(z100, z101) ∧ work-01(z101) ∧ :ARG0(z101, z102) ∧ universe(z102) ∧ :ARG1(z101, z103) ∧ universe(z103) ∧ :mod(z100, z104) ∧ comprehensive(z104) ∧ :snt10(z0, z105) ∧ say-01(z105) ∧ :ARG0(z105, z1029) ∧ person(z1029) ∧ :wiki(z1029, -) ∧ :name(z1029, z1030) ∧ name(z1030) ∧ :op1(z1030, "Rome") ∧ :ARG1(z105, z1031) ∧ recommend-01(z1031) ∧ :ARG1(z1031, z1032) ∧ fund-01(z1032) ∧ :ARG1(z1032, z1033) ∧ research(z1033) ∧ :ARG1(z1034, z1033) ∧ expect-01(z1034) ∧ :ARG0(z1035, z1033) ∧ yield-01(z1035) ∧ :ARG1(z1035, z1036) ∧ apply-02(z1036) ∧ :ARG1(z1036, z1033) ∧ :ARG2(z1036, z1037) ∧ field(z1037) ∧ :ARG1(z1038, z1037) ∧ field(z1038) ∧ :example(z1038, z1039) ∧ agriculture(z1039) ∧ :example(z1038, z1040) ∧ medicine(z1040) ∧ :ARG1(z1041, z1036) ∧ practical-03(z1041) ∧ :snt11(z0, z1042) ∧ say-01(z1042) ∧ :ARG0(z1042, z1043) ∧ person(z1043) ∧ :wiki(z1043, -) ∧ :name(z1043, z1044) ∧ name(z1044) ∧ :op1(z1044, "Rome") ∧ :ARG1(z1042, z1045) ∧ recommend-01(z1045) ∧ :ARG1(z1045, z1046) ∧ fund-01(z1046) ∧ :ARG1(z1046, z1047) ∧ research(z1047) ∧ :ARG1(z1048, z1047) ∧ have-03(z1048) ∧ :ARG0(z1048, z1047) ∧ :ARG1(z1048, z1049) ∧ field(z1049) ∧ :ARG1(z1050, z1049) ∧ field(z1050) ∧ :ARG1(z1051, z1050) ∧ resemble-01(z1051) ∧ :ARG2(z1051, z1052) ∧ agriculture(z1052)


North Americans who travel to Europe for the first time should include significant time in Italy on their itinerary. To develop an appreciation of a continent that goes beyond the mere accumulation of impressions, one needs to acquire a thorough knowledge of at least one country, and North Americans seem to find it easier to get to know Italy than other European countries.

Question: Which one of the following best illustrates the principle illustrated by the argument above?

Choices:
- To overcome a fear of water that prevents one from swimming, one should paddle about in shallow water with a trusted friend who is a good swimmer.
- One should travel through North America by train rather than by automobile, because train travel imparts the same sense of open space as does automobile travel, while also affording one the full leisure to attend to the scenery.
- Edith Wharton is the most accessible of the classical U. S. writers. So in order to provide a superb introduction to U. S. literature, a class should emphasize her work while also studying the works of others.
- One can appreciate Taiko-drumming only if one understands how physically demanding it is. Thus, one should see Taiko-drumming and not just hear it in order to appreciate it fully.

(z0 / multi-sentence
    :snt1 (z1 / recommend-01
              :ARG1 (z2 / include-01
                        :ARG0 (z3 / person
                                  :mod (z4 / continent
                                           :wiki "North_America"
                                           :name (z5 / name
                                                     :op1 "North"
                                                     :op2 "America"))
                                  :ARG0-of (z6 / travel-01
                                               :ARG1 (z7 / continent
                                                         :wiki "Europe"
                                                         :name (z8 / name
                                                                   :op1 "Europe"))
                                               :ord (z9 / ordinal-entity
                                                        :value 1)))
                        :ARG1 (z10 / time
                                   :location (z11 / country
                                                  :wiki "Italy"
                                                  :name (z12 / name
                                                             :op1 "Italy"))
                                   :ARG1-of (z13 / significant-02))
                        :ARG2 (z14 / itinerary
                                   :poss z3)))
    :snt2 (z15 / and
               :op1 (z16 / need-01
                         :ARG0 (z17 / one)
                         :ARG1 (z18 / acquire-01
                                    :ARG0 z17
                                    :ARG1 (z19 / know-01
                                               :ARG0 z17
                                               :ARG1 (z20 / at-least
                                                          :op1 (z21 / country
                                                                    :quant 1))
                                               :mod (z22 / thorough)))
                         :purpose (z23 / develop-02
                                       :ARG0 z17
                                       :ARG1 (z24 / appreciate-02
                                                  :ARG0 z17
                                                  :ARG1 (z25 / continent
                                                             :ARG1-of (z26 / go-01
                                                                           :ARG4 (z27 / beyond
                                                                                :op1 (z28 / accumulate-01
                                                                                :ARG1 (z29 / impression-03)
                                                                                :mod (z30 / mere))))))))
               :op2 (z31 / seem-01
                         :ARG1 (z32 / find-02
                                    :ARG0 (z33 / person
                                               :mod z4)
                                    :ARG1 (z34 / easy-05
                                               :ARG1 (z35 / get-03
                                                          :ARG1 z33
                                                          :ARG2 (z36 / know-02
                                                                     :ARG0 z33
                                                                     :ARG1 z11))
                                               :ARG2-of (z37 / have-degree-91
                                                             :ARG1 z35
                                                             :ARG3 (z38 / more)
                                                             :ARG4 (z39 / country
                                                                        :mod (z40 / other)
                                                                        :location z7))))))
    :snt3 (z41 / recommend-01
               :ARG1 (z42 / include-01
                          :ARG0 (z43 / person
                                     :mod (z44 / continent
                                               :wiki "North_America"
                                               :name (z45 / name
                                                          :op1 "North"
                                                          :op2 "America"))
                                     :ARG0-of (z46 / travel-01
                                                   :ARG1 (z47 / continent
                                                              :wiki "Europe"
                                                              :name (z48 / name
                                                                         :op1 "Europe"))
                                                   :ord (z49 / ordinal-entity
                                                             :value 1)))
                          :ARG1 (z50 / time
                                     :location (z51 / country
                                                    :wiki "Italy"
                                                    :name (z52 / name
                                                               :op1 "Italy")))
                          :ARG2 (z53 / itinerary
                                     :poss z43))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ recommend-01(z1) ∧ :ARG1(z1, z2) ∧ include-01(z2) ∧ :ARG0(z2, z3) ∧ person(z3) ∧ :mod(z3, z4) ∧ continent(z4) ∧ :wiki(z4, "North_America") ∧ :name(z4, z5) ∧ name(z5) ∧ :op1(z5, "North") ∧ :op2(z5, "America") ∧ :ARG0(z6, z3) ∧ travel-01(z6) ∧ :ARG1(z6, z7) ∧ continent(z7) ∧ :wiki(z7, "Europe") ∧ :name(z7, z8) ∧ name(z8) ∧ :op1(z8, "Europe") ∧ :ord(z6, z9) ∧ ordinal-entity(z9) ∧ :value(z9, 1) ∧ :ARG1(z2, z10) ∧ time(z10) ∧ :location(z10, z11) ∧ country(z11) ∧ :wiki(z11, "Italy") ∧ :name(z11, z12) ∧ name(z12) ∧ :op1(z12, "Italy") ∧ :ARG1(z13, z10) ∧ significant-02(z13) ∧ :ARG2(z2, z14) ∧ itinerary(z14) ∧ :poss(z14, z3) ∧ :snt2(z0, z15) ∧ and(z15) ∧ :op1(z15, z16) ∧ need-01(z16) ∧ :ARG0(z16, z17) ∧ one(z17) ∧ :ARG1(z16, z18) ∧ acquire-01(z18) ∧ :ARG0(z18, z17) ∧ :ARG1(z18, z19) ∧ know-01(z19) ∧ :ARG0(z19, z17) ∧ :ARG1(z19, z20) ∧ at-least(z20) ∧ :op1(z20, z21) ∧ country(z21) ∧ :quant(z21, 1) ∧ :mod(z19, z22) ∧ thorough(z22) ∧ :purpose(z16, z23) ∧ develop-02(z23) ∧ :ARG0(z23, z17) ∧ :ARG1(z23, z24) ∧ appreciate-02(z24) ∧ :ARG0(z24, z17) ∧ :ARG1(z24, z25) ∧ continent(z25) ∧ :ARG1(z26, z25) ∧ go-01(z26) ∧ :ARG4(z26, z27) ∧ beyond(z27) ∧ :op1(z27, z28) ∧ accumulate-01(z28) ∧ :ARG1(z28, z29) ∧ impression-03(z29) ∧ :mod(z28, z30) ∧ mere(z30) ∧ :op2(z15, z31) ∧ seem-01(z31) ∧ :ARG1(z31, z32) ∧ find-02(z32) ∧ :ARG0(z32, z33) ∧ person(z33) ∧ :mod(z33, z4) ∧ :ARG1(z32, z34) ∧ easy-05(z34) ∧ :ARG1(z34, z35) ∧ get-03(z35) ∧ :ARG1(z35, z33) ∧ :ARG2(z35, z36) ∧ know-02(z36) ∧ :ARG0(z36, z33) ∧ :ARG1(z36, z11) ∧ :ARG2(z37, z34) ∧ have-degree-91(z37) ∧ :ARG1(z37, z35) ∧ :ARG3(z37, z38) ∧ more(z38) ∧ :ARG4(z37, z39) ∧ country(z39) ∧ :mod(z39, z40) ∧ other(z40) ∧ :location(z39, z7) ∧ :snt3(z0, z41) ∧ recommend-01(z41) ∧ :ARG1(z41, z42) ∧ include-01(z42) ∧ :ARG0(z42, z43) ∧ person(z43) ∧ :mod(z43, z44) ∧ continent(z44) ∧ :wiki(z44, "North_America") ∧ :name(z44, z45) ∧ name(z45) ∧ :op1(z45, "North") ∧ :op2(z45, "America") ∧ :ARG0(z46, z43) ∧ travel-01(z46) ∧ :ARG1(z46, z47) ∧ continent(z47) ∧ :wiki(z47, "Europe") ∧ :name(z47, z48) ∧ name(z48) ∧ :op1(z48, "Europe") ∧ :ord(z46, z49) ∧ ordinal-entity(z49) ∧ :value(z49, 1) ∧ :ARG1(z42, z50) ∧ time(z50) ∧ :location(z50, z51) ∧ country(z51) ∧ :wiki(z51, "Italy") ∧ :name(z51, z52) ∧ name(z52) ∧ :op1(z52, "Italy") ∧ :ARG2(z42, z53) ∧ itinerary(z53) ∧ :poss(z53, z43)


Most people's diet contains too much fat. The fat in food is mainly in the form of triglycerides. In the digestive tract, fatty acids are hydrolyzed and released by lipase before they are absorbed into the bloodstream and re-synthesized triglycerides. If the lipase is inhibited, the synthesis process can be terminated. In this regard, some researchers have done related experiments. They divided female mice of the same weight into three groups: the first group ate freely, the second group was fed a high-fat diet, and the third group was fed a high-fat diet with a tea saponin extracted from tea. The results showed that from the beginning of the 5th week to the end of the 10th week, the body weight of the second group was significantly higher than that of the first group, but there was no significant difference between the third group and the first group. As a result, the researchers concluded that tea saponin, a natural product, has the ability to inhibit lipase, and people drinking tea can indeed have a weight loss effect.

Question: Which of the following, if true, can best question the above conclusions of the researchers?

Choices:
- Mice on a high-fat diet weigh about twice as much peri-uterine fat as mice on a regular diet
- If tea saponin is added to the high-fat diet, the periuterine fat is basically the same as that of mice on a regular diet
- The amount of tea saponin used in the experiment is so large that according to the same proportion, the average person needs to drink at least five kilograms of dry tea a day
- There are still great differences between mice and humans, and the conclusions of mouse experiments can only serve as a reference for humans

(z0 / multi-sentence
    :snt1 (z1 / contain-01
              :ARG0 (z2 / diet
                        :poss (z3 / person
                                  :mod (z4 / most)))
              :ARG1 (z5 / fat
                        :ARG1-of (z6 / have-quant-91
                                     :ARG2 (z7 / much)
                                     :ARG3 (z8 / too))))
    :snt2 (z9 / have-mod-91
              :ARG1 (z10 / fat
                         :location (z11 / food))
              :ARG2 (z12 / triglyceride)
              :mod (z13 / main))
    :snt3 (z14 / and
               :op1 (z15 / hydrolyze-01
                         :ARG0 (z16 / enzyme
                                    :wiki "Lipase"
                                    :name (z17 / name
                                               :op1 "lipase"))
                         :ARG1 (z18 / acid
                                    :mod (z19 / fatty)))
               :op2 (z20 / release-01
                         :ARG0 z16
                         :ARG1 z18)
               :time (z21 / before
                          :op1 (z22 / and
                                    :op1 (z23 / absorb-01
                                              :ARG1 z18
                                              :ARG2 (z24 / bloodstream))
                                    :op2 (z25 / reactivate-01
                                              :ARG1 (z26 / triglyceride))))
               :location (z27 / tract
                              :mod (z28 / digest-01)))
    :snt4 (z29 / do-02
               :ARG0 (z30 / person
                          :mod (z31 / some)
                          :ARG0-of (z32 / research-01))
               :ARG1 (z33 / experiment-01
                          :ARG1-of (z34 / relate-01))
               :topic (z35 / this))
    :snt5 (z36 / divide-02
               :ARG0 (z37 / they)
               :ARG1 (z38 / mouse
                          :mod (z39 / female)
                          :part (z40 / weight
                                     :ARG1-of (z41 / same-01)))
               :ARG2 (z42 / group
                          :quant 3
                          :consist-of (z43 / and
                                           :op1 (z44 / eat-01
                                                     :ARG0 (z45 / group
                                                                :ord (z46 / ordinal-entity
                                                                          :value 1))
                                                     :ARG1-of (z47 / free-04))
                                           :op2 (z48 / feed-01
                                                     :ARG1 (z49 / diet
                                                                :ARG1-of (z50 / high-02))
                                                     :ARG2 (z51 / group
                                                                :ord (z52 / ordinal-entity
                                                                          :value 2)))
                                           :op3 (z53 / feed-01
                                                     :ARG1 (z54 / saponin
                                                                :mod (z55 / tea)
                                                                :ARG1-of (z56 / extract-01
                                                                              :ARG2 (z57 / tea)))
                                                     :ARG2 z51)))
               :snt6 (z58 / result-01
                          :ARG2 (z59 / and
                                     :op1 (z60 / conclude-01
                                               :ARG0 (z61 / person
                                                          :ARG0-of (z62 / research-01))
                                               :ARG1 (z63 / capable-01
                                                          :ARG1 (z64 / saponin
                                                                     :mod (z65 / tea)
                                                                     :ARG1-of (z66 / natural-03))
                                                          :ARG2 (z67 / inhibit-01
                                                                     :ARG0 z58
                                                                     :ARG1 (z68 / enzyme
                                                                                :wiki "Lipase"
                                                                                :name (z69 / name
                                                                                :op1 "lipase")))))
                                     :op2 (z70 / possible-01
                                               :ARG1 (z71 / effect-03
                                                          :ARG0 (z72 / person
                                                                     :ARG0-of (z73 / drink-01
                                                                                :ARG1 (z74 / tea)))
                                                          :ARG1 (z75 / lose-01
                                                                     :ARG1 (z76 / weight))
                                                          :mod (z77 / indeed)))))
               :snt7 (z78 / contrast-01
                          :ARG1 (z79 / show-01
                                     :ARG0 (z80 / thing
                                                :ARG2-of (z81 / result-01))
                                     :ARG1 (z82 / have-degree-91
                                                :ARG1 (z83 / weight
                                                           :poss (z84 / group
                                                                      :ord (z85 / ordinal-entity
                                                                                :value 2))
                                                           :mod (z86 / body))
                                                :ARG2 (z87 / high-02
                                                           :ARG1 z83)
                                                :ARG3 (z88 / more
                                                           :ARG1-of (z89 / significant-02))
                                                :ARG4 (z90 / weight
                                                           :poss (z91 / group
                                                                      :ord (z92 / ordinal-entity
                                                                                :value 1)))))
                          :ARG2 (z93 / differ-02
                                     :polarity -
                                     :ARG1 (z94 / weight
                                                :poss (z95 / group
                                                           :ord (z96 / ordinal-entity
                                                                     :value 2))
                                                :mod (z97 / body))
                                     :ARG1-of (z98 / significant-02))
                          :snt8 (z99 / contrast-01
                                     :ARG1 (z1000 / begin-01
                                                  :ARG1 (z1001 / week
                                                               :ord (z1002 / ordinal-entity
                                                                           :value 5)))
                                     :ARG2 (z1003 / end-01
                                                  :ARG1 (z1004 / week
                                                               :ord (z1005 / ordinal-entity
                                                                           :value 10))))
                          :ARG2 (z1006 / differ-02
                                       :ARG1 (z1007 / group
                                                    :ord (z1008 / ordinal-entity
                                                                :value 3))
                                       :ARG1-of (z1009 / significant-02)))
               :snt9 (z1010 / have-concession-91
                            :ARG1 (z1011 / differ-02
                                         :polarity -
                                         :ARG1 (z1012 / group
                                                      :ord (z1013 / ordinal-entity
                                                                  :value 1))
                                         :ARG2 (z1014 / group
                                                      :ord (z1015 / ordinal-entity
                                                                  :value 2))))
               :snt10 (z1016 / result-01
                             :ARG2 (z1017 / give-01
                                          :ARG1 (z1018 / saponin
                                                       :mod (z1019 / tea)
                                                       :ARG1-of (z100 / extract-01
                                                                      :ARG2 (z101 / tea)))
                                          :ARG2 (z1020 / group
                                                       :ord (z1021 / ordinal-entity
                                                                   :value 3))))
               :snt11 (z1022 / and
                             :op1 (z1023 / eat-01
                                         :ARG0 (z1024 / group
                                                      :ord (z1025 / ordinal-entity
                                                                  :value 1))
                                         :ARG1 (z1026 / diet
                                                      :ARG1-of (z1027 / high-02)))
                             :op2 (z1028 / feed-01
                                         :ARG1 (z1029 / saponin
                                                      :mod (z1030 / tea)
                                                      :ARG1-of (z1031 / natural-03))
                                         :ARG2 z1000))
               :snt12 (z1032 / and
                             :op1 (z1033 / hydrolyze-01
                                         :ARG0 (z1034 / enzyme
                                                      :wiki "Lipase"
                                                      :name (z1035 / name
                                                                   :op1 "lipase")))
                             :op2 (z1036 / release-01
                                         :ARG0 (z1037 / enzyme
                                                      :wiki "Lipase"
                                                      :name (z1038 / name
                                                                   :op1 "lipase"))))
               :time (z102 / before
                           :op1 (z103 / and
                                      :op1 (z104 / absorb-01
                                                 :ARG0 z1034
                                                 :ARG1 (z105 / and
                                                             :op1 (z1039 / triglyceride)
                                                             :op2 (z1040 / triglyceride
                                                                         :ARG1-of (z1041 / synthesize-01
                                                                                :mod (z1042 / again)))))
                                      :op2 (z1043 / assimilate-01
                                                  :ARG1 z72))))
    :prep-in (z1044 / tract
                    :mod (z106 / digest-01)))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ contain-01(z1) ∧ :ARG0(z1, z2) ∧ diet(z2) ∧ :poss(z2, z3) ∧ person(z3) ∧ :mod(z3, z4) ∧ most(z4) ∧ :ARG1(z1, z5) ∧ fat(z5) ∧ :ARG1(z6, z5) ∧ have-quant-91(z6) ∧ :ARG2(z6, z7) ∧ much(z7) ∧ :ARG3(z6, z8) ∧ too(z8) ∧ :snt2(z0, z9) ∧ have-mod-91(z9) ∧ :ARG1(z9, z10) ∧ fat(z10) ∧ :location(z10, z11) ∧ food(z11) ∧ :ARG2(z9, z12) ∧ triglyceride(z12) ∧ :mod(z9, z13) ∧ main(z13) ∧ :snt3(z0, z14) ∧ and(z14) ∧ :op1(z14, z15) ∧ hydrolyze-01(z15) ∧ :ARG0(z15, z16) ∧ enzyme(z16) ∧ :wiki(z16, "Lipase") ∧ :name(z16, z17) ∧ name(z17) ∧ :op1(z17, "lipase") ∧ :ARG1(z15, z18) ∧ acid(z18) ∧ :mod(z18, z19) ∧ fatty(z19) ∧ :op2(z14, z20) ∧ release-01(z20) ∧ :ARG0(z20, z16) ∧ :ARG1(z20, z18) ∧ :time(z14, z21) ∧ before(z21) ∧ :op1(z21, z22) ∧ and(z22) ∧ :op1(z22, z23) ∧ absorb-01(z23) ∧ :ARG1(z23, z18) ∧ :ARG2(z23, z24) ∧ bloodstream(z24) ∧ :op2(z22, z25) ∧ reactivate-01(z25) ∧ :ARG1(z25, z26) ∧ triglyceride(z26) ∧ :location(z14, z27) ∧ tract(z27) ∧ :mod(z27, z28) ∧ digest-01(z28) ∧ :snt4(z0, z29) ∧ do-02(z29) ∧ :ARG0(z29, z30) ∧ person(z30) ∧ :mod(z30, z31) ∧ some(z31) ∧ :ARG0(z32, z30) ∧ research-01(z32) ∧ :ARG1(z29, z33) ∧ experiment-01(z33) ∧ :ARG1(z34, z33) ∧ relate-01(z34) ∧ :topic(z29, z35) ∧ this(z35) ∧ :snt5(z0, z36) ∧ divide-02(z36) ∧ :ARG0(z36, z37) ∧ they(z37) ∧ :ARG1(z36, z38) ∧ mouse(z38) ∧ :mod(z38, z39) ∧ female(z39) ∧ :part(z38, z40) ∧ weight(z40) ∧ :ARG1(z41, z40) ∧ same-01(z41) ∧ :ARG2(z36, z42) ∧ group(z42) ∧ :quant(z42, 3) ∧ :consist(z43, z42) ∧ and(z43) ∧ :op1(z43, z44) ∧ eat-01(z44) ∧ :ARG0(z44, z45) ∧ group(z45) ∧ :ord(z45, z46) ∧ ordinal-entity(z46) ∧ :value(z46, 1) ∧ :ARG1(z47, z44) ∧ free-04(z47) ∧ :op2(z43, z48) ∧ feed-01(z48) ∧ :ARG1(z48, z49) ∧ diet(z49) ∧ :ARG1(z50, z49) ∧ high-02(z50) ∧ :ARG2(z48, z51) ∧ group(z51) ∧ :ord(z51, z52) ∧ ordinal-entity(z52) ∧ :value(z52, 2) ∧ :op3(z43, z53) ∧ feed-01(z53) ∧ :ARG1(z53, z54) ∧ saponin(z54) ∧ :mod(z54, z55) ∧ tea(z55) ∧ :ARG1(z56, z54) ∧ extract-01(z56) ∧ :ARG2(z56, z57) ∧ tea(z57) ∧ :ARG2(z53, z51) ∧ :snt6(z36, z58) ∧ result-01(z58) ∧ :ARG2(z58, z59) ∧ and(z59) ∧ :op1(z59, z60) ∧ conclude-01(z60) ∧ :ARG0(z60, z61) ∧ person(z61) ∧ :ARG0(z62, z61) ∧ research-01(z62) ∧ :ARG1(z60, z63) ∧ capable-01(z63) ∧ :ARG1(z63, z64) ∧ saponin(z64) ∧ :mod(z64, z65) ∧ tea(z65) ∧ :ARG1(z66, z64) ∧ natural-03(z66) ∧ :ARG2(z63, z67) ∧ inhibit-01(z67) ∧ :ARG0(z67, z58) ∧ :ARG1(z67, z68) ∧ enzyme(z68) ∧ :wiki(z68, "Lipase") ∧ :name(z68, z69) ∧ name(z69) ∧ :op1(z69, "lipase") ∧ :op2(z59, z70) ∧ possible-01(z70) ∧ :ARG1(z70, z71) ∧ effect-03(z71) ∧ :ARG0(z71, z72) ∧ person(z72) ∧ :ARG0(z73, z72) ∧ drink-01(z73) ∧ :ARG1(z73, z74) ∧ tea(z74) ∧ :ARG1(z71, z75) ∧ lose-01(z75) ∧ :ARG1(z75, z76) ∧ weight(z76) ∧ :mod(z71, z77) ∧ indeed(z77) ∧ :snt7(z36, z78) ∧ contrast-01(z78) ∧ :ARG1(z78, z79) ∧ show-01(z79) ∧ :ARG0(z79, z80) ∧ thing(z80) ∧ :ARG2(z81, z80) ∧ result-01(z81) ∧ :ARG1(z79, z82) ∧ have-degree-91(z82) ∧ :ARG1(z82, z83) ∧ weight(z83) ∧ :poss(z83, z84) ∧ group(z84) ∧ :ord(z84, z85) ∧ ordinal-entity(z85) ∧ :value(z85, 2) ∧ :mod(z83, z86) ∧ body(z86) ∧ :ARG2(z82, z87) ∧ high-02(z87) ∧ :ARG1(z87, z83) ∧ :ARG3(z82, z88) ∧ more(z88) ∧ :ARG1(z89, z88) ∧ significant-02(z89) ∧ :ARG4(z82, z90) ∧ weight(z90) ∧ :poss(z90, z91) ∧ group(z91) ∧ :ord(z91, z92) ∧ ordinal-entity(z92) ∧ :value(z92, 1) ∧ ¬(:ARG2(z78, z93) ∧ differ-02(z93) ∧ :ARG1(z93, z94) ∧ weight(z94) ∧ :poss(z94, z95) ∧ group(z95) ∧ :ord(z95, z96) ∧ ordinal-entity(z96) ∧ :value(z96, 2) ∧ :mod(z94, z97) ∧ body(z97) ∧ :ARG1(z98, z93) ∧ significant-02(z98)) ∧ :snt8(z78, z99) ∧ contrast-01(z99) ∧ :ARG1(z99, z1000) ∧ begin-01(z1000) ∧ :ARG1(z1000, z1001) ∧ week(z1001) ∧ :ord(z1001, z1002) ∧ ordinal-entity(z1002) ∧ :value(z1002, 5) ∧ :ARG2(z99, z1003) ∧ end-01(z1003) ∧ :ARG1(z1003, z1004) ∧ week(z1004) ∧ :ord(z1004, z1005) ∧ ordinal-entity(z1005) ∧ :value(z1005, 10) ∧ :ARG2(z78, z1006) ∧ differ-02(z1006) ∧ :ARG1(z1006, z1007) ∧ group(z1007) ∧ :ord(z1007, z1008) ∧ ordinal-entity(z1008) ∧ :value(z1008, 3) ∧ :ARG1(z1009, z1006) ∧ significant-02(z1009) ∧ :snt9(z36, z1010) ∧ have-concession-91(z1010) ∧ ¬(:ARG1(z1010, z1011) ∧ differ-02(z1011) ∧ :ARG1(z1011, z1012) ∧ group(z1012) ∧ :ord(z1012, z1013) ∧ ordinal-entity(z1013) ∧ :value(z1013, 1) ∧ :ARG2(z1011, z1014) ∧ group(z1014) ∧ :ord(z1014, z1015) ∧ ordinal-entity(z1015) ∧ :value(z1015, 2)) ∧ :snt10(z36, z1016) ∧ result-01(z1016) ∧ :ARG2(z1016, z1017) ∧ give-01(z1017) ∧ :ARG1(z1017, z1018) ∧ saponin(z1018) ∧ :mod(z1018, z1019) ∧ tea(z1019) ∧ :ARG1(z100, z1018) ∧ extract-01(z100) ∧ :ARG2(z100, z101) ∧ tea(z101) ∧ :ARG2(z1017, z1020) ∧ group(z1020) ∧ :ord(z1020, z1021) ∧ ordinal-entity(z1021) ∧ :value(z1021, 3) ∧ :snt11(z36, z1022) ∧ and(z1022) ∧ :op1(z1022, z1023) ∧ eat-01(z1023) ∧ :ARG0(z1023, z1024) ∧ group(z1024) ∧ :ord(z1024, z1025) ∧ ordinal-entity(z1025) ∧ :value(z1025, 1) ∧ :ARG1(z1023, z1026) ∧ diet(z1026) ∧ :ARG1(z1027, z1026) ∧ high-02(z1027) ∧ :op2(z1022, z1028) ∧ feed-01(z1028) ∧ :ARG1(z1028, z1029) ∧ saponin(z1029) ∧ :mod(z1029, z1030) ∧ tea(z1030) ∧ :ARG1(z1031, z1029) ∧ natural-03(z1031) ∧ :ARG2(z1028, z1000) ∧ :snt12(z36, z1032) ∧ and(z1032) ∧ :op1(z1032, z1033) ∧ hydrolyze-01(z1033) ∧ :ARG0(z1033, z1034) ∧ enzyme(z1034) ∧ :wiki(z1034, "Lipase") ∧ :name(z1034, z1035) ∧ name(z1035) ∧ :op1(z1035, "lipase") ∧ :op2(z1032, z1036) ∧ release-01(z1036) ∧ :ARG0(z1036, z1037) ∧ enzyme(z1037) ∧ :wiki(z1037, "Lipase") ∧ :name(z1037, z1038) ∧ name(z1038) ∧ :op1(z1038, "lipase") ∧ :time(z36, z102) ∧ before(z102) ∧ :op1(z102, z103) ∧ and(z103) ∧ :op1(z103, z104) ∧ absorb-01(z104) ∧ :ARG0(z104, z1034) ∧ :ARG1(z104, z105) ∧ and(z105) ∧ :op1(z105, z1039) ∧ triglyceride(z1039) ∧ :op2(z105, z1040) ∧ triglyceride(z1040) ∧ :ARG1(z1041, z1040) ∧ synthesize-01(z1041) ∧ :mod(z1041, z1042) ∧ again(z1042) ∧ :op2(z103, z1043) ∧ assimilate-01(z1043) ∧ :ARG1(z1043, z72) ∧ :prep-in(z0, z1044) ∧ tract(z1044) ∧ :mod(z1044, z106) ∧ digest-01(z106)


Righteousness refers to actions that are not due to statutory duties or agreed obligations, to protect national interests, collective interests, or the personal and property safety of others, regardless of personal safety, to fight against illegal and criminal acts, or to take an active part in rescue and relief work.

Question: Which of the followings must not belong to the act of righteousness?

Choices:
- Stop crime.
- Take a part in rescue and relief work.
- Heal the wounded and rescue the dying.
- The guardian rescues the ward.

(z0 / refer-01
    :ARG1 (z1 / thing
              :wiki "Righteousness"
              :name (z2 / name
                        :op1 "Righteousness"))
    :ARG2 (z3 / act-02
              :ARG1-of (z4 / cause-01
                           :polarity -
                           :ARG0 (z5 / or
                                     :op1 (z6 / duty
                                              :mod (z7 / statute))
                                     :op2 (z8 / obligate-01
                                              :ARG1-of (z9 / agree-01))))
              :purpose (z10 / or
                            :op1 (z11 / protect-01
                                      :ARG0 z3
                                      :ARG1 (z12 / or
                                                 :op1 (z13 / interest
                                                           :mod (z14 / nation))
                                                 :op2 (z15 / interest
                                                           :mod (z16 / collective))
                                                 :op3 (z17 / safe-01
                                                           :ARG1 (z18 / and
                                                                      :op1 (z19 / person
                                                                                :mod (z20 / other))
                                                                      :op2 (z21 / property))
                                                           :ARG1-of (z22 / regardless-91
                                                                         :ARG2 (z23 / safe-01
                                                                                :ARG1 z18)))))
                            :op2 (z24 / fight-01
                                      :ARG0 z3
                                      :ARG1 (z25 / and
                                                 :op1 (z26 / act-02
                                                           :ARG1-of (z27 / legal-02
                                                                         :polarity -))
                                                 :op2 (z28 / act-02
                                                           :ARG1-of (z29 / criminal-03))))
                            :op3 (z30 / participate-01
                                      :ARG0 z3
                                      :ARG1 (z31 / work-01
                                                 :ARG1 (z32 / and
                                                            :op1 (z33 / rescue-01)
                                                            :op2 (z34 / relieve-01)))
                                      :ARG1-of (z35 / activity-06
                                                    :ARG0 z3))
                            :op4 (z36 / protect-01
                                      :ARG0 z3
                                      :ARG1 (z37 / or
                                                 :op1 (z38 / interest
                                                           :mod (z39 / nation))
                                                 :op2 (z40 / interest
                                                           :mod (z41 / collective))
                                                 :op3 (z42 / safe-01
                                                           :ARG1 (z43 / and
                                                                      :op1 z19
                                                                      :op2 (z44 / property))
                                                           :ARG1-of (z45 / regardless-91
                                                                         :ARG2 (z46 / safe-01
                                                                                :ARG1 z43))))
                                      :op5 (z47 / fight-01
                                                :ARG0 z3
                                                :ARG1 (z48 / and
                                                           :op1 (z49 / act-02
                                                                     :ARG1-of (z50 / legal-02
                                                                                :polarity -))
                                                           :op2 (z51 / act-02
                                                                     :ARG1-of (z52 / criminal-03))))
                                      :op6 (z53 / participate-01
                                                :ARG0 z3
                                                :ARG1 (z54 / work-01
                                                           :ARG1 (z55 / and
                                                                      :op1 (z56 / rescue-01)
                                                                      :op2 (z57 / relieve-01)))
                                                :ARG1-of (z58 / activity-06
                                                              :ARG0 z3)))
                            :ARG1-of (z59 / cause-01
                                          :polarity -
                                          :ARG0 (z60 / or
                                                     :op1 (z61 / duty
                                                               :mod (z62 / statute))
                                                     :op2 (z63 / obligate-01
                                                               :ARG1-of (z64 / agree-01)))))
              :ARG1-of (z65 / mean-01
                            :ARG2 z1)))


According to a small-scale study, thin people don't necessarily eat better or exercise more than others. They just get up early and get more sun for a while. The effect of dawn on body mass index is about 20%. The earlier they get up and get in the sun, the lower their body mass index. On the contrary, researchers suggest that if they want to lose weight, they just need to get up early and get in the sun for a while.

Question: Which of the followings, if true, best illustrates that the above research results are not tenable?

Choices:
- Farmers in some areas get up early every day and work hard in the dark. They have always been very thin
- A beach resort has plenty of light, but the locals are fat
- Compared with those who adhere to indoor fitness, joggers in the dawn have relatively small weight changes
- A university called on students to do morning exercises. Many students who insisted on it tanned, but they didn't lose weight

(z0 / multi-sentence
    :snt1 (z1 / say-01
              :ARG0 (z2 / study-01
                        :mod (z3 / scale
                                 :mod (z4 / small)))
              :ARG1 (z5 / or
                        :op1 (z6 / have-degree-91
                                 :polarity -
                                 :ARG1 (z7 / or
                                           :op1 (z8 / eat-01
                                                    :ARG0 (z9 / person
                                                              :ARG1-of (z10 / thin-03)))
                                           :op2 (z11 / exercise-02
                                                     :ARG0 z9))
                                 :ARG2 (z12 / good-02
                                            :ARG1 z7)
                                 :ARG3 (z13 / more)
                                 :ARG4 (z14 / other)
                                 :ARG1-of (z15 / need-01))
                        :op2 (z16 / have-degree-91
                                  :polarity -
                                  :ARG1 (z17 / or
                                             :op1 (z18 / eat-01
                                                       :ARG0 z9)
                                             :op2 (z19 / exercise-02
                                                       :ARG0 z9))
                                  :ARG2 (z20 / good-02
                                             :ARG1 z17)
                                  :ARG3 (z21 / more)
                                  :ARG4 (z22 / other))))
    :snt2 (z23 / and
               :op1 (z24 / wake-up-02
                         :ARG1 (z25 / they)
                         :time (z26 / early))
               :op2 (z27 / get-01
                         :ARG0 z25
                         :ARG1 (z28 / sun
                                    :quant (z29 / more))
                         :duration (z30 / while))
               :mod (z31 / just))
    :snt3 (z32 / affect-01
               :ARG0 (z33 / dawn-01)
               :ARG1 (z34 / index
                          :mod (z35 / mass
                                    :mod (z36 / body)))
               :ARG2 (z37 / about
                          :op1 (z38 / percentage-entity
                                    :value 20)))
    :snt4 (z39 / correlate-91
               :ARG1 (z40 / more
                          :ARG3-of (z41 / have-degree-91
                                        :ARG1 (z42 / be-temporally-at-91
                                                   :ARG1 (z43 / get-05
                                                              :ARG1 z25
                                                              :ARG2 (z44 / sun))
                                                   :ARG2 (z45 / early))))
               :ARG2 (z46 / more
                          :ARG3-of (z47 / have-degree-91
                                        :ARG1 z30
                                        :ARG2 (z48 / low-04
                                                   :ARG1 z30))))
    :snt5 (z49 / correlate-91
               :ARG1 (z50 / more
                          :ARG3-of (z51 / have-degree-91
                                        :ARG1 (z52 / get-05
                                                   :ARG1 (z53 / they)
                                                   :ARG2 (z54 / sun)
                                                   :duration (z55 / while))))
               :ARG2 (z56 / more
                          :ARG3-of (z57 / have-degree-91
                                        :ARG1 z52
                                        :ARG2 (z58 / low-04
                                                   :ARG1 z52))))
    :snt6 (z59 / contrast-01
               :ARG2 (z60 / suggest-01
                          :ARG0 (z61 / person
                                     :ARG0-of (z62 / research-01))
                          :ARG1 (z63 / need-01
                                     :ARG0 z53
                                     :ARG1 (z64 / and
                                                :op1 (z65 / wake-up-02
                                                          :ARG1 z53
                                                          :time (z66 / early))
                                                :op2 (z67 / get-05
                                                          :ARG1 z53
                                                          :ARG2 z44
                                                          :duration (z68 / while)))
                                     :condition (z69 / want-01
                                                     :ARG0 z53
                                                     :ARG1 (z70 / lose-02
                                                                :ARG0 z53
                                                                :ARG1 (z71 / weight)))
                                     :mod (z72 / just))))
    :snt7 (z73 / and
               :op1 (z74 / wake-up-02
                         :ARG1 z53
                         :time (z75 / early))
               :op2 (z76 / get-01
                         :ARG0 z53
                         :ARG1 (z77 / sun
                                    :quant (z78 / more))
                         :duration (z79 / while)))
    :snt8 (z80 / contrast-01
               :ARG2 (z81 / suggest-01
                          :ARG0 (z82 / person
                                     :ARG0-of (z83 / research-01))
                          :ARG1 (z84 / need-01
                                     :ARG0 z53
                                     :ARG1 (z85 / and
                                                :op1 (z86 / wake-up-02
                                                          :ARG1 z53
                                                          :time (z87 / early))
                                                :op2 (z88 / get-05
                                                          :ARG1 z53
                                                          :ARG2 z54
                                                          :duration (z89 / while)))
                                     :condition (z90 / want-01
                                                     :ARG0 z53
                                                     :ARG1 (z91 / lose-02
                                                                :ARG0 z53
                                                                :ARG1 (z92 / weight))))))
    :snt9 (z93 / affect-01
               :ARG0 (z94 / dawn-01)
               :ARG1 (z95 / index
                          :mod (z96 / body)
                          :mod (z97 / mass))
               :ARG2 (z98 / about
                          :op1 (z99 / percentage-entity
                                    :value 20)))
    :snt10 (z100 / correlate-91
                 :ARG1 (z101 / more
                             :ARG3-of (z1000 / have-degree-91
                                             :ARG1 (z1001 / get-05
                                                          :ARG1 z53
                                                          :ARG2 (z1002 / sun))
                                             :time (z1003 / early)))
                 :ARG2 (z1004 / have-degree-91
                              :ARG1 (z1005 / and
                                           :op1 (z1006 / get-05
                                                       :ARG1 z53
                                                       :ARG2 (z1007 / sun))
                                           :op2 (z1008 / get-05
                                                       :ARG1 z53)
                                           :duration (z1009 / while))
                              :ARG3 (z1010 / more)))
    :snt11 (z1011 / correlate-91
                  :ARG1 (z1012 / have-degree-91
                               :ARG1 (z1013 / and
                                            :op1 (z1014 / get-05
                                                        :ARG1 (z1015 / person
                                                                     :ARG1-of (z1016 / thin-03))
                                                        :ARG2 (z1017 / sun))
                                            :duration (z1018 / while)))
                  :op2 (z102 / have-degree-91
                             :ARG1 z1013
                             :ARG2 (z103 / low-04
                                         :ARG1 z1013)
                             :ARG3 (z104 / more)
                             :ARG4 (z105 / index
                                         :mod z1013))))


Gamba: Munoz claims that the Southwest Hopeville Neighbors Association overwhelmingly opposes the new water system, citing this as evidence of citywide opposition. The association did pass a resolution opposing the new water system, but only 25 of 350 members voted, with 10 in favor of the system. Furthermore, the 15 opposing votes represent far less than 1 percent of Hopeville' s population. One should not assume that so few votes represent the view of the majority of Hopeville' s residents.

Question: Of the following, which one most accurately describes Gamba's strategy of argumentation?

Choices:
- criticizing a view on the grounds that the view is based on evidence that is in principle impossible to disconfirm
- attempting to cast doubt on a conclusion by claiming that the statistical sample on which the conclusion is based is too small to be dependable
- attempting to refute an argument by showing that, contrary to what has been claimed, the truth of the premises does not guarantee the truth of the conclusion
- questioning a conclusion based on the results of a vote, on the grounds that people with certain views are more likely to vote

(z0 / multi-sentence
    :snt1 (z1 / say-01
              :ARG0 (z2 / person
                        :wiki -
                        :name (z3 / name
                                  :op1 "Gamba"))
              :ARG1 (z4 / and
                        :op1 (z5 / claim-01
                                 :ARG0 (z6 / person
                                           :wiki -
                                           :name (z7 / name
                                                     :op1 "Munoz"))
                                 :ARG1 (z8 / oppose-01
                                           :ARG0 (z9 / organization
                                                     :wiki -
                                                     :name (z10 / name
                                                                :op1 "Southwest"
                                                                :op2 "Hopeville"
                                                                :op3 "Neighbors"
                                                                :op4 "Association"))
                                           :ARG1 (z11 / system
                                                      :mod (z12 / water)
                                                      :ARG1-of (z13 / new-01))
                                           :ARG0-of (z14 / overwhelm-01)))
                        :op2 (z15 / cite-01
                                  :ARG0 z6
                                  :ARG1 z8
                                  :ARG2 (z16 / evidence-01
                                             :ARG0 z8
                                             :ARG1 (z17 / oppose-01
                                                        :mod (z18 / citywide))))))
    :snt2 (z19 / contrast-01
               :ARG1 (z20 / pass-01
                          :ARG0 (z21 / association)
                          :ARG1 (z22 / resolution
                                     :ARG0-of (z23 / oppose-01
                                                   :ARG1 (z24 / system
                                                              :mod (z25 / water)
                                                              :ARG1-of (z26 / new-01)))))
               :ARG2 (z27 / and
                          :op1 (z28 / vote-01
                                    :ARG0 (z29 / person
                                               :quant 25
                                               :ARG1-of (z30 / include-91
                                                             :ARG2 (z31 / person
                                                                        :quant 350
                                                                        :ARG0-of (z32 / have-org-role-91
                                                                                :ARG1 z21
                                                                                :ARG2 (z33 / member))))
                                               :mod (z34 / only)))
                          :op2 (z35 / vote-01
                                    :ARG0 (z36 / person
                                               :quant 10
                                               :ARG1-of (z37 / include-91
                                                             :ARG2 z31))
                                    :ARG1 (z38 / system
                                               :ARG1-of (z39 / favor-01
                                                             :ARG0 z36)))))
    :snt3 (z40 / and
               :op1 (z41 / represent-01
                         :ARG0 (z42 / vote-01
                                    :quant 15
                                    :ARG0-of (z43 / oppose-01))
                         :ARG1 (z44 / person
                                    :ARG1-of (z45 / include-91
                                                  :ARG2 (z46 / population
                                                             :poss (z47 / city
                                                                        :wiki "Hopeville,_Rio_de_Janeiro"
                                                                        :name (z48 / name
                                                                                :op1 "Hopeville")))
                                                  :ARG3 (z49 / less-than
                                                             :op1 (z50 / percentage-entity
                                                                       :value 1)
                                                             :quant (z51 / far)))))
               :op2 (z52 / represent-01
                         :ARG0 (z53 / vote-01
                                    :quant 15
                                    :ARG0-of (z54 / oppose-01))
                         :ARG1 (z55 / thing
                                    :ARG2-of (z56 / view-02
                                                  :ARG0 (z57 / person
                                                             :ARG0-of (z58 / reside-01
                                                                           :ARG1 z47)
                                                             :quant (z59 / majority)))))
               :op3 (z60 / recommend-01
                         :polarity -
                         :ARG1 (z61 / assume-02
                                    :ARG0 (z62 / one)
                                    :ARG1 (z63 / represent-01
                                               :ARG0 (z64 / vote-01
                                                          :quant (z65 / few
                                                                      :degree (z66 / so)))
                                               :ARG1 (z67 / thing
                                                          :ARG2-of (z68 / view-02
                                                                        :ARG0 (z69 / person
                                                                                :ARG0-of (z70 / reside-01
                                                                                :ARG1 z47))))))))
    :snt4 (z71 / say-01
               :ARG0 (z72 / i)
               :ARG1 (z73 / contrast-01
                          :ARG1 (z74 / pass-01
                                     :ARG0 (z75 / association)
                                     :ARG1 (z76 / resolution
                                                :ARG0-of (z77 / oppose-01
                                                              :ARG1 (z78 / system
                                                                         :mod (z79 / water)
                                                                         :ARG1-of (z80 / new-01))))
                                     :ARG2 (z81 / vote-01
                                                :ARG0 z75
                                                :ARG1 z76))))
    :snt5 (z82 / say-01
               :ARG0 (z83 / person
                          :wiki -
                          :name (z84 / name
                                     :op1 "Lula"
                                     :op2 "Munoz"))
               :ARG1 (z85 / and
                          :op1 (z86 / pass-01
                                    :ARG0 z75
                                    :ARG1 (z87 / resolution
                                               :ARG0-of (z88 / oppose-01
                                                             :ARG1 (z89 / system
                                                                        :mod (z90 / water)
                                                                        :ARG1-of (z91 / new-01)))))
                          :op2 (z92 / vote-01
                                    :ARG0 z75
                                    :ARG1 (z93 / system
                                               :ARG1-of (z94 / favor-01
                                                             :ARG0 z75)))))
    :snt6 (z95 / say-01
               :ARG0 (z96 / person
                          :wiki -
                          :name (z97 / name
                                     :op1 "Lula"
                                     :op2 "Munoz"))
               :ARG1 (z98 / and
                          :op1 (z99 / pass-01
                                    :ARG0 z75
                                    :ARG1 (z100 / resolution
                                                :ARG0-of (z101 / oppose-01
                                                               :ARG1 (z102 / system
                                                                           :mod (z1000 / water)
                                                                           :ARG1-of (z1001 / new-01)))))
                          :op2 (z1002 / vote-01
                                      :ARG0 z75
                                      :ARG1 (z1003 / member
                                                   :quant 10
                                                   :ARG1-of (z1004 / include-91
                                                                   :ARG2 (z1005 / member
                                                                                :quant 1
                                                                                :ARG0-of (z1006 / favor-01
                                                                                :ARG1 z81)))))))
    :snt7 (z1007 / say-01
                 :ARG0 (z1008 / person
                              :wiki -
                              :name (z1009 / name
                                           :op1 "Lula"
                                           :op2 "Munoz"))
                 :ARG1 (z1010 / have-03
                              :ARG0 z96
                              :ARG1 (z1011 / view
                                           :poss (z1012 / person
                                                        :ARG0-of (z1013 / reside-01
                                                                        :ARG1 (z1014 / city
                                                                                :wiki "Hopeville,_Rio_de_Janeiro"
                                                                                :name (z1015 / name
                                                                                :op1 "Hopeville")))
                                                        :quant (z1016 / majority)))))
    :snt8 (z1017 / say-01
                 :ARG0 (z1018 / person
                              :wiki -
                              :name (z1019 / name
                                           :op1 "Lula"
                                           :op2 "Munoz"))
                 :ARG1 (z1020 / contrast-01
                              :ARG2 (z103 / pass-01
                                          :ARG0 z1014
                                          :ARG1 (z1021 / resolution
                                                       :ARG0-of (z1022 / oppose-01
                                                                       :ARG1 (z1023 / system
                                                                                :mod (z1024 / water)
                                                                                :ARG1-of (z1025 / new-01))))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ say-01(z1) ∧ :ARG0(z1, z2) ∧ person(z2) ∧ :wiki(z2, -) ∧ :name(z2, z3) ∧ name(z3) ∧ :op1(z3, "Gamba") ∧ :ARG1(z1, z4) ∧ and(z4) ∧ :op1(z4, z5) ∧ claim-01(z5) ∧ :ARG0(z5, z6) ∧ person(z6) ∧ :wiki(z6, -) ∧ :name(z6, z7) ∧ name(z7) ∧ :op1(z7, "Munoz") ∧ :ARG1(z5, z8) ∧ oppose-01(z8) ∧ :ARG0(z8, z9) ∧ organization(z9) ∧ :wiki(z9, -) ∧ :name(z9, z10) ∧ name(z10) ∧ :op1(z10, "Southwest") ∧ :op2(z10, "Hopeville") ∧ :op3(z10, "Neighbors") ∧ :op4(z10, "Association") ∧ :ARG1(z8, z11) ∧ system(z11) ∧ :mod(z11, z12) ∧ water(z12) ∧ :ARG1(z13, z11) ∧ new-01(z13) ∧ :ARG0(z14, z8) ∧ overwhelm-01(z14) ∧ :op2(z4, z15) ∧ cite-01(z15) ∧ :ARG0(z15, z6) ∧ :ARG1(z15, z8) ∧ :ARG2(z15, z16) ∧ evidence-01(z16) ∧ :ARG0(z16, z8) ∧ :ARG1(z16, z17) ∧ oppose-01(z17) ∧ :mod(z17, z18) ∧ citywide(z18) ∧ :snt2(z0, z19) ∧ contrast-01(z19) ∧ :ARG1(z19, z20) ∧ pass-01(z20) ∧ :ARG0(z20, z21) ∧ association(z21) ∧ :ARG1(z20, z22) ∧ resolution(z22) ∧ :ARG0(z23, z22) ∧ oppose-01(z23) ∧ :ARG1(z23, z24) ∧ system(z24) ∧ :mod(z24, z25) ∧ water(z25) ∧ :ARG1(z26, z24) ∧ new-01(z26) ∧ :ARG2(z19, z27) ∧ and(z27) ∧ :op1(z27, z28) ∧ vote-01(z28) ∧ :ARG0(z28, z29) ∧ person(z29) ∧ :quant(z29, 25) ∧ :ARG1(z30, z29) ∧ include-91(z30) ∧ :ARG2(z30, z31) ∧ person(z31) ∧ :quant(z31, 350) ∧ :ARG0(z32, z31) ∧ have-org-role-91(z32) ∧ :ARG1(z32, z21) ∧ :ARG2(z32, z33) ∧ member(z33) ∧ :mod(z29, z34) ∧ only(z34) ∧ :op2(z27, z35) ∧ vote-01(z35) ∧ :ARG0(z35, z36) ∧ person(z36) ∧ :quant(z36, 10) ∧ :ARG1(z37, z36) ∧ include-91(z37) ∧ :ARG2(z37, z31) ∧ :ARG1(z35, z38) ∧ system(z38) ∧ :ARG1(z39, z38) ∧ favor-01(z39) ∧ :ARG0(z39, z36) ∧ :snt3(z0, z40) ∧ and(z40) ∧ :op1(z40, z41) ∧ represent-01(z41) ∧ :ARG0(z41, z42) ∧ vote-01(z42) ∧ :quant(z42, 15) ∧ :ARG0(z43, z42) ∧ oppose-01(z43) ∧ :ARG1(z41, z44) ∧ person(z44) ∧ :ARG1(z45, z44) ∧ include-91(z45) ∧ :ARG2(z45, z46) ∧ population(z46) ∧ :poss(z46, z47) ∧ city(z47) ∧ :wiki(z47, "Hopeville,_Rio_de_Janeiro") ∧ :name(z47, z48) ∧ name(z48) ∧ :op1(z48, "Hopeville") ∧ :ARG3(z45, z49) ∧ less-than(z49) ∧ :op1(z49, z50) ∧ percentage-entity(z50) ∧ :value(z50, 1) ∧ :quant(z49, z51) ∧ far(z51) ∧ :op2(z40, z52) ∧ represent-01(z52) ∧ :ARG0(z52, z53) ∧ vote-01(z53) ∧ :quant(z53, 15) ∧ :ARG0(z54, z53) ∧ oppose-01(z54) ∧ :ARG1(z52, z55) ∧ thing(z55) ∧ :ARG2(z56, z55) ∧ view-02(z56) ∧ :ARG0(z56, z57) ∧ person(z57) ∧ :ARG0(z58, z57) ∧ reside-01(z58) ∧ :ARG1(z58, z47) ∧ :quant(z57, z59) ∧ majority(z59) ∧ ¬(:op3(z40, z60) ∧ recommend-01(z60) ∧ :ARG1(z60, z61) ∧ assume-02(z61) ∧ :ARG0(z61, z62) ∧ one(z62) ∧ :ARG1(z61, z63) ∧ represent-01(z63) ∧ :ARG0(z63, z64) ∧ vote-01(z64) ∧ :quant(z64, z65) ∧ few(z65) ∧ :degree(z65, z66) ∧ so(z66) ∧ :ARG1(z63, z67) ∧ thing(z67) ∧ :ARG2(z68, z67) ∧ view-02(z68) ∧ :ARG0(z68, z69) ∧ person(z69) ∧ :ARG0(z70, z69) ∧ reside-01(z70) ∧ :ARG1(z70, z47)) ∧ :snt4(z0, z71) ∧ say-01(z71) ∧ :ARG0(z71, z72) ∧ i(z72) ∧ :ARG1(z71, z73) ∧ contrast-01(z73) ∧ :ARG1(z73, z74) ∧ pass-01(z74) ∧ :ARG0(z74, z75) ∧ association(z75) ∧ :ARG1(z74, z76) ∧ resolution(z76) ∧ :ARG0(z77, z76) ∧ oppose-01(z77) ∧ :ARG1(z77, z78) ∧ system(z78) ∧ :mod(z78, z79) ∧ water(z79) ∧ :ARG1(z80, z78) ∧ new-01(z80) ∧ :ARG2(z74, z81) ∧ vote-01(z81) ∧ :ARG0(z81, z75) ∧ :ARG1(z81, z76) ∧ :snt5(z0, z82) ∧ say-01(z82) ∧ :ARG0(z82, z83) ∧ person(z83) ∧ :wiki(z83, -) ∧ :name(z83, z84) ∧ name(z84) ∧ :op1(z84, "Lula") ∧ :op2(z84, "Munoz") ∧ :ARG1(z82, z85) ∧ and(z85) ∧ :op1(z85, z86) ∧ pass-01(z86) ∧ :ARG0(z86, z75) ∧ :ARG1(z86, z87) ∧ resolution(z87) ∧ :ARG0(z88, z87) ∧ oppose-01(z88) ∧ :ARG1(z88, z89) ∧ system(z89) ∧ :mod(z89, z90) ∧ water(z90) ∧ :ARG1(z91, z89) ∧ new-01(z91) ∧ :op2(z85, z92) ∧ vote-01(z92) ∧ :ARG0(z92, z75) ∧ :ARG1(z92, z93) ∧ system(z93) ∧ :ARG1(z94, z93) ∧ favor-01(z94) ∧ :ARG0(z94, z75) ∧ :snt6(z0, z95) ∧ say-01(z95) ∧ :ARG0(z95, z96) ∧ person(z96) ∧ :wiki(z96, -) ∧ :name(z96, z97) ∧ name(z97) ∧ :op1(z97, "Lula") ∧ :op2(z97, "Munoz") ∧ :ARG1(z95, z98) ∧ and(z98) ∧ :op1(z98, z99) ∧ pass-01(z99) ∧ :ARG0(z99, z75) ∧ :ARG1(z99, z100) ∧ resolution(z100) ∧ :ARG0(z101, z100) ∧ oppose-01(z101) ∧ :ARG1(z101, z102) ∧ system(z102) ∧ :mod(z102, z1000) ∧ water(z1000) ∧ :ARG1(z1001, z102) ∧ new-01(z1001) ∧ :op2(z98, z1002) ∧ vote-01(z1002) ∧ :ARG0(z1002, z75) ∧ :ARG1(z1002, z1003) ∧ member(z1003) ∧ :quant(z1003, 10) ∧ :ARG1(z1004, z1003) ∧ include-91(z1004) ∧ :ARG2(z1004, z1005) ∧ member(z1005) ∧ :quant(z1005, 1) ∧ :ARG0(z1006, z1005) ∧ favor-01(z1006) ∧ :ARG1(z1006, z81) ∧ :snt7(z0, z1007) ∧ say-01(z1007) ∧ :ARG0(z1007, z1008) ∧ person(z1008) ∧ :wiki(z1008, -) ∧ :name(z1008, z1009) ∧ name(z1009) ∧ :op1(z1009, "Lula") ∧ :op2(z1009, "Munoz") ∧ :ARG1(z1007, z1010) ∧ have-03(z1010) ∧ :ARG0(z1010, z96) ∧ :ARG1(z1010, z1011) ∧ view(z1011) ∧ :poss(z1011, z1012) ∧ person(z1012) ∧ :ARG0(z1013, z1012) ∧ reside-01(z1013) ∧ :ARG1(z1013, z1014) ∧ city(z1014) ∧ :wiki(z1014, "Hopeville,_Rio_de_Janeiro") ∧ :name(z1014, z1015) ∧ name(z1015) ∧ :op1(z1015, "Hopeville") ∧ :quant(z1012, z1016) ∧ majority(z1016) ∧ :snt8(z0, z1017) ∧ say-01(z1017) ∧ :ARG0(z1017, z1018) ∧ person(z1018) ∧ :wiki(z1018, -) ∧ :name(z1018, z1019) ∧ name(z1019) ∧ :op1(z1019, "Lula") ∧ :op2(z1019, "Munoz") ∧ :ARG1(z1017, z1020) ∧ contrast-01(z1020) ∧ :ARG2(z1020, z103) ∧ pass-01(z103) ∧ :ARG0(z103, z1014) ∧ :ARG1(z103, z1021) ∧ resolution(z1021) ∧ :ARG0(z1022, z1021) ∧ oppose-01(z1022) ∧ :ARG1(z1022, z1023) ∧ system(z1023) ∧ :mod(z1023, z1024) ∧ water(z1024) ∧ :ARG1(z1025, z1023) ∧ new-01(z1025)