A class plans to select two from three girls, including Fang Rufen, Guo Yanran, and He Zhilian, and three from five boys, including Peng Youwen, Qiu Zhijie, Ren Xiangyang, Song Wenkai, and Tang Xiaohua, to form a group of five college students to teach on a voluntary basis in the mountain area. Requirements: (1) Guo Yanran and Tang Xiaohua are not selected at the same time; (2) Peng Youwen and Song Kevin are selected at different times; (3) Qiu Zhijie and Tang Xiaohua are not selected at the same time.

Question: Which of the followings must be selected?

Choices:
- Fang Rufen
- Guo Yanran
- Song Wenkai
- Ren Xiangyang

(z0 / require-01
    :ARG1 (z1 / and
              :op1 (z2 / select-01
                       :ARG0 (z3 / class)
                       :ARG1 (z4 / and
                                 :op1 (z5 / person
                                          :quant 2
                                          :source (z6 / girl
                                                      :quant 3
                                                      :ARG2-of (z7 / include-01
                                                                   :ARG1 (z8 / and
                                                                             :op1 (z9 / person
                                                                                :wiki -
                                                                                :name (z10 / name
                                                                                :op1 "Fang"
                                                                                :op2 "Rufen"))
                                                                             :op2 (z11 / person
                                                                                :wiki "Guo_Yanran"
                                                                                :name (z12 / name
                                                                                :op1 "Guo"
                                                                                :op2 "Yanran"))
                                                                             :op3 (z13 / person
                                                                                :wiki -
                                                                                :name (z14 / name
                                                                                :op1 "He"
                                                                                :op2 "Zhilian"))))))
                                 :op2 (z15 / person
                                           :quant 3
                                           :source (z16 / boy
                                                        :quant 5
                                                        :ARG2-of (z17 / include-01
                                                                      :ARG1 (z18 / and
                                                                                :op1 (z19 / person
                                                                                :wiki -
                                                                                :name (z20 / name
                                                                                :op1 "Peng"
                                                                                :op2 "Youwen"))
                                                                                :op2 (z21 / person
                                                                                :wiki -
                                                                                :name (z22 / name
                                                                                :op1 "Qiu"
                                                                                :op2 "Zhijie"))
                                                                                :op3 (z23 / person
                                                                                :wiki -
                                                                                :name (z24 / name
                                                                                :op1 "Ren"
                                                                                :op2 "Xiangyang"))
                                                                                :op4 (z25 / person
                                                                                :wiki -
                                                                                :name (z26 / name
                                                                                :op1 "Song"
                                                                                :op2 "Wenkai"))
                                                                                :op5 (z27 / person
                                                                                :wiki "Tang_Xiaohua"
                                                                                :name (z28 / name
                                                                                :op1 "Tang"
                                                                                :op2 "Xiaohua")))))))
                       :purpose (z29 / form-01
                                     :ARG0 z3
                                     :ARG1 (z30 / group
                                                :consist-of (z31 / person
                                                                 :quant 5
                                                                 :ARG0-of (z32 / study-01
                                                                               :location (z33 / college)))
                                                :ARG0-of (z34 / teach-01
                                                              :ARG1-of (z35 / voluntary-02)
                                                              :location (z36 / area
                                                                             :mod (z37 / mountain))))))
              :op2 (z38 / select-01
                        :polarity -
                        :ARG1 (z39 / and
                                   :op1 (z40 / person
                                             :wiki "Guo_Yanran"
                                             :name (z41 / name
                                                        :op1 "Guo"
                                                        :op2 "Yanran"))
                                   :op2 (z42 / person
                                             :wiki "Tang_Xiaohua"
                                             :name (z43 / name
                                                        :op1 "Tang"
                                                        :op2 "Xiaohua")))
                        :time (z44 / time
                                   :ARG1-of (z45 / same-01)))
              :op3 (z46 / select-01
                        :polarity -
                        :ARG1 (z47 / person
                                   :wiki "Song_Kevin_(e3000 / entrepreneur)"
                                   :name (z48 / name
                                              :op1 "Song"
                                              :op2 "Kevin"))
                        :time z44)
              :op4 (z49 / select-01
                        :polarity -
                        :ARG1 (z50 / person
                                   :wiki "Qiu_Zhijie"
                                   :name (z51 / name
                                              :op1 "Qiu"
                                              :op2 "Zhijie"))
                        :time z44)
              :op5 (z52 / select-01
                        :polarity -
                        :ARG1 (z53 / person
                                   :wiki "Qiu_Zhijie"
                                   :name (z54 / name
                                              :op1 "Qiu"
                                              :op2 "Zhijie"))
                        :time z44)
              :op6 (z55 / select-01
                        :polarity -
                        :ARG1 (z56 / person
                                   :wiki "Qiu_Zhijie"
                                   :name (z57 / name
                                              :op1 "Qiu"
                                              :op2 "Zhijie"))
                        :time z44)
              :op7 (z58 / select-01
                        :polarity -
                        :ARG1 (z59 / person
                                   :wiki "Tang_Xiaohua"
                                   :name (z60 / name
                                              :op1 "Tang"
                                              :op2 "Xiaohua"))
                        :time z44)
              :op8 (z61 / require-01)
              :op9 (z62 / and
                        :op1 (z63 / select-01
                                  :polarity -
                                  :ARG1 (z64 / person
                                             :wiki "Guo_Yanran"
                                             :name (z65 / name
                                                        :op1 "Guo"
                                                        :op2 "Yanran"))
                                  :time z44)
                        :op2 (z66 / select-01
                                  :polarity -
                                  :ARG1 (z67 / person
                                             :wiki "Qiu_Zhijie"
                                             :name (z68 / name
                                                        :op1 "Qiu"
                                                        :op2 "Zhijie"))
                                  :time z44))
              :op10 (z69 / select-01
                         :ARG1 (z70 / person
                                    :quant 3
                                    :source z16)
                         :op11 (z71 / person
                                    :wiki "Song_Wenkai"
                                    :name (z72 / name
                                               :op1 "Song"
                                               :op2 "Wenkai"))
                         :op12 (z73 / person
                                    :wiki "Qiu_Zhijie"
                                    :name (z74 / name
                                               :op1 "Qiu"
                                               :op2 "Zhijie"))
                         :op13 (z75 / person
                                    :wiki "Qiu_Zhijie"
                                    :name (z76 / name
                                               :op1 "Qiu"
                                               :op2 "Zhijie"))
                         :op14 "Qiu"
                         :op3 "Qiu"
                         :op4 "Qiu"
                         :op5 "Qiu"
                         :op15 "Qiu"
                         :op16 "Qiu"
                         :op17 "Qiu"
                         :op18 "Qiu"
                         :op19 "Zhijie"
                         :op20 "Qiu"
                         :op21 "Qiu"
                         :op22 "Qiu"
                         :op23 "Zhijie"
                         :op24 "Qiu"
                         :op25 "Qiu"
                         :op26 "Qiu"
                         :op27 "Qiu"
                         :op28 "Qiu"
                         :op30 "Qiu"
                         :op31 "Qiu"
                         :op32 "Qiu"
                         :op33 "Qiu"
                         :op34 "Ru"
                         :op35 "Qiu"
                         :op36 "Ru"
                         :op39 "Ru"
                         :op38 "Qiu"
                         :op39 "Qiu"
                         :op40 "Ru"
                         :op45 "Ru"
                         :op6 "Ru"
                         :op6 "Ru"
                         :op41 "Ru"
                         :op6 "Ru"
                         :op48 "Ru"
                         :op6 "Ru"
                         :op6 "Ru"
                         :op6 "Ru"
                         :op7 "Ma")))

require-01(z0) ∧ :ARG1(z0, z1) ∧ and(z1) ∧ :op1(z1, z2) ∧ select-01(z2) ∧ :ARG0(z2, z3) ∧ class(z3) ∧ :ARG1(z2, z4) ∧ and(z4) ∧ :op1(z4, z5) ∧ person(z5) ∧ :quant(z5, 2) ∧ :source(z5, z6) ∧ girl(z6) ∧ :quant(z6, 3) ∧ :ARG2(z7, z6) ∧ include-01(z7) ∧ :ARG1(z7, z8) ∧ and(z8) ∧ :op1(z8, z9) ∧ person(z9) ∧ :wiki(z9, -) ∧ :name(z9, z10) ∧ name(z10) ∧ :op1(z10, "Fang") ∧ :op2(z10, "Rufen") ∧ :op2(z8, z11) ∧ person(z11) ∧ :wiki(z11, "Guo_Yanran") ∧ :name(z11, z12) ∧ name(z12) ∧ :op1(z12, "Guo") ∧ :op2(z12, "Yanran") ∧ :op3(z8, z13) ∧ person(z13) ∧ :wiki(z13, -) ∧ :name(z13, z14) ∧ name(z14) ∧ :op1(z14, "He") ∧ :op2(z14, "Zhilian") ∧ :op2(z4, z15) ∧ person(z15) ∧ :quant(z15, 3) ∧ :source(z15, z16) ∧ boy(z16) ∧ :quant(z16, 5) ∧ :ARG2(z17, z16) ∧ include-01(z17) ∧ :ARG1(z17, z18) ∧ and(z18) ∧ :op1(z18, z19) ∧ person(z19) ∧ :wiki(z19, -) ∧ :name(z19, z20) ∧ name(z20) ∧ :op1(z20, "Peng") ∧ :op2(z20, "Youwen") ∧ :op2(z18, z21) ∧ person(z21) ∧ :wiki(z21, -) ∧ :name(z21, z22) ∧ name(z22) ∧ :op1(z22, "Qiu") ∧ :op2(z22, "Zhijie") ∧ :op3(z18, z23) ∧ person(z23) ∧ :wiki(z23, -) ∧ :name(z23, z24) ∧ name(z24) ∧ :op1(z24, "Ren") ∧ :op2(z24, "Xiangyang") ∧ :op4(z18, z25) ∧ person(z25) ∧ :wiki(z25, -) ∧ :name(z25, z26) ∧ name(z26) ∧ :op1(z26, "Song") ∧ :op2(z26, "Wenkai") ∧ :op5(z18, z27) ∧ person(z27) ∧ :wiki(z27, "Tang_Xiaohua") ∧ :name(z27, z28) ∧ name(z28) ∧ :op1(z28, "Tang") ∧ :op2(z28, "Xiaohua") ∧ :purpose(z2, z29) ∧ form-01(z29) ∧ :ARG0(z29, z3) ∧ :ARG1(z29, z30) ∧ group(z30) ∧ :consist(z31, z30) ∧ person(z31) ∧ :quant(z31, 5) ∧ :ARG0(z32, z31) ∧ study-01(z32) ∧ :location(z32, z33) ∧ college(z33) ∧ :ARG0(z34, z30) ∧ teach-01(z34) ∧ :ARG1(z35, z34) ∧ voluntary-02(z35) ∧ :location(z34, z36) ∧ area(z36) ∧ :mod(z36, z37) ∧ mountain(z37) ∧ ¬(:op2(z1, z38) ∧ select-01(z38) ∧ :ARG1(z38, z39) ∧ and(z39) ∧ :op1(z39, z40) ∧ person(z40) ∧ :wiki(z40, "Guo_Yanran") ∧ :name(z40, z41) ∧ name(z41) ∧ :op1(z41, "Guo") ∧ :op2(z41, "Yanran") ∧ :op2(z39, z42) ∧ person(z42) ∧ :wiki(z42, "Tang_Xiaohua") ∧ :name(z42, z43) ∧ name(z43) ∧ :op1(z43, "Tang") ∧ :op2(z43, "Xiaohua") ∧ :time(z38, z44) ∧ time(z44) ∧ :ARG1(z45, z44) ∧ same-01(z45)) ∧ ¬(:op3(z1, z46) ∧ select-01(z46) ∧ :ARG1(z46, z47) ∧ person(z47) ∧ :wiki(z47, "Song_Kevin_(e3000 / entrepreneur)") ∧ :name(z47, z48) ∧ name(z48) ∧ :op1(z48, "Song") ∧ :op2(z48, "Kevin") ∧ :time(z46, z44)) ∧ ¬(:op4(z1, z49) ∧ select-01(z49) ∧ :ARG1(z49, z50) ∧ person(z50) ∧ :wiki(z50, "Qiu_Zhijie") ∧ :name(z50, z51) ∧ name(z51) ∧ :op1(z51, "Qiu") ∧ :op2(z51, "Zhijie") ∧ :time(z49, z44)) ∧ ¬(:op5(z1, z52) ∧ select-01(z52) ∧ :ARG1(z52, z53) ∧ person(z53) ∧ :wiki(z53, "Qiu_Zhijie") ∧ :name(z53, z54) ∧ name(z54) ∧ :op1(z54, "Qiu") ∧ :op2(z54, "Zhijie") ∧ :time(z52, z44)) ∧ ¬(:op6(z1, z55) ∧ select-01(z55) ∧ :ARG1(z55, z56) ∧ person(z56) ∧ :wiki(z56, "Qiu_Zhijie") ∧ :name(z56, z57) ∧ name(z57) ∧ :op1(z57, "Qiu") ∧ :op2(z57, "Zhijie") ∧ :time(z55, z44)) ∧ ¬(:op7(z1, z58) ∧ select-01(z58) ∧ :ARG1(z58, z59) ∧ person(z59) ∧ :wiki(z59, "Tang_Xiaohua") ∧ :name(z59, z60) ∧ name(z60) ∧ :op1(z60, "Tang") ∧ :op2(z60, "Xiaohua") ∧ :time(z58, z44)) ∧ :op8(z1, z61) ∧ require-01(z61) ∧ :op9(z1, z62) ∧ and(z62) ∧ ¬(:op1(z62, z63) ∧ select-01(z63) ∧ :ARG1(z63, z64) ∧ person(z64) ∧ :wiki(z64, "Guo_Yanran") ∧ :name(z64, z65) ∧ name(z65) ∧ :op1(z65, "Guo") ∧ :op2(z65, "Yanran") ∧ :time(z63, z44)) ∧ ¬(:op2(z62, z66) ∧ select-01(z66) ∧ :ARG1(z66, z67) ∧ person(z67) ∧ :wiki(z67, "Qiu_Zhijie") ∧ :name(z67, z68) ∧ name(z68) ∧ :op1(z68, "Qiu") ∧ :op2(z68, "Zhijie") ∧ :time(z66, z44)) ∧ :op10(z1, z69) ∧ select-01(z69) ∧ :ARG1(z69, z70) ∧ person(z70) ∧ :quant(z70, 3) ∧ :source(z70, z16) ∧ :op11(z69, z71) ∧ person(z71) ∧ :wiki(z71, "Song_Wenkai") ∧ :name(z71, z72) ∧ name(z72) ∧ :op1(z72, "Song") ∧ :op2(z72, "Wenkai") ∧ :op12(z69, z73) ∧ person(z73) ∧ :wiki(z73, "Qiu_Zhijie") ∧ :name(z73, z74) ∧ name(z74) ∧ :op1(z74, "Qiu") ∧ :op2(z74, "Zhijie") ∧ :op13(z69, z75) ∧ person(z75) ∧ :wiki(z75, "Qiu_Zhijie") ∧ :name(z75, z76) ∧ name(z76) ∧ :op1(z76, "Qiu") ∧ :op2(z76, "Zhijie") ∧ :op14(z69, "Qiu") ∧ :op3(z69, "Qiu") ∧ :op4(z69, "Qiu") ∧ :op5(z69, "Qiu") ∧ :op15(z69, "Qiu") ∧ :op16(z69, "Qiu") ∧ :op17(z69, "Qiu") ∧ :op18(z69, "Qiu") ∧ :op19(z69, "Zhijie") ∧ :op20(z69, "Qiu") ∧ :op21(z69, "Qiu") ∧ :op22(z69, "Qiu") ∧ :op23(z69, "Zhijie") ∧ :op24(z69, "Qiu") ∧ :op25(z69, "Qiu") ∧ :op26(z69, "Qiu") ∧ :op27(z69, "Qiu") ∧ :op28(z69, "Qiu") ∧ :op30(z69, "Qiu") ∧ :op31(z69, "Qiu") ∧ :op32(z69, "Qiu") ∧ :op33(z69, "Qiu") ∧ :op34(z69, "Ru") ∧ :op35(z69, "Qiu") ∧ :op36(z69, "Ru") ∧ :op39(z69, "Ru") ∧ :op38(z69, "Qiu") ∧ :op39(z69, "Qiu") ∧ :op40(z69, "Ru") ∧ :op45(z69, "Ru") ∧ :op6(z69, "Ru") ∧ :op6(z69, "Ru") ∧ :op41(z69, "Ru") ∧ :op6(z69, "Ru") ∧ :op48(z69, "Ru") ∧ :op6(z69, "Ru") ∧ :op6(z69, "Ru") ∧ :op6(z69, "Ru") ∧ :op7(z69, "Ma")


Experimental method refers to the method of simulating or interfering with the signals used between animals or animals receiving behavior, and then analyzing the main factors of stimulating behavior.

Question: Which of the following is an experimental method?

Choices:
- Use the camera to capture the movement of cheetahs and study the methods of cheetahs chasing prey.
- Observe the breeding activities of birds with binoculars.
- The zoo used closed-circuit television to study the process of remaining cubs of Amur tigers.
- The dolphin's response to sound waves was observed by interfering with dolphins moving in the water with sound waves.

(z0 / refer-01
    :ARG1 (z1 / method
              :mod (z2 / experiment-01))
    :ARG2 (z3 / and
              :op1 (z4 / method
                       :manner-of (z5 / or
                                      :op1 (z6 / simulate-01
                                               :ARG1 (z7 / signal-07
                                                         :ARG1-of (z8 / use-01
                                                                      :ARG0 (z9 / or
                                                                                :op1 (z10 / animal)
                                                                                :op2 (z11 / animal
                                                                                :ARG0-of (z12 / receive-01
                                                                                :ARG1 (z13 / behave-01)))))))
                                      :op2 (z14 / interfere-01
                                                :ARG1 z7))
                       :op2 (z15 / analyze-01
                                 :ARG1 (z16 / factor
                                            :mod (z17 / main)
                                            :ARG0-of (z18 / stimulate-01
                                                          :ARG1 z13))
                                 :time (z19 / then)))
              :op2 (z20 / stream-03
                        :ARG1 (z21 / and
                                   :op1 (z22 / simulate-01
                                             :ARG1 z7)
                                   :op2 (z23 / interfere-01
                                             :ARG1 z7)))
              :op3 (z24 / analyze-01
                        :ARG1 (z25 / factor
                                   :mod (z26 / main)
                                   :ARG0-of (z27 / stimulate-01
                                                 :ARG1 z13))
                        :time z19)))

refer-01(z0) ∧ :ARG1(z0, z1) ∧ method(z1) ∧ :mod(z1, z2) ∧ experiment-01(z2) ∧ :ARG2(z0, z3) ∧ and(z3) ∧ :op1(z3, z4) ∧ method(z4) ∧ :manner(z5, z4) ∧ or(z5) ∧ :op1(z5, z6) ∧ simulate-01(z6) ∧ :ARG1(z6, z7) ∧ signal-07(z7) ∧ :ARG1(z8, z7) ∧ use-01(z8) ∧ :ARG0(z8, z9) ∧ or(z9) ∧ :op1(z9, z10) ∧ animal(z10) ∧ :op2(z9, z11) ∧ animal(z11) ∧ :ARG0(z12, z11) ∧ receive-01(z12) ∧ :ARG1(z12, z13) ∧ behave-01(z13) ∧ :op2(z5, z14) ∧ interfere-01(z14) ∧ :ARG1(z14, z7) ∧ :op2(z4, z15) ∧ analyze-01(z15) ∧ :ARG1(z15, z16) ∧ factor(z16) ∧ :mod(z16, z17) ∧ main(z17) ∧ :ARG0(z18, z16) ∧ stimulate-01(z18) ∧ :ARG1(z18, z13) ∧ :time(z15, z19) ∧ then(z19) ∧ :op2(z3, z20) ∧ stream-03(z20) ∧ :ARG1(z20, z21) ∧ and(z21) ∧ :op1(z21, z22) ∧ simulate-01(z22) ∧ :ARG1(z22, z7) ∧ :op2(z21, z23) ∧ interfere-01(z23) ∧ :ARG1(z23, z7) ∧ :op3(z3, z24) ∧ analyze-01(z24) ∧ :ARG1(z24, z25) ∧ factor(z25) ∧ :mod(z25, z26) ∧ main(z26) ∧ :ARG0(z27, z25) ∧ stimulate-01(z27) ∧ :ARG1(z27, z13) ∧ :time(z24, z19)


The navigation satellite is located at an altitude of 20,000 kilometers and can be navigated by receiving signals within its coverage. In the deep space of more than 20,000 kilometers, a brand new navigation system is needed. Astronomers have proposed several possible navigation systems, and the most talked about is pulsar navigation. Pulsars are a kind of neutron stars whose magnetic pole direction can produce radio or X-ray radiation. When the rotation axis does not coincide with the magnetic pole, and the rotation axis sweeps over the earth, pulses will be generated. Some of these pulsars are so stable that they can be compared to the best atomic clocks on earth, so these pulsars are also called atomic clocks in the universe. If you can pick up their signals and know their location, you can use these pulsars for interstellar travel.

Question: Which of the following is most likely to be described next?

Choices:
- Other atomic clocks in the universe that resemble pulsars
- Some difficulties faced in interstellar voyage at present
- An experiment to verify the feasibility of pulsar navigation
- Factors affecting the rotational stability of pulsars

(z0 / multi-sentence
    :snt1 (z1 / and
              :op1 (z2 / locate-01
                       :ARG1 (z3 / satellite
                                 :ARG0-of (z4 / navigate-01))
                       :location (z5 / altitude
                                     :quant (z6 / distance-quantity
                                                :quant 20000
                                                :unit (z7 / kilometer))))
              :op2 (z8 / possible-01
                       :ARG1 (z9 / navigate-01
                                 :ARG1 z3
                                 :manner (z10 / receive-01
                                              :ARG1 (z11 / signal
                                                         :location (z12 / cover-01
                                                                        :ARG1 z3))))))
    :snt2 (z13 / need-01
               :ARG1 (z14 / system
                          :ARG0-of (z15 / navigate-01)
                          :ARG1-of (z16 / new-01
                                        :mod (z17 / brand)))
               :location (z18 / space
                              :ARG1-of (z19 / deep-02)
                              :quant (z20 / more-than
                                          :op1 (z21 / distance-quantity
                                                    :quant 20000
                                                    :unit (z22 / kilometer)))))
    :snt3 (z23 / and
               :op1 (z24 / propose-01
                         :ARG0 (z25 / person
                                    :ARG0-of (z26 / have-org-role-91
                                                  :ARG2 (z27 / astronaut)))
                         :ARG1 (z28 / system
                                    :mod (z29 / navigate-01)
                                    :ARG1-of (z30 / possible-01)
                                    :quant (z31 / several)))
               :op2 (z32 / talk-01
                         :ARG1 (z33 / navigate-01
                                    :ARG0 (z34 / pulsar)
                                    :ARG1-of (z35 / have-degree-91
                                                  :ARG2 (z36 / talk-01
                                                             :ARG1 z33)
                                                  :ARG3 (z37 / most)))))
    :snt4 (z38 / generator
               :ARG1 (z39 / pulse)
               :time (z40 / and
                          :op1 (z41 / coincide-01
                                    :polarity -
                                    :ARG1 (z42 / axis
                                               :purpose (z43 / rotate-01))
                                    :ARG2 (z44 / pole
                                               :mod (z45 / magnet)))
                          :op2 (z46 / sweep-02
                                    :ARG0 z42
                                    :path (z47 / over
                                               :op1 (z48 / planet
                                                         :wiki "Earth"
                                                         :name (z49 / name
                                                                    :op1 "Earth"))))))
    :snt5 (z50 / cause-01
               :ARG0 (z51 / have-degree-91
                          :ARG1 (z52 / some
                                     :ARG1-of (z53 / include-91
                                                   :ARG2 (z54 / pulsar
                                                              :mod (z55 / this))))
                          :ARG2 (z56 / stable-03
                                     :ARG1 z52)
                          :ARG3 (z57 / so)
                          :ARG6 (z58 / possible-01
                                     :ARG1 (z59 / compare-01
                                                :ARG1 z52
                                                :ARG2 (z60 / clock
                                                           :mod (z61 / atom)
                                                           :location (z62 / planet
                                                                          :wiki "Earth"
                                                                          :name (z63 / name
                                                                                :op1 "Earth"))
                                                           :ARG1-of (z64 / have-degree-91
                                                                         :ARG2 (z65 / good-03
                                                                                :ARG1 z42)
                                                                         :ARG3 (z66 / most))))))
               :ARG1 (z67 / call-01
                          :ARG1 (z68 / pulsar
                                     :mod (z69 / this))
                          :ARG2 (z70 / clock
                                     :mod (z71 / atom)
                                     :location (z72 / universe))
                          :mod (z73 / also))
               :condition (z74 / possible-01
                               :ARG1 (z75 / use-01
                                          :ARG0 (z76 / you)
                                          :ARG1 (z77 / pulsar
                                                     :mod (z78 / this))
                                          :ARG2 (z79 / travel-01
                                                     :ARG4 (z80 / interstellar))))
               :snt6 (z81 / possible-01
                          :ARG1 (z82 / produce-01
                                     :ARG0 (z83 / direction
                                                :poss (z84 / pole
                                                           :mod (z85 / magnet)))
                                     :ARG1 (z86 / or
                                                :op1 (z87 / radiate-01
                                                          :ARG0 (z88 / radio))
                                                :op2 (z89 / radiate-01
                                                          :ARG0 (z90 / xray)))
                                     :ARG1-of (z91 / possible-01)))
               :snt7 (z92 / kind
                          :domain (z93 / star
                                       :mod (z94 / neutron)
                                       :mod (z95 / kind)
                                       :poss-of (z96 / direction
                                                     :poss (z97 / pole
                                                                :mod (z98 / magnet)))))
               :snt8 (z1000 / possible-01
                            :ARG1 (z1001 / produce-01
                                         :ARG0 (z1002 / star
                                                      :mod (z1003 / neutron)
                                                      :mod (z1004 / kind))
                                         :ARG1 (z1005 / thing
                                                      :ARG1-of (z1006 / radiate-01))))
               :snt9 (z1007 / possible-01
                            :ARG1 (z1008 / use-01
                                         :ARG0 (z1009 / you)
                                         :ARG1 (z1010 / pulsar
                                                      :mod (z1011 / this))
                                         :ARG2 (z1012 / travel-01
                                                      :ARG4 (z1013 / interstellar))))
               :snt10 (z1014 / and
                             :op1 (z1015 / possible-01
                                         :ARG1 (z1016 / pick-up-04
                                                      :ARG0 (z1017 / you)
                                                      :ARG1 (z1018 / signal
                                                                   :poss (z1019 / they))))
                             :op2 (z1020 / know-01
                                         :ARG0 z1017
                                         :ARG1 (z1021 / location
                                                      :poss z1019)))
               :snt11 (z1022 / and
                             :op1 (z1023 / pick-up-11
                                         :ARG1 (z1024 / signal
                                                      :poss z1019))
                             :op2 (z1025 / know-01
                                         :ARG0 z1017
                                         :ARG1 (z1026 / location
                                                      :poss z1019)))
               :snt12 (z1027 / generator
                             :ARG1 (z1028 / pulse)
                             :time (z1029 / and
                                          :op1 (z1030 / coincide-01
                                                      :polarity -
                                                      :ARG1 (z1031 / axis
                                                                   :purpose (z1032 / rotate-01)))
                                          :op2 (z1033 / sweep-02
                                                      :ARG1 z1031
                                                      :ARG2 (z1034 / planet
                                                                   :wiki "Earth"
                                                                   :name (z1035 / name
                                                                                :op1 "Earth"))))))
    :snt13 (z1036 / need-01
                  :ARG1 (z1037 / system
                               :ARG0-of (z1038 / navigate-01)
                               :ARG1-of (z1039 / new-01)
                               :ARG1-of (z99 / new-01)))
    :snt14 (z100 / need-01
                 :ARG1 (z101 / system
                             :ARG0-of (z102 / navigate-01)
                             :ARG1-of (z103 / new-01)))
    :prep-in (z104 / space
                   :ARG1-of (z105 / deep-02)))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ and(z1) ∧ :op1(z1, z2) ∧ locate-01(z2) ∧ :ARG1(z2, z3) ∧ satellite(z3) ∧ :ARG0(z4, z3) ∧ navigate-01(z4) ∧ :location(z2, z5) ∧ altitude(z5) ∧ :quant(z5, z6) ∧ distance-quantity(z6) ∧ :quant(z6, 20000) ∧ :unit(z6, z7) ∧ kilometer(z7) ∧ :op2(z1, z8) ∧ possible-01(z8) ∧ :ARG1(z8, z9) ∧ navigate-01(z9) ∧ :ARG1(z9, z3) ∧ :manner(z9, z10) ∧ receive-01(z10) ∧ :ARG1(z10, z11) ∧ signal(z11) ∧ :location(z11, z12) ∧ cover-01(z12) ∧ :ARG1(z12, z3) ∧ :snt2(z0, z13) ∧ need-01(z13) ∧ :ARG1(z13, z14) ∧ system(z14) ∧ :ARG0(z15, z14) ∧ navigate-01(z15) ∧ :ARG1(z16, z14) ∧ new-01(z16) ∧ :mod(z16, z17) ∧ brand(z17) ∧ :location(z13, z18) ∧ space(z18) ∧ :ARG1(z19, z18) ∧ deep-02(z19) ∧ :quant(z18, z20) ∧ more-than(z20) ∧ :op1(z20, z21) ∧ distance-quantity(z21) ∧ :quant(z21, 20000) ∧ :unit(z21, z22) ∧ kilometer(z22) ∧ :snt3(z0, z23) ∧ and(z23) ∧ :op1(z23, z24) ∧ propose-01(z24) ∧ :ARG0(z24, z25) ∧ person(z25) ∧ :ARG0(z26, z25) ∧ have-org-role-91(z26) ∧ :ARG2(z26, z27) ∧ astronaut(z27) ∧ :ARG1(z24, z28) ∧ system(z28) ∧ :mod(z28, z29) ∧ navigate-01(z29) ∧ :ARG1(z30, z28) ∧ possible-01(z30) ∧ :quant(z28, z31) ∧ several(z31) ∧ :op2(z23, z32) ∧ talk-01(z32) ∧ :ARG1(z32, z33) ∧ navigate-01(z33) ∧ :ARG0(z33, z34) ∧ pulsar(z34) ∧ :ARG1(z35, z33) ∧ have-degree-91(z35) ∧ :ARG2(z35, z36) ∧ talk-01(z36) ∧ :ARG1(z36, z33) ∧ :ARG3(z35, z37) ∧ most(z37) ∧ :snt4(z0, z38) ∧ generator(z38) ∧ :ARG1(z38, z39) ∧ pulse(z39) ∧ :time(z38, z40) ∧ and(z40) ∧ ¬(:op1(z40, z41) ∧ coincide-01(z41) ∧ :ARG1(z41, z42) ∧ axis(z42) ∧ :purpose(z42, z43) ∧ rotate-01(z43) ∧ :ARG2(z41, z44) ∧ pole(z44) ∧ :mod(z44, z45) ∧ magnet(z45)) ∧ :op2(z40, z46) ∧ sweep-02(z46) ∧ :ARG0(z46, z42) ∧ :path(z46, z47) ∧ over(z47) ∧ :op1(z47, z48) ∧ planet(z48) ∧ :wiki(z48, "Earth") ∧ :name(z48, z49) ∧ name(z49) ∧ :op1(z49, "Earth") ∧ :snt5(z0, z50) ∧ :condition(z50, z74) ∧ possible-01(z74) ∧ :ARG1(z74, z75) ∧ use-01(z75) ∧ :ARG0(z75, z76) ∧ you(z76) ∧ :ARG1(z75, z77) ∧ pulsar(z77) ∧ :mod(z77, z78) ∧ this(z78) ∧ :ARG2(z75, z79) ∧ travel-01(z79) ∧ :ARG4(z79, z80) ∧ interstellar(z80) ∧ cause-01(z50) ∧ :ARG0(z50, z51) ∧ have-degree-91(z51) ∧ :ARG1(z51, z52) ∧ some(z52) ∧ :ARG1(z53, z52) ∧ include-91(z53) ∧ :ARG2(z53, z54) ∧ pulsar(z54) ∧ :mod(z54, z55) ∧ this(z55) ∧ :ARG2(z51, z56) ∧ stable-03(z56) ∧ :ARG1(z56, z52) ∧ :ARG3(z51, z57) ∧ so(z57) ∧ :ARG6(z51, z58) ∧ possible-01(z58) ∧ :ARG1(z58, z59) ∧ compare-01(z59) ∧ :ARG1(z59, z52) ∧ :ARG2(z59, z60) ∧ clock(z60) ∧ :mod(z60, z61) ∧ atom(z61) ∧ :location(z60, z62) ∧ planet(z62) ∧ :wiki(z62, "Earth") ∧ :name(z62, z63) ∧ name(z63) ∧ :op1(z63, "Earth") ∧ :ARG1(z64, z60) ∧ have-degree-91(z64) ∧ :ARG2(z64, z65) ∧ good-03(z65) ∧ :ARG1(z65, z42) ∧ :ARG3(z64, z66) ∧ most(z66) ∧ :ARG1(z50, z67) ∧ call-01(z67) ∧ :ARG1(z67, z68) ∧ pulsar(z68) ∧ :mod(z68, z69) ∧ this(z69) ∧ :ARG2(z67, z70) ∧ clock(z70) ∧ :mod(z70, z71) ∧ atom(z71) ∧ :location(z70, z72) ∧ universe(z72) ∧ :mod(z67, z73) ∧ also(z73) ∧ :snt6(z50, z81) ∧ possible-01(z81) ∧ :ARG1(z81, z82) ∧ produce-01(z82) ∧ :ARG0(z82, z83) ∧ direction(z83) ∧ :poss(z83, z84) ∧ pole(z84) ∧ :mod(z84, z85) ∧ magnet(z85) ∧ :ARG1(z82, z86) ∧ or(z86) ∧ :op1(z86, z87) ∧ radiate-01(z87) ∧ :ARG0(z87, z88) ∧ radio(z88) ∧ :op2(z86, z89) ∧ radiate-01(z89) ∧ :ARG0(z89, z90) ∧ xray(z90) ∧ :ARG1(z91, z82) ∧ possible-01(z91) ∧ :snt7(z50, z92) ∧ kind(z92) ∧ :domain(z92, z93) ∧ star(z93) ∧ :mod(z93, z94) ∧ neutron(z94) ∧ :mod(z93, z95) ∧ kind(z95) ∧ :poss(z96, z93) ∧ direction(z96) ∧ :poss(z96, z97) ∧ pole(z97) ∧ :mod(z97, z98) ∧ magnet(z98) ∧ :snt8(z50, z1000) ∧ possible-01(z1000) ∧ :ARG1(z1000, z1001) ∧ produce-01(z1001) ∧ :ARG0(z1001, z1002) ∧ star(z1002) ∧ :mod(z1002, z1003) ∧ neutron(z1003) ∧ :mod(z1002, z1004) ∧ kind(z1004) ∧ :ARG1(z1001, z1005) ∧ thing(z1005) ∧ :ARG1(z1006, z1005) ∧ radiate-01(z1006) ∧ :snt9(z50, z1007) ∧ possible-01(z1007) ∧ :ARG1(z1007, z1008) ∧ use-01(z1008) ∧ :ARG0(z1008, z1009) ∧ you(z1009) ∧ :ARG1(z1008, z1010) ∧ pulsar(z1010) ∧ :mod(z1010, z1011) ∧ this(z1011) ∧ :ARG2(z1008, z1012) ∧ travel-01(z1012) ∧ :ARG4(z1012, z1013) ∧ interstellar(z1013) ∧ :snt10(z50, z1014) ∧ and(z1014) ∧ :op1(z1014, z1015) ∧ possible-01(z1015) ∧ :ARG1(z1015, z1016) ∧ pick-up-04(z1016) ∧ :ARG0(z1016, z1017) ∧ you(z1017) ∧ :ARG1(z1016, z1018) ∧ signal(z1018) ∧ :poss(z1018, z1019) ∧ they(z1019) ∧ :op2(z1014, z1020) ∧ know-01(z1020) ∧ :ARG0(z1020, z1017) ∧ :ARG1(z1020, z1021) ∧ location(z1021) ∧ :poss(z1021, z1019) ∧ :snt11(z50, z1022) ∧ and(z1022) ∧ :op1(z1022, z1023) ∧ pick-up-11(z1023) ∧ :ARG1(z1023, z1024) ∧ signal(z1024) ∧ :poss(z1024, z1019) ∧ :op2(z1022, z1025) ∧ know-01(z1025) ∧ :ARG0(z1025, z1017) ∧ :ARG1(z1025, z1026) ∧ location(z1026) ∧ :poss(z1026, z1019) ∧ :snt12(z50, z1027) ∧ generator(z1027) ∧ :ARG1(z1027, z1028) ∧ pulse(z1028) ∧ :time(z1027, z1029) ∧ and(z1029) ∧ ¬(:op1(z1029, z1030) ∧ coincide-01(z1030) ∧ :ARG1(z1030, z1031) ∧ axis(z1031) ∧ :purpose(z1031, z1032) ∧ rotate-01(z1032)) ∧ :op2(z1029, z1033) ∧ sweep-02(z1033) ∧ :ARG1(z1033, z1031) ∧ :ARG2(z1033, z1034) ∧ planet(z1034) ∧ :wiki(z1034, "Earth") ∧ :name(z1034, z1035) ∧ name(z1035) ∧ :op1(z1035, "Earth") ∧ :snt13(z0, z1036) ∧ need-01(z1036) ∧ :ARG1(z1036, z1037) ∧ system(z1037) ∧ :ARG0(z1038, z1037) ∧ navigate-01(z1038) ∧ :ARG1(z1039, z1037) ∧ new-01(z1039) ∧ :ARG1(z99, z1037) ∧ new-01(z99) ∧ :snt14(z0, z100) ∧ need-01(z100) ∧ :ARG1(z100, z101) ∧ system(z101) ∧ :ARG0(z102, z101) ∧ navigate-01(z102) ∧ :ARG1(z103, z101) ∧ new-01(z103) ∧ :prep-in(z0, z104) ∧ space(z104) ∧ :ARG1(z105, z104) ∧ deep-02(z105)


Continuous contrast refers to the visual dislocation of color contrast observed and felt by the human eye in different time periods.Continuous comparison is divided into positive and negative images.Positive image refers to the visual state in which the image of the original object color is retained temporarily after the visual stimulation of the object is stopped.Negative image refers to the visual state in which the visual image is temporarily colored with the original object after the visual stimulation of the object is stopped.

Question: According to the above definition, which of the following options is negative?

Choices:
- A continuous projection of a static screen at 24 frames per second creates a dynamic picture in front of your eyes
- After staring at a red object, even if you move it away, you will still feel red appear in front of you
- After staring at red for a long time, the vision moves quickly to white, not white, but green
- Red is paired with yellow, and red is sometimes seen as a color with purple, and sometimes with yellow as a color with green

(z0 / multi-sentence
    :snt1 (z1 / refer-01
              :ARG0 (z2 / contrast-01
                        :ARG1-of (z3 / continue-01))
              :ARG1 (z4 / dislocate-01
                        :ARG1 (z5 / contrast-01
                                  :ARG1 (z6 / color))
                        :mod (z7 / visual)
                        :ARG1-of (z8 / observe-01
                                     :ARG0 (z9 / eye
                                               :part-of (z10 / human))
                                     :time (z11 / period
                                                :ARG1-of (z12 / differ-02)
                                                :mod (z13 / time)))
                        :ARG1-of (z14 / feel-01
                                      :ARG0 z9
                                      :time z11
                                      :time z11)))
    :snt2 (z15 / divide-02
               :ARG1 (z16 / compare-01
                          :ARG1-of (z17 / continue-01))
               :ARG2 (z18 / and
                          :op1 (z19 / image
                                    :mod (z20 / positive))
                          :op2 (z21 / image
                                    :ARG0-of (z22 / negative-02))))
    :snt3 (z23 / refer-01
               :ARG0 (z24 / image
                          :mod (z25 / positive))
               :ARG1 (z26 / state
                          :mod (z27 / visual)
                          :time-of (z28 / retain-01
                                        :ARG1 (z29 / image
                                                   :mod (z30 / color
                                                             :mod (z31 / object
                                                                       :mod (z32 / original))))
                                        :duration (z33 / temporary)
                                        :time (z34 / after
                                                   :op1 (z35 / stop-01
                                                             :ARG1 (z36 / stimulate-01
                                                                        :ARG0 (z37 / visual)
                                                                        :ARG1 z31))))))
    :snt4 (z38 / refer-01
               :ARG0 (z39 / image
                          :mod (z40 / positive
                                    :polarity -))
               :ARG1 (z41 / state
                          :mod (z42 / visual)
                          :time-of (z43 / color-01
                                        :ARG1 (z44 / image
                                                   :mod (z45 / visual))
                                        :duration (z46 / temporary)
                                        :accompanier z31
                                        :time (z47 / after
                                                   :op1 (z48 / stop-01
                                                             :ARG1 (z49 / stimulate-01
                                                                        :ARG0 (z50 / visual)
                                                                        :ARG1 z31))))))
    :snt5 (z51 / refer-01
               :ARG0 (z52 / image
                          :mod (z53 / negative))
               :ARG1 (z54 / state
                          :mod (z55 / visual)
                          :time-of (z56 / and
                                        :op1 (z57 / lapse-01
                                                  :ARG1 (z58 / time)
                                                  :ARG2 (z59 / vigil))
                                        :op2 (z60 / feel-01
                                                  :ARG0 (z61 / eye
                                                             :part-of (z62 / human))
                                                  :ARG1 (z63 / contrast-01
                                                             :ARG2 (z64 / color)))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ refer-01(z1) ∧ :ARG0(z1, z2) ∧ contrast-01(z2) ∧ :ARG1(z3, z2) ∧ continue-01(z3) ∧ :ARG1(z1, z4) ∧ dislocate-01(z4) ∧ :ARG1(z4, z5) ∧ contrast-01(z5) ∧ :ARG1(z5, z6) ∧ color(z6) ∧ :mod(z4, z7) ∧ visual(z7) ∧ :ARG1(z8, z4) ∧ observe-01(z8) ∧ :ARG0(z8, z9) ∧ eye(z9) ∧ :part(z10, z9) ∧ human(z10) ∧ :time(z8, z11) ∧ period(z11) ∧ :ARG1(z12, z11) ∧ differ-02(z12) ∧ :mod(z11, z13) ∧ time(z13) ∧ :ARG1(z14, z4) ∧ feel-01(z14) ∧ :ARG0(z14, z9) ∧ :time(z14, z11) ∧ :time(z14, z11) ∧ :snt2(z0, z15) ∧ divide-02(z15) ∧ :ARG1(z15, z16) ∧ compare-01(z16) ∧ :ARG1(z17, z16) ∧ continue-01(z17) ∧ :ARG2(z15, z18) ∧ and(z18) ∧ :op1(z18, z19) ∧ image(z19) ∧ :mod(z19, z20) ∧ positive(z20) ∧ :op2(z18, z21) ∧ image(z21) ∧ :ARG0(z22, z21) ∧ negative-02(z22) ∧ :snt3(z0, z23) ∧ refer-01(z23) ∧ :ARG0(z23, z24) ∧ image(z24) ∧ :mod(z24, z25) ∧ positive(z25) ∧ :ARG1(z23, z26) ∧ state(z26) ∧ :mod(z26, z27) ∧ visual(z27) ∧ :time(z28, z26) ∧ retain-01(z28) ∧ :ARG1(z28, z29) ∧ image(z29) ∧ :mod(z29, z30) ∧ color(z30) ∧ :mod(z30, z31) ∧ object(z31) ∧ :mod(z31, z32) ∧ original(z32) ∧ :duration(z28, z33) ∧ temporary(z33) ∧ :time(z28, z34) ∧ after(z34) ∧ :op1(z34, z35) ∧ stop-01(z35) ∧ :ARG1(z35, z36) ∧ stimulate-01(z36) ∧ :ARG0(z36, z37) ∧ visual(z37) ∧ :ARG1(z36, z31) ∧ :snt4(z0, z38) ∧ refer-01(z38) ∧ :ARG0(z38, z39) ∧ image(z39) ∧ ¬(:mod(z39, z40) ∧ positive(z40)) ∧ :ARG1(z38, z41) ∧ state(z41) ∧ :mod(z41, z42) ∧ visual(z42) ∧ :time(z43, z41) ∧ color-01(z43) ∧ :ARG1(z43, z44) ∧ image(z44) ∧ :mod(z44, z45) ∧ visual(z45) ∧ :duration(z43, z46) ∧ temporary(z46) ∧ :accompanier(z43, z31) ∧ :time(z43, z47) ∧ after(z47) ∧ :op1(z47, z48) ∧ stop-01(z48) ∧ :ARG1(z48, z49) ∧ stimulate-01(z49) ∧ :ARG0(z49, z50) ∧ visual(z50) ∧ :ARG1(z49, z31) ∧ :snt5(z0, z51) ∧ refer-01(z51) ∧ :ARG0(z51, z52) ∧ image(z52) ∧ :mod(z52, z53) ∧ negative(z53) ∧ :ARG1(z51, z54) ∧ state(z54) ∧ :mod(z54, z55) ∧ visual(z55) ∧ :time(z56, z54) ∧ and(z56) ∧ :op1(z56, z57) ∧ lapse-01(z57) ∧ :ARG1(z57, z58) ∧ time(z58) ∧ :ARG2(z57, z59) ∧ vigil(z59) ∧ :op2(z56, z60) ∧ feel-01(z60) ∧ :ARG0(z60, z61) ∧ eye(z61) ∧ :part(z62, z61) ∧ human(z62) ∧ :ARG1(z60, z63) ∧ contrast-01(z63) ∧ :ARG2(z63, z64) ∧ color(z64)


During the period of frequent earth tectonic activities, the new ocean basins around Africa, South America and Europe began to expand, creating new spaces. A large amount of carbon dioxide in the atmosphere reacted with photosynthetic organisms, and the dead organisms were then buried in seabed sediments, forming shales rich of carbon element. The carbon in the atmosphere is fixed and the level of carbon dioxide in the atmosphere decreases, reducing the greenhouse effect and lowering the global temperature. This is a very important consequence for marine life. So some scientists believe that  there would be the consequence whether the global climate gets cold or warm.

Question: Which one of the followings can best support scientists' judgment if it is true?

Choices:
- After 200 years of global cooling, due to frequent volcanic eruptions, the carbon solidified in the shale was produced into the atmosphere in the form of C02, which partially restored the greenhouse effect.
- Global warming will lead to a crisis of marine life. Scientists found that a similar crisis had occurred in marine life during the global cooling period 260000 years ago.
- The natural changes in large-scale growth period or the great changes in the global greenhouse effect caused by human activities in the short term have an impact on the whole system.
- Scientists have observed that climate cooling lasts for more than millions of years rather than decades or hundreds of years, which is difficult to be connected with our rapidly changing modern climate conditions.

(z0 / multi-sentence
    :snt1 (z1 / begin-01
              :ARG0 (z2 / basin
                        :mod (z3 / ocean)
                        :ARG1-of (z4 / new-01)
                        :location (z5 / around
                                      :op1 (z6 / and
                                               :op1 (z7 / continent
                                                        :wiki "Africa"
                                                        :name (z8 / name
                                                                  :op1 "Africa"))
                                               :op2 (z9 / continent
                                                        :wiki "South_America"
                                                        :name (z10 / name
                                                                   :op1 "South"
                                                                   :op2 "America"))
                                               :op3 (z11 / continent
                                                         :wiki "Europe"
                                                         :name (z12 / name
                                                                    :op1 "Europe")))))
              :ARG1 (z13 / expand-01
                         :ARG1 z2
                         :ARG0-of (z14 / create-01
                                       :ARG1 (z15 / space
                                                  :ARG1-of (z16 / new-01))))
              :time (z17 / period
                         :time-of (z18 / activity-06
                                       :ARG0 (z19 / tectonic)
                                       :mod (z20 / earth)
                                       :ARG1-of (z21 / frequent-02))))
    :snt2 (z22 / and
               :op1 (z23 / fix-03
                         :ARG1 (z24 / carbon
                                    :location (z25 / atmosphere)))
               :op2 (z26 / decrease-01
                         :ARG1 (z27 / level
                                    :consist-of z24
                                    :location z25))
               :ARG0-of (z28 / reduce-01
                             :ARG1 (z29 / affect-01
                                        :ARG0 (z30 / greenhouse)))
               :ARG0-of (z31 / lower-05
                             :ARG1 (z32 / temperature
                                        :mod (z33 / globe))))
    :snt3 (z34 / cause-01
               :ARG1 (z35 / believe-01
                          :ARG0 (z36 / scientist
                                     :mod (z37 / some))
                          :ARG1 (z38 / consequence-03
                                     :ARG3 (z39 / truth-value
                                                :polarity-of (z40 / get-03
                                                                  :ARG1 (z41 / climate
                                                                             :mod (z42 / globe))
                                                                  :ARG2 (z43 / or
                                                                             :op1 (z44 / cold-01
                                                                                :ARG1 z41)
                                                                             :op2 (z45 / warm-07
                                                                                :ARG1 z41)))))))
    :snt4 (z46 / and
               :op1 (z47 / react-01
                         :ARG0 (z48 / small-molecule
                                    :wiki "Carbon_dioxide"
                                    :name (z49 / name
                                               :op1 "carbon"
                                               :op2 "dioxide")
                                    :location (z50 / atmosphere)
                                    :quant (z51 / amount
                                                :mod (z52 / large)))
                         :ARG1 (z53 / organism
                                    :ARG0-of (z54 / photosynthesize-01)))
               :op2 (z55 / bury-01
                         :ARG1 (z56 / organism
                                    :ARG1-of (z57 / die-01))
                         :ARG2 (z58 / sediment
                                    :mod (z59 / seabed))
                         :time (z60 / then)
                         :ARG0-of (z61 / form-01
                                       :ARG1 (z62 / shale
                                                  :ARG1-of (z63 / enrich-01
                                                                :ARG2 (z64 / element
                                                                           :consist-of (z65 / carbon))))))
               :snt5 (z66 / form-01
                          :ARG1 (z67 / shale
                                     :ARG1-of (z68 / rich
                                                   :topic (z69 / element
                                                               :consist-of z65))))
               :snt6 (z70 / consequence-03
                          :ARG1 (z71 / this)
                          :ARG2 (z72 / life
                                     :mod (z73 / marine))
                          :ARG1-of (z74 / important-01
                                        :degree (z75 / very)))
               :snt7 (z76 / cause-01
                          :ARG1 (z77 / believe-01
                                     :ARG0 (z78 / scientist
                                                :mod (z79 / some))
                                     :ARG1 (z80 / consequence-03
                                                :ARG1 (z81 / this)
                                                :ARG2 (z82 / life
                                                           :mod (z83 / marine))
                                                :ARG1-of (z84 / important-01
                                                              :degree (z85 / very)))))
               :snt8 (z86 / begin-01
                          :ARG1 (z87 / expand-01
                                     :ARG1 (z88 / basin
                                                :mod (z1000 / ocean)
                                                :location (z1001 / around
                                                                 :op1 (z1002 / and
                                                                             :op1 (z1003 / continent
                                                                                :wiki "Africa"
                                                                                :name (z1004 / name
                                                                                :op1 "Africa"))
                                                                             :op2 (z1005 / continent
                                                                                :wiki "South_America"
                                                                                :name (z1006 / name
                                                                                :op1 "South"
                                                                                :op2 "America"))
                                                                             :op3 (z1007 / continent
                                                                                :wiki "Europe"
                                                                                :name (z1008 / name
                                                                                :op1 "Europe")))))
                                     :ARG0-of (z1009 / create-01
                                                     :ARG1 (z1010 / space
                                                                  :ARG1-of (z1011 / new-01)))
                                     :time (z1012 / period
                                                  :time-of (z1013 / activity-06
                                                                  :ARG0 (z1014 / tectonic
                                                                               :mod (z1015 / earth))
                                                                  :ARG1-of (z1016 / frequent-02)))))
               :snt9 (z1017 / spring-01
                            :ARG1 (z1018 / shorten-04
                                         :ARG1 (z1019 / and
                                                      :op1 (z1020 / temporal-quantity
                                                                  :quant 1
                                                                  :unit (z89 / year))
                                                      :op2 (z90 / temporal-quantity
                                                                :quant 2
                                                                :unit (z91 / year))))
                            :ARG2 (z92 / shorten-04
                                       :ARG1 (z96 / seabed))))
    :snt10 (z93 / and
                :op1 (z94 / bury-01
                          :ARG1 (z95 / sediment
                                     :mod z96)
                          :ARG2 (z97 / bury-01
                                     :ARG1 (z98 / organism
                                                :ARG1-of (z99 / die-01))
                                     :time (z100 / then)))
                :op2 (z101 / form-01
                           :ARG1 (z102 / shale
                                       :ARG1-of (z103 / rich
                                                      :ARG2-of (z104 / enrich-01
                                                                     :ARG1 (z105 / element
                                                                                :consist-of (z106 / carbon))))))
                :snt11 (z107 / and
                             :op1 (z1021 / reduce-01
                                         :ARG1 (z1022 / effect-03
                                                      :ARG1 (z1023 / affect-01
                                                                   :ARG1 (z1024 / greenhouse))))
                             :op2 (z1025 / lower-05
                                         :ARG1 (z1026 / temperature
                                                      :mod (z1027 / globe)))))
    :snt12 (z1028 / cause-01
                  :ARG1 (z1029 / believe-01
                               :ARG0 (z1030 / believe-01
                                            :ARG0 (z1031 / scientist)
                                            :ARG1 (z1032 / possible-01
                                                         :ARG1 (z1033 / consequence-03
                                                                      :ARG1 (z1034 / climate
                                                                                :mod (z1035 / globe))))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ begin-01(z1) ∧ :ARG0(z1, z2) ∧ basin(z2) ∧ :mod(z2, z3) ∧ ocean(z3) ∧ :ARG1(z4, z2) ∧ new-01(z4) ∧ :location(z2, z5) ∧ around(z5) ∧ :op1(z5, z6) ∧ and(z6) ∧ :op1(z6, z7) ∧ continent(z7) ∧ :wiki(z7, "Africa") ∧ :name(z7, z8) ∧ name(z8) ∧ :op1(z8, "Africa") ∧ :op2(z6, z9) ∧ continent(z9) ∧ :wiki(z9, "South_America") ∧ :name(z9, z10) ∧ name(z10) ∧ :op1(z10, "South") ∧ :op2(z10, "America") ∧ :op3(z6, z11) ∧ continent(z11) ∧ :wiki(z11, "Europe") ∧ :name(z11, z12) ∧ name(z12) ∧ :op1(z12, "Europe") ∧ :ARG1(z1, z13) ∧ expand-01(z13) ∧ :ARG1(z13, z2) ∧ :ARG0(z14, z13) ∧ create-01(z14) ∧ :ARG1(z14, z15) ∧ space(z15) ∧ :ARG1(z16, z15) ∧ new-01(z16) ∧ :time(z1, z17) ∧ period(z17) ∧ :time(z18, z17) ∧ activity-06(z18) ∧ :ARG0(z18, z19) ∧ tectonic(z19) ∧ :mod(z18, z20) ∧ earth(z20) ∧ :ARG1(z21, z18) ∧ frequent-02(z21) ∧ :snt2(z0, z22) ∧ and(z22) ∧ :op1(z22, z23) ∧ fix-03(z23) ∧ :ARG1(z23, z24) ∧ carbon(z24) ∧ :location(z24, z25) ∧ atmosphere(z25) ∧ :op2(z22, z26) ∧ decrease-01(z26) ∧ :ARG1(z26, z27) ∧ level(z27) ∧ :consist(z24, z27) ∧ :location(z27, z25) ∧ :ARG0(z28, z22) ∧ reduce-01(z28) ∧ :ARG1(z28, z29) ∧ affect-01(z29) ∧ :ARG0(z29, z30) ∧ greenhouse(z30) ∧ :ARG0(z31, z22) ∧ lower-05(z31) ∧ :ARG1(z31, z32) ∧ temperature(z32) ∧ :mod(z32, z33) ∧ globe(z33) ∧ :snt3(z0, z34) ∧ cause-01(z34) ∧ :ARG1(z34, z35) ∧ believe-01(z35) ∧ :ARG0(z35, z36) ∧ scientist(z36) ∧ :mod(z36, z37) ∧ some(z37) ∧ :ARG1(z35, z38) ∧ consequence-03(z38) ∧ :ARG3(z38, z39) ∧ truth-value(z39) ∧ :polarity(z40, z39) ∧ get-03(z40) ∧ :ARG1(z40, z41) ∧ climate(z41) ∧ :mod(z41, z42) ∧ globe(z42) ∧ :ARG2(z40, z43) ∧ or(z43) ∧ :op1(z43, z44) ∧ cold-01(z44) ∧ :ARG1(z44, z41) ∧ :op2(z43, z45) ∧ warm-07(z45) ∧ :ARG1(z45, z41) ∧ :snt4(z0, z46) ∧ and(z46) ∧ :op1(z46, z47) ∧ react-01(z47) ∧ :ARG0(z47, z48) ∧ small-molecule(z48) ∧ :wiki(z48, "Carbon_dioxide") ∧ :name(z48, z49) ∧ name(z49) ∧ :op1(z49, "carbon") ∧ :op2(z49, "dioxide") ∧ :location(z48, z50) ∧ atmosphere(z50) ∧ :quant(z48, z51) ∧ amount(z51) ∧ :mod(z51, z52) ∧ large(z52) ∧ :ARG1(z47, z53) ∧ organism(z53) ∧ :ARG0(z54, z53) ∧ photosynthesize-01(z54) ∧ :op2(z46, z55) ∧ bury-01(z55) ∧ :ARG1(z55, z56) ∧ organism(z56) ∧ :ARG1(z57, z56) ∧ die-01(z57) ∧ :ARG2(z55, z58) ∧ sediment(z58) ∧ :mod(z58, z59) ∧ seabed(z59) ∧ :time(z55, z60) ∧ then(z60) ∧ :ARG0(z61, z55) ∧ form-01(z61) ∧ :ARG1(z61, z62) ∧ shale(z62) ∧ :ARG1(z63, z62) ∧ enrich-01(z63) ∧ :ARG2(z63, z64) ∧ element(z64) ∧ :consist(z65, z64) ∧ carbon(z65) ∧ :snt5(z46, z66) ∧ form-01(z66) ∧ :ARG1(z66, z67) ∧ shale(z67) ∧ :ARG1(z68, z67) ∧ rich(z68) ∧ :topic(z68, z69) ∧ element(z69) ∧ :consist(z65, z69) ∧ :snt6(z46, z70) ∧ consequence-03(z70) ∧ :ARG1(z70, z71) ∧ this(z71) ∧ :ARG2(z70, z72) ∧ life(z72) ∧ :mod(z72, z73) ∧ marine(z73) ∧ :ARG1(z74, z70) ∧ important-01(z74) ∧ :degree(z74, z75) ∧ very(z75) ∧ :snt7(z46, z76) ∧ cause-01(z76) ∧ :ARG1(z76, z77) ∧ believe-01(z77) ∧ :ARG0(z77, z78) ∧ scientist(z78) ∧ :mod(z78, z79) ∧ some(z79) ∧ :ARG1(z77, z80) ∧ consequence-03(z80) ∧ :ARG1(z80, z81) ∧ this(z81) ∧ :ARG2(z80, z82) ∧ life(z82) ∧ :mod(z82, z83) ∧ marine(z83) ∧ :ARG1(z84, z80) ∧ important-01(z84) ∧ :degree(z84, z85) ∧ very(z85) ∧ :snt8(z46, z86) ∧ begin-01(z86) ∧ :ARG1(z86, z87) ∧ expand-01(z87) ∧ :ARG1(z87, z88) ∧ basin(z88) ∧ :mod(z88, z1000) ∧ ocean(z1000) ∧ :location(z88, z1001) ∧ around(z1001) ∧ :op1(z1001, z1002) ∧ and(z1002) ∧ :op1(z1002, z1003) ∧ continent(z1003) ∧ :wiki(z1003, "Africa") ∧ :name(z1003, z1004) ∧ name(z1004) ∧ :op1(z1004, "Africa") ∧ :op2(z1002, z1005) ∧ continent(z1005) ∧ :wiki(z1005, "South_America") ∧ :name(z1005, z1006) ∧ name(z1006) ∧ :op1(z1006, "South") ∧ :op2(z1006, "America") ∧ :op3(z1002, z1007) ∧ continent(z1007) ∧ :wiki(z1007, "Europe") ∧ :name(z1007, z1008) ∧ name(z1008) ∧ :op1(z1008, "Europe") ∧ :ARG0(z1009, z87) ∧ create-01(z1009) ∧ :ARG1(z1009, z1010) ∧ space(z1010) ∧ :ARG1(z1011, z1010) ∧ new-01(z1011) ∧ :time(z87, z1012) ∧ period(z1012) ∧ :time(z1013, z1012) ∧ activity-06(z1013) ∧ :ARG0(z1013, z1014) ∧ tectonic(z1014) ∧ :mod(z1014, z1015) ∧ earth(z1015) ∧ :ARG1(z1016, z1013) ∧ frequent-02(z1016) ∧ :snt9(z46, z1017) ∧ spring-01(z1017) ∧ :ARG1(z1017, z1018) ∧ shorten-04(z1018) ∧ :ARG1(z1018, z1019) ∧ and(z1019) ∧ :op1(z1019, z1020) ∧ temporal-quantity(z1020) ∧ :quant(z1020, 1) ∧ :unit(z1020, z89) ∧ year(z89) ∧ :op2(z1019, z90) ∧ temporal-quantity(z90) ∧ :quant(z90, 2) ∧ :unit(z90, z91) ∧ year(z91) ∧ :ARG2(z1017, z92) ∧ shorten-04(z92) ∧ :ARG1(z92, z96) ∧ seabed(z96) ∧ :snt10(z0, z93) ∧ and(z93) ∧ :op1(z93, z94) ∧ bury-01(z94) ∧ :ARG1(z94, z95) ∧ sediment(z95) ∧ :mod(z95, z96) ∧ :ARG2(z94, z97) ∧ bury-01(z97) ∧ :ARG1(z97, z98) ∧ organism(z98) ∧ :ARG1(z99, z98) ∧ die-01(z99) ∧ :time(z97, z100) ∧ then(z100) ∧ :op2(z93, z101) ∧ form-01(z101) ∧ :ARG1(z101, z102) ∧ shale(z102) ∧ :ARG1(z103, z102) ∧ rich(z103) ∧ :ARG2(z104, z103) ∧ enrich-01(z104) ∧ :ARG1(z104, z105) ∧ element(z105) ∧ :consist(z106, z105) ∧ carbon(z106) ∧ :snt11(z93, z107) ∧ and(z107) ∧ :op1(z107, z1021) ∧ reduce-01(z1021) ∧ :ARG1(z1021, z1022) ∧ effect-03(z1022) ∧ :ARG1(z1022, z1023) ∧ affect-01(z1023) ∧ :ARG1(z1023, z1024) ∧ greenhouse(z1024) ∧ :op2(z107, z1025) ∧ lower-05(z1025) ∧ :ARG1(z1025, z1026) ∧ temperature(z1026) ∧ :mod(z1026, z1027) ∧ globe(z1027) ∧ :snt12(z0, z1028) ∧ cause-01(z1028) ∧ :ARG1(z1028, z1029) ∧ believe-01(z1029) ∧ :ARG0(z1029, z1030) ∧ believe-01(z1030) ∧ :ARG0(z1030, z1031) ∧ scientist(z1031) ∧ :ARG1(z1030, z1032) ∧ possible-01(z1032) ∧ :ARG1(z1032, z1033) ∧ consequence-03(z1033) ∧ :ARG1(z1033, z1034) ∧ climate(z1034) ∧ :mod(z1034, z1035) ∧ globe(z1035)


Orientation refers to the perception of the spatial relationship, position and position of objects by animals or people. It is the result of various sensory coordination activities.

Question: According to this definition, which of the following does not belong to the orientation?

Choices:
- Dogs find food by smell.
- We can see that the sun is round and shiny.
- In the game of hide-and-seek, Xiao Ming was blindfolded. He could only tell where his friends were by their voices.
- Bees fly for miles to gather honey and return to their nests in the same direction.

(z0 / multi-sentence
    :snt1 (z1 / refer-01
              :ARG1 (z2 / orient-01)
              :ARG2 (z3 / perceive-01
                        :ARG2 (z4 / and
                                  :op1 (z5 / relation-03
                                           :ARG0 (z6 / or
                                                     :op1 (z7 / animal)
                                                     :op2 (z8 / person))
                                           :ARG1 (z9 / space))
                                  :op2 (z10 / position-01
                                            :ARG1 (z11 / object))
                                  :op3 (z12 / position-01
                                            :ARG1 z11)
                                  :op4 (z13 / position-01
                                            :ARG1 z11))))
    :snt2 (z14 / result-01
               :ARG1 (z15 / activity-06
                          :ARG1 (z16 / coordinate-01
                                     :ARG1 (z17 / sensory))
                          :mod (z18 / various))
               :ARG2 (z19 / Orient-01))
    :snt3 (z20 / result-01
               :ARG1 (z21 / act-02
                          :ARG1 (z22 / coordinate-01
                                     :ARG1 (z23 / sensory))
                          :mod (z24 / various))
               :ARG2 (z25 / go-01
                          :direction (z26 / out)
                          :direction (z27 / around)))
    :snt4 (z28 / refer-01
               :ARG1 (z29 / Orient-01)
               :ARG2 (z30 / see-01
                          :ARG1 (z31 / and
                                     :op1 (z32 / relation-03
                                               :ARG0 (z33 / or
                                                          :op1 (z34 / animal)
                                                          :op2 (z35 / person))
                                               :ARG1 (z36 / space))
                                     :op2 (z37 / position-01
                                               :ARG1 z33)
                                     :op3 (z38 / position-01
                                               :ARG1 z33)))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ refer-01(z1) ∧ :ARG1(z1, z2) ∧ orient-01(z2) ∧ :ARG2(z1, z3) ∧ perceive-01(z3) ∧ :ARG2(z3, z4) ∧ and(z4) ∧ :op1(z4, z5) ∧ relation-03(z5) ∧ :ARG0(z5, z6) ∧ or(z6) ∧ :op1(z6, z7) ∧ animal(z7) ∧ :op2(z6, z8) ∧ person(z8) ∧ :ARG1(z5, z9) ∧ space(z9) ∧ :op2(z4, z10) ∧ position-01(z10) ∧ :ARG1(z10, z11) ∧ object(z11) ∧ :op3(z4, z12) ∧ position-01(z12) ∧ :ARG1(z12, z11) ∧ :op4(z4, z13) ∧ position-01(z13) ∧ :ARG1(z13, z11) ∧ :snt2(z0, z14) ∧ result-01(z14) ∧ :ARG1(z14, z15) ∧ activity-06(z15) ∧ :ARG1(z15, z16) ∧ coordinate-01(z16) ∧ :ARG1(z16, z17) ∧ sensory(z17) ∧ :mod(z15, z18) ∧ various(z18) ∧ :ARG2(z14, z19) ∧ Orient-01(z19) ∧ :snt3(z0, z20) ∧ result-01(z20) ∧ :ARG1(z20, z21) ∧ act-02(z21) ∧ :ARG1(z21, z22) ∧ coordinate-01(z22) ∧ :ARG1(z22, z23) ∧ sensory(z23) ∧ :mod(z21, z24) ∧ various(z24) ∧ :ARG2(z20, z25) ∧ go-01(z25) ∧ :direction(z25, z26) ∧ out(z26) ∧ :direction(z25, z27) ∧ around(z27) ∧ :snt4(z0, z28) ∧ refer-01(z28) ∧ :ARG1(z28, z29) ∧ Orient-01(z29) ∧ :ARG2(z28, z30) ∧ see-01(z30) ∧ :ARG1(z30, z31) ∧ and(z31) ∧ :op1(z31, z32) ∧ relation-03(z32) ∧ :ARG0(z32, z33) ∧ or(z33) ∧ :op1(z33, z34) ∧ animal(z34) ∧ :op2(z33, z35) ∧ person(z35) ∧ :ARG1(z32, z36) ∧ space(z36) ∧ :op2(z31, z37) ∧ position-01(z37) ∧ :ARG1(z37, z33) ∧ :op3(z31, z38) ∧ position-01(z38) ∧ :ARG1(z38, z33)


If a manager is an excellent expert and scholar in a certain field, he will surely manage the basic affairs of the company; a well-behaved manager can be respected by his subordinates; but a person who knows nothing about all fields will definitely not get subordinates. respect. Haohan Company of directors will only remove those who have not managed the company's basic affairs well.

Question: Based on the above information, which of the following can be derived?

Choices:
- It is impossible for the board of directors of Haohan Company to dismiss a good-natured manager
- Haohan Company of directors relieved some managers from their positions
- It is impossible for Haohan Company  of directors to dismiss a manager who is respected by his subordinates
- As a manager of outstanding experts and scholars in a certain field, it is impossible to be dismissed from the board of directors of Haohan Company

(z0 / multi-sentence
    :snt1 (z1 / and
              :op1 (z2 / manage-01
                       :ARG0 (z3 / person
                                 :ARG0-of (z4 / manage-01))
                       :ARG1 (z5 / affair-02
                                 :ARG1 (z6 / company)
                                 :mod (z7 / basic))
                       :ARG1-of (z8 / sure-02)
                       :condition (z9 / and
                                      :op1 (z10 / expert-01
                                                :ARG1 z3
                                                :ARG2 (z11 / field
                                                           :mod (z12 / certain))
                                                :ARG1-of (z13 / excellent-02))
                                      :op2 (z14 / scholar
                                                :domain z3
                                                :topic z11)))
              :op2 (z15 / possible-01
                        :ARG1 (z16 / respect-01
                                   :ARG0 (z17 / person
                                              :ARG1-of (z18 / subordinate-01
                                                            :ARG2 z3)
                                              :ARG0-of (z19 / behave-01
                                                            :ARG1 (z20 / well-09)))
                                   :ARG1 z3)))
    :snt2 (z21 / contrast-01
               :ARG1 (z22 / possible-01
                          :ARG1 (z23 / respect-01
                                     :ARG0 (z24 / person
                                                :ARG0-of (z25 / have-rel-role-91
                                                              :ARG2 (z26 / subordinate)))
                                     :ARG1 (z27 / person
                                                :ARG0-of (z28 / manage-01))))
               :ARG2 (z29 / get-01
                          :polarity -
                          :ARG0 (z30 / person
                                     :ARG0-of (z31 / know-01
                                                   :ARG1 (z32 / nothing
                                                              :topic (z33 / field
                                                                          :mod (z34 / all)))))
                          :ARG1 (z35 / respect-01
                                     :ARG0 z24
                                     :ARG1 z30)
                          :mod (z36 / definite)))
    :snt3 (z37 / remove-01
               :ARG0 (z38 / organization
                          :wiki "Haohan_Corporation"
                          :name (z39 / name
                                     :op1 "Haohan"
                                     :op2 "Company"
                                     :op3 "of"
                                     :op4 "Directors"))
               :ARG1 (z40 / person
                          :mod (z41 / that)
                          :ARG0-of (z42 / manage-01
                                        :polarity -
                                        :ARG1 (z43 / affair-02
                                                   :ARG2 (z44 / basic)
                                                   :mod (z45 / company))
                                        :ARG1-of (z46 / well-09)))
               :mod (z47 / only))
    :snt4 (z48 / strawman-00
               :ARG0 (z49 / company
                          :wiki "Haohan_Corporation"
                          :name (z50 / name
                                     :op1 "Haohan"
                                     :op2 "Company"
                                     :op3 "of"
                                     :op4 "Directors"))
               :ARG1 (z51 / person
                          :mod (z52 / that)
                          :ARG0-of (z53 / manage-01
                                        :polarity -
                                        :ARG1 (z54 / affair-02
                                                   :ARG2 z44
                                                   :mod (z55 / basic))
                                        :ARG1-of (z56 / well-09))))
    :snt5 (z57 / respect-01
               :polarity -
               :ARG0 (z58 / person)
               :ARG1 (z59 / person
                          :ARG1-of (z60 / subordinate-01
                                        :ARG2 z58))
               :mod (z61 / definite)))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ and(z1) ∧ :op1(z1, z2) ∧ :condition(z2, z9) ∧ and(z9) ∧ :op1(z9, z10) ∧ expert-01(z10) ∧ :ARG1(z10, z3) ∧ :ARG2(z10, z11) ∧ field(z11) ∧ :mod(z11, z12) ∧ certain(z12) ∧ :ARG1(z13, z10) ∧ excellent-02(z13) ∧ :op2(z9, z14) ∧ scholar(z14) ∧ :domain(z14, z3) ∧ :topic(z14, z11) ∧ manage-01(z2) ∧ :ARG0(z2, z3) ∧ person(z3) ∧ :ARG0(z4, z3) ∧ manage-01(z4) ∧ :ARG1(z2, z5) ∧ affair-02(z5) ∧ :ARG1(z5, z6) ∧ company(z6) ∧ :mod(z5, z7) ∧ basic(z7) ∧ :ARG1(z8, z2) ∧ sure-02(z8) ∧ :op2(z1, z15) ∧ possible-01(z15) ∧ :ARG1(z15, z16) ∧ respect-01(z16) ∧ :ARG0(z16, z17) ∧ person(z17) ∧ :ARG1(z18, z17) ∧ subordinate-01(z18) ∧ :ARG2(z18, z3) ∧ :ARG0(z19, z17) ∧ behave-01(z19) ∧ :ARG1(z19, z20) ∧ well-09(z20) ∧ :ARG1(z16, z3) ∧ :snt2(z0, z21) ∧ contrast-01(z21) ∧ :ARG1(z21, z22) ∧ possible-01(z22) ∧ :ARG1(z22, z23) ∧ respect-01(z23) ∧ :ARG0(z23, z24) ∧ person(z24) ∧ :ARG0(z25, z24) ∧ have-rel-role-91(z25) ∧ :ARG2(z25, z26) ∧ subordinate(z26) ∧ :ARG1(z23, z27) ∧ person(z27) ∧ :ARG0(z28, z27) ∧ manage-01(z28) ∧ ¬(:ARG2(z21, z29) ∧ get-01(z29) ∧ :ARG0(z29, z30) ∧ person(z30) ∧ :ARG0(z31, z30) ∧ know-01(z31) ∧ :ARG1(z31, z32) ∧ nothing(z32) ∧ :topic(z32, z33) ∧ field(z33) ∧ :mod(z33, z34) ∧ all(z34) ∧ :ARG1(z29, z35) ∧ respect-01(z35) ∧ :ARG0(z35, z24) ∧ :ARG1(z35, z30) ∧ :mod(z29, z36) ∧ definite(z36)) ∧ :snt3(z0, z37) ∧ remove-01(z37) ∧ :ARG0(z37, z38) ∧ organization(z38) ∧ :wiki(z38, "Haohan_Corporation") ∧ :name(z38, z39) ∧ name(z39) ∧ :op1(z39, "Haohan") ∧ :op2(z39, "Company") ∧ :op3(z39, "of") ∧ :op4(z39, "Directors") ∧ :ARG1(z37, z40) ∧ person(z40) ∧ :mod(z40, z41) ∧ that(z41) ∧ ¬(:ARG0(z42, z40) ∧ manage-01(z42) ∧ :ARG1(z42, z43) ∧ affair-02(z43) ∧ :ARG2(z43, z44) ∧ basic(z44) ∧ :mod(z43, z45) ∧ company(z45) ∧ :ARG1(z46, z42) ∧ well-09(z46)) ∧ :mod(z37, z47) ∧ only(z47) ∧ :snt4(z0, z48) ∧ strawman-00(z48) ∧ :ARG0(z48, z49) ∧ company(z49) ∧ :wiki(z49, "Haohan_Corporation") ∧ :name(z49, z50) ∧ name(z50) ∧ :op1(z50, "Haohan") ∧ :op2(z50, "Company") ∧ :op3(z50, "of") ∧ :op4(z50, "Directors") ∧ :ARG1(z48, z51) ∧ person(z51) ∧ :mod(z51, z52) ∧ that(z52) ∧ ¬(:ARG0(z53, z51) ∧ manage-01(z53) ∧ :ARG1(z53, z54) ∧ affair-02(z54) ∧ :ARG2(z54, z44) ∧ :mod(z54, z55) ∧ basic(z55) ∧ :ARG1(z56, z53) ∧ well-09(z56)) ∧ ¬(:snt5(z0, z57) ∧ respect-01(z57) ∧ :ARG0(z57, z58) ∧ person(z58) ∧ :ARG1(z57, z59) ∧ person(z59) ∧ :ARG1(z60, z59) ∧ subordinate-01(z60) ∧ :ARG2(z60, z58) ∧ :mod(z57, z61) ∧ definite(z61))


Genuine happiness consists not in pleasurable feelings but instead in one' s sense of approval of one' s character and projects. Thus the happy life, in fact, tends to be the good life, where the good life is understood not -- as it usually is these days -- as a life of material well-being but rather as a morally virtuous life.

Question: Which one of the following is an assumption required by the argument?

Choices:
- A morally virtuous life requires the rejection of material well-being.
- People who approve of their own character and projects tend to lead morally virtuous lives.
- Attaining happiness is the real goal of people who strive for material well-being.
- Approval of one's own character and projects tends not to result in pleasurable feelings.

(z0 / multi-sentence
    :snt1 (z1 / consist-01
              :ARG1 (z2 / happiness
                        :ARG1-of (z3 / genuine-02))
              :ARG2 (z4 / contrast-01
                        :ARG1 (z5 / feel-01
                                  :polarity -
                                  :ARG1-of (z6 / pleasurable-02))
                        :ARG2 (z7 / sense-01
                                  :ARG0 (z8 / one)
                                  :ARG1 (z9 / approve-01
                                            :ARG0 z8
                                            :ARG1 (z10 / and
                                                       :op1 (z11 / character
                                                                 :poss z8)
                                                       :op2 (z12 / project
                                                                 :poss z8)))
                                  :ARG1-of (z13 / instead-of-91
                                                :ARG2 z5))))
    :snt2 (z14 / tend-02
               :ARG1 (z15 / life
                          :ARG1-of (z16 / happy-01))
               :ARG2 (z17 / life
                          :ARG1-of (z18 / good-02)
                          :location-of (z19 / understand-01
                                            :polarity -
                                            :ARG1 z15
                                            :ARG2 (z20 / life
                                                       :mod (z21 / well-09
                                                                 :mod (z22 / material)))
                                            :ARG1-of (z23 / instead-of-91
                                                          :ARG2 (z24 / life
                                                                     :mod (z25 / virtue
                                                                               :ARG1-of (z26 / moral-02))))
                                            :ARG1-of (z27 / resemble-01
                                                          :ARG2 (z28 / understand-01
                                                                     :ARG1 z15
                                                                     :ARG2 (z29 / life
                                                                                :mod (z30 / virtue
                                                                                :ARG1-of z26))
                                                                     :time (z31 / day
                                                                                :mod (z32 / this))
                                                                     :mod (z33 / usual)))))
               :mod (z34 / in-fact)
               :mod (z35 / thus))
    :snt3 (z36 / tend-01
               :ARG1 (z37 / live-01
                          :ARG1-of (z38 / happy-01))
               :ARG2 (z39 / life
                          :ARG1-of (z40 / good-02))
               :location (z41 / understand-01
                              :ARG1 z37
                              :ARG2 (z42 / life
                                         :mod (z43 / life
                                                   :mod (z44 / virtue
                                                             :ARG1-of (z45 / moral-02))))
                              :ARG1-of (z46 / contrast-01
                                            :ARG2 (z47 / understand-01
                                                       :ARG1 z37
                                                       :ARG2 (z48 / life
                                                                  :mod (z49 / life
                                                                            :mod (z50 / well-09
                                                                                :mod (z51 / material))))))))
    :ARG1 (z53 / everyone)
    :direction (z54 / out))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ consist-01(z1) ∧ :ARG1(z1, z2) ∧ happiness(z2) ∧ :ARG1(z3, z2) ∧ genuine-02(z3) ∧ ¬(:ARG2(z1, z4) ∧ contrast-01(z4) ∧ :ARG1(z4, z5) ∧ feel-01(z5) ∧ :ARG1(z6, z5) ∧ pleasurable-02(z6) ∧ :ARG2(z4, z7) ∧ sense-01(z7) ∧ :ARG0(z7, z8) ∧ one(z8) ∧ :ARG1(z7, z9) ∧ approve-01(z9) ∧ :ARG0(z9, z8) ∧ :ARG1(z9, z10) ∧ and(z10) ∧ :op1(z10, z11) ∧ character(z11) ∧ :poss(z11, z8) ∧ :op2(z10, z12) ∧ project(z12) ∧ :poss(z12, z8) ∧ :ARG1(z13, z7) ∧ instead-of-91(z13) ∧ :ARG2(z13, z5)) ∧ :snt2(z0, z14) ∧ tend-02(z14) ∧ :ARG1(z14, z15) ∧ life(z15) ∧ :ARG1(z16, z15) ∧ happy-01(z16) ∧ :ARG2(z14, z17) ∧ life(z17) ∧ :ARG1(z18, z17) ∧ good-02(z18) ∧ ¬(:location(z19, z17) ∧ understand-01(z19) ∧ :ARG1(z19, z15) ∧ :ARG2(z19, z20) ∧ life(z20) ∧ :mod(z20, z21) ∧ well-09(z21) ∧ :mod(z21, z22) ∧ material(z22) ∧ :ARG1(z23, z19) ∧ instead-of-91(z23) ∧ :ARG2(z23, z24) ∧ life(z24) ∧ :mod(z24, z25) ∧ virtue(z25) ∧ :ARG1(z26, z25) ∧ moral-02(z26) ∧ :ARG1(z27, z19) ∧ resemble-01(z27) ∧ :ARG2(z27, z28) ∧ understand-01(z28) ∧ :ARG1(z28, z15) ∧ :ARG2(z28, z29) ∧ life(z29) ∧ :mod(z29, z30) ∧ virtue(z30) ∧ :ARG1(z26, z30) ∧ :time(z28, z31) ∧ day(z31) ∧ :mod(z31, z32) ∧ this(z32) ∧ :mod(z28, z33) ∧ usual(z33)) ∧ :mod(z14, z34) ∧ in-fact(z34) ∧ :mod(z14, z35) ∧ thus(z35) ∧ :snt3(z0, z36) ∧ tend-01(z36) ∧ :ARG1(z36, z37) ∧ live-01(z37) ∧ :ARG1(z38, z37) ∧ happy-01(z38) ∧ :ARG2(z36, z39) ∧ life(z39) ∧ :ARG1(z40, z39) ∧ good-02(z40) ∧ :location(z36, z41) ∧ understand-01(z41) ∧ :ARG1(z41, z37) ∧ :ARG2(z41, z42) ∧ life(z42) ∧ :mod(z42, z43) ∧ life(z43) ∧ :mod(z43, z44) ∧ virtue(z44) ∧ :ARG1(z45, z44) ∧ moral-02(z45) ∧ :ARG1(z46, z41) ∧ contrast-01(z46) ∧ :ARG2(z46, z47) ∧ understand-01(z47) ∧ :ARG1(z47, z37) ∧ :ARG2(z47, z48) ∧ life(z48) ∧ :mod(z48, z49) ∧ life(z49) ∧ :mod(z49, z50) ∧ well-09(z50) ∧ :mod(z50, z51) ∧ material(z51) ∧ :ARG1(z0, z53) ∧ everyone(z53) ∧ :direction(z0, z54) ∧ out(z54)


Currently, the U. S. Highway Transportation Division is liable for any car accident that occurs because of a highway in need of physical upkeep or repairs. However, the U. S. highway system is so vast that it is impossible to hire a large enough road crew to locate and eliminate every potential danger in its highways. It is proposed that the Transportation Division should be liable for accidents on the highway only if they knew about the hazard beforehand and carelessly failed to manage it. Which one of the following describes any accidents for which the U. S.

Question: Highway Transportation Department is now liable, but should not be according to the proposed change cited above?

Choices:
- A person merging onto the highway is in an accident when he hits a car that was in his blind spot.
- A truck skids into the ditch after hitting a patch of black ice on a snowy winter day.
- An SUV is in a rollover accident on an extremely rutted stretch of highway, and the Transportation Department had been repeatedly informed of the need to repair this stretch for several years.
- A person who was not paying attention to road signs runs into the ditch when the highway curves sharply.

(z0 / multi-sentence
    :snt1 (z1 / liable-01
              :ARG1 (z2 / government-organization
                        :wiki "United_States_Highway_Transportation_Administration"
                        :name (z3 / name
                                  :op1 "U.S."
                                  :op2 "Highway"
                                  :op3 "Transportation"
                                  :op4 "Division"))
              :ARG2 (z4 / accident
                        :mod (z5 / car)
                        :mod (z6 / any)
                        :ARG1-of (z7 / cause-01
                                     :ARG0 (z8 / highway
                                               :ARG0-of (z9 / need-01
                                                            :ARG1 (z10 / or
                                                                       :op1 (z11 / maintain-01
                                                                                :ARG1 z8
                                                                                :manner (z12 / physical))
                                                                       :op2 (z13 / repair-01
                                                                                :ARG1 z8))))))
              :time (z14 / current))
    :snt2 (z15 / contrast-01
               :ARG2 (z16 / have-degree-91
                          :ARG1 (z17 / system
                                     :mod (z18 / highway)
                                     :poss (z19 / country
                                                :wiki "United_States"
                                                :name (z20 / name
                                                           :op1 "U.S.")))
                          :ARG2 (z21 / vast)
                          :ARG3 (z22 / so)
                          :ARG6 (z23 / possible-01
                                     :polarity -
                                     :ARG1 (z24 / hire-01
                                                :ARG1 (z25 / crew
                                                           :mod (z26 / road)
                                                           :ARG1-of (z27 / have-degree-91
                                                                         :ARG2 (z28 / large)
                                                                         :ARG3 (z29 / enough)
                                                                         :ARG6 (z30 / and
                                                                                :op1 (z31 / locate-01
                                                                                :ARG0 z25
                                                                                :ARG1 (z32 / danger
                                                                                :mod (z33 / every)
                                                                                :mod (z34 / potential)
                                                                                :location (z35 / highway
                                                                                :poss z19)))
                                                                                :op2 (z36 / eliminate-01
                                                                                :ARG0 z25
                                                                                :ARG1 z32)))
                                                           :ARG2 (z37 / road)))))
               :snt3 (z38 / propose-01
                          :ARG1 (z39 / recommend-01
                                     :ARG1 (z40 / liable-01
                                                :ARG1 (z41 / government-organization
                                                           :wiki "United_States_Department_of_Transportation"
                                                           :name (z42 / name
                                                                      :op1 "Transportation"
                                                                      :op2 "Division"))
                                                :ARG2 (z43 / accident
                                                           :location (z44 / highway))
                                                :condition (z45 / and
                                                                :op1 (z46 / know-01
                                                                          :ARG0 z41
                                                                          :ARG1 (z47 / danger
                                                                                :mod (z48 / every)
                                                                                :ARG1-of (z49 / possible-01))
                                                                          :time (z50 / beforehand))
                                                                :op2 (z51 / fail-01
                                                                          :ARG0 z41
                                                                          :ARG1 (z52 / manage-01
                                                                                :ARG0 z41
                                                                                :ARG1 z47)
                                                                          :ARG1-of (z53 / care-04
                                                                                :polarity -
                                                                                :ARG0 z41))
                                                                :mod (z54 / only)))))
               :snt4 (z55 / describe-01
                          :ARG0 (z56 / one
                                     :ARG1-of (z57 / include-91
                                                   :ARG2 (z58 / one
                                                              :ARG1-of (z59 / follow-01)))
                                     :mod (z60 / amr-unknown))
                          :ARG1 (z61 / accident
                                     :mod (z62 / any)
                                     :ARG2-of (z63 / go-03
                                                   :ARG0 (z64 / country
                                                              :wiki "United_States"
                                                              :name (z65 / name
                                                                         :op1 "U.S.")))))
               :snt5 (z66 / describe-01
                          :ARG0 (z67 / one
                                     :ARG1-of (z68 / include-91
                                                   :ARG2 (z69 / one
                                                              :ARG1-of (z70 / follow-01)))
                                     :mod (z71 / amr-unknown))
                          :ARG1 (z72 / accident
                                     :ARG1-of (z73 / go-03
                                                   :ARG0 (z74 / we))))
               :snt6 (z75 / contrast-01
                          :ARG2 (z76 / possible-01
                                     :polarity -
                                     :ARG1 (z77 / hire-01
                                                :ARG1 (z78 / crew
                                                           :mod (z79 / road)
                                                           :ARG1-of (z80 / have-degree-91
                                                                         :ARG2 (z81 / large)
                                                                         :ARG3 (z82 / enough)
                                                                         :ARG6 (z83 / hire-01
                                                                                :ARG1 z78)))
                                                :purpose (z84 / and
                                                              :op1 (z85 / locate-01
                                                                        :ARG0 z78
                                                                        :ARG1 (z86 / danger
                                                                                :mod (z87 / every)
                                                                                :location (z88 / highway
                                                                                :poss (z89 / country
                                                                                :wiki "United_States"
                                                                                :name (z90 / name
                                                                                :op1 "U.S."))))
                                                                        :op2 (z91 / eliminate-01
                                                                                :ARG0 z78
                                                                                :ARG1 z86)))))))
    :ARG0 (z93 / highway
               :ARG0-of (z94 / need-01
                             :ARG1 (z95 / maintain-01
                                        :ARG1 (z96 / or
                                                   :op1 (z97 / highway)
                                                   :op2 (z98 / repair-01
                                                             :ARG1 z96))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ liable-01(z1) ∧ :ARG1(z1, z2) ∧ government-organization(z2) ∧ :wiki(z2, "United_States_Highway_Transportation_Administration") ∧ :name(z2, z3) ∧ name(z3) ∧ :op1(z3, "U.S.") ∧ :op2(z3, "Highway") ∧ :op3(z3, "Transportation") ∧ :op4(z3, "Division") ∧ :ARG2(z1, z4) ∧ accident(z4) ∧ :mod(z4, z5) ∧ car(z5) ∧ :mod(z4, z6) ∧ any(z6) ∧ :ARG1(z7, z4) ∧ cause-01(z7) ∧ :ARG0(z7, z8) ∧ highway(z8) ∧ :ARG0(z9, z8) ∧ need-01(z9) ∧ :ARG1(z9, z10) ∧ or(z10) ∧ :op1(z10, z11) ∧ maintain-01(z11) ∧ :ARG1(z11, z8) ∧ :manner(z11, z12) ∧ physical(z12) ∧ :op2(z10, z13) ∧ repair-01(z13) ∧ :ARG1(z13, z8) ∧ :time(z1, z14) ∧ current(z14) ∧ :snt2(z0, z15) ∧ contrast-01(z15) ∧ :ARG2(z15, z16) ∧ have-degree-91(z16) ∧ :ARG1(z16, z17) ∧ system(z17) ∧ :mod(z17, z18) ∧ highway(z18) ∧ :poss(z17, z19) ∧ country(z19) ∧ :wiki(z19, "United_States") ∧ :name(z19, z20) ∧ name(z20) ∧ :op1(z20, "U.S.") ∧ :ARG2(z16, z21) ∧ vast(z21) ∧ :ARG3(z16, z22) ∧ so(z22) ∧ ¬(:ARG6(z16, z23) ∧ possible-01(z23) ∧ :ARG1(z23, z24) ∧ hire-01(z24) ∧ :ARG1(z24, z25) ∧ crew(z25) ∧ :mod(z25, z26) ∧ road(z26) ∧ :ARG1(z27, z25) ∧ have-degree-91(z27) ∧ :ARG2(z27, z28) ∧ large(z28) ∧ :ARG3(z27, z29) ∧ enough(z29) ∧ :ARG6(z27, z30) ∧ and(z30) ∧ :op1(z30, z31) ∧ locate-01(z31) ∧ :ARG0(z31, z25) ∧ :ARG1(z31, z32) ∧ danger(z32) ∧ :mod(z32, z33) ∧ every(z33) ∧ :mod(z32, z34) ∧ potential(z34) ∧ :location(z32, z35) ∧ highway(z35) ∧ :poss(z35, z19) ∧ :op2(z30, z36) ∧ eliminate-01(z36) ∧ :ARG0(z36, z25) ∧ :ARG1(z36, z32) ∧ :ARG2(z25, z37) ∧ road(z37)) ∧ :snt3(z15, z38) ∧ propose-01(z38) ∧ :ARG1(z38, z39) ∧ recommend-01(z39) ∧ :ARG1(z39, z40) ∧ :condition(z40, z45) ∧ and(z45) ∧ :op1(z45, z46) ∧ know-01(z46) ∧ :ARG0(z46, z41) ∧ :ARG1(z46, z47) ∧ danger(z47) ∧ :mod(z47, z48) ∧ every(z48) ∧ :ARG1(z49, z47) ∧ possible-01(z49) ∧ :time(z46, z50) ∧ beforehand(z50) ∧ :op2(z45, z51) ∧ fail-01(z51) ∧ :ARG0(z51, z41) ∧ :ARG1(z51, z52) ∧ manage-01(z52) ∧ :ARG0(z52, z41) ∧ :ARG1(z52, z47) ∧ ¬(:ARG1(z53, z51) ∧ care-04(z53) ∧ :ARG0(z53, z41)) ∧ :mod(z45, z54) ∧ only(z54) ∧ liable-01(z40) ∧ :ARG1(z40, z41) ∧ government-organization(z41) ∧ :wiki(z41, "United_States_Department_of_Transportation") ∧ :name(z41, z42) ∧ name(z42) ∧ :op1(z42, "Transportation") ∧ :op2(z42, "Division") ∧ :ARG2(z40, z43) ∧ accident(z43) ∧ :location(z43, z44) ∧ highway(z44) ∧ :snt4(z15, z55) ∧ describe-01(z55) ∧ :ARG0(z55, z56) ∧ one(z56) ∧ :ARG1(z57, z56) ∧ include-91(z57) ∧ :ARG2(z57, z58) ∧ one(z58) ∧ :ARG1(z59, z58) ∧ follow-01(z59) ∧ :mod(z56, z60) ∧ amr-unknown(z60) ∧ :ARG1(z55, z61) ∧ accident(z61) ∧ :mod(z61, z62) ∧ any(z62) ∧ :ARG2(z63, z61) ∧ go-03(z63) ∧ :ARG0(z63, z64) ∧ country(z64) ∧ :wiki(z64, "United_States") ∧ :name(z64, z65) ∧ name(z65) ∧ :op1(z65, "U.S.") ∧ :snt5(z15, z66) ∧ describe-01(z66) ∧ :ARG0(z66, z67) ∧ one(z67) ∧ :ARG1(z68, z67) ∧ include-91(z68) ∧ :ARG2(z68, z69) ∧ one(z69) ∧ :ARG1(z70, z69) ∧ follow-01(z70) ∧ :mod(z67, z71) ∧ amr-unknown(z71) ∧ :ARG1(z66, z72) ∧ accident(z72) ∧ :ARG1(z73, z72) ∧ go-03(z73) ∧ :ARG0(z73, z74) ∧ we(z74) ∧ :snt6(z15, z75) ∧ contrast-01(z75) ∧ ¬(:ARG2(z75, z76) ∧ possible-01(z76) ∧ :ARG1(z76, z77) ∧ hire-01(z77) ∧ :ARG1(z77, z78) ∧ crew(z78) ∧ :mod(z78, z79) ∧ road(z79) ∧ :ARG1(z80, z78) ∧ have-degree-91(z80) ∧ :ARG2(z80, z81) ∧ large(z81) ∧ :ARG3(z80, z82) ∧ enough(z82) ∧ :ARG6(z80, z83) ∧ hire-01(z83) ∧ :ARG1(z83, z78) ∧ :purpose(z77, z84) ∧ and(z84) ∧ :op1(z84, z85) ∧ locate-01(z85) ∧ :ARG0(z85, z78) ∧ :ARG1(z85, z86) ∧ danger(z86) ∧ :mod(z86, z87) ∧ every(z87) ∧ :location(z86, z88) ∧ highway(z88) ∧ :poss(z88, z89) ∧ country(z89) ∧ :wiki(z89, "United_States") ∧ :name(z89, z90) ∧ name(z90) ∧ :op1(z90, "U.S.") ∧ :op2(z85, z91) ∧ eliminate-01(z91) ∧ :ARG0(z91, z78) ∧ :ARG1(z91, z86)) ∧ :ARG0(z0, z93) ∧ highway(z93) ∧ :ARG0(z94, z93) ∧ need-01(z94) ∧ :ARG1(z94, z95) ∧ maintain-01(z95) ∧ :ARG1(z95, z96) ∧ or(z96) ∧ :op1(z96, z97) ∧ highway(z97) ∧ :op2(z96, z98) ∧ repair-01(z98) ∧ :ARG1(z98, z96)