Radial keratotomy (RK), a surgery that is designed to reshape the cornea so that light focuses correctly on the retina, is supposed to make eyeglasses or contact lenses that correct for nearsightedness unnecessary. Yet a study of patients who have undergone RK shows that some of them still need to wear glasses or contact lenses.

Question: Each of the following, if true, would help to resolve the apparent discrepancy in the information above EXCEPT:

Choices:
- The more severe a patient's nearsightedness, the less effective the corneal reshaping of RK will be in correcting the problem.
- RK patients who originally suffered from only mild nearsightedness may, if the cornea does not heal evenly, develop an astigmatism that requires corrective lenses.
- As the eye heals from an operation to correct nearsightedness, it may in fact overcorrect, causing the person to be farsighted.
- Those who choose to undergo RK tend to be as nearsighted before this operation as those who choose not to undergo RK.

(z0 / multi-sentence
    :snt1 (z1 / suppose-02
              :ARG1 (z2 / surgery-01
                        :ARG2 (z3 / procedure
                                  :wiki "Radial_keratotomy"
                                  :name (z4 / name
                                            :op1 "Radial"
                                            :op2 "Keratotomy"))
                        :ARG1-of (z5 / design-01
                                     :ARG3 (z6 / reshape-01
                                               :ARG0 z2
                                               :ARG1 (z7 / cornea)
                                               :purpose (z8 / focus-01
                                                            :ARG0 (z9 / light)
                                                            :ARG2 (z10 / retinal)
                                                            :ARG1-of (z11 / correct-02)))))
              :ARG2 (z12 / make-01
                         :ARG0 z2
                         :ARG1 (z13 / or
                                    :op1 (z14 / eyeglasses)
                                    :op2 (z15 / lens
                                              :ARG0-of (z16 / contact-01))
                                    :ARG0-of (z17 / correct-01
                                                  :ARG1 (z18 / see-01
                                                             :polarity -
                                                             :ARG1-of (z19 / near-02)))
                                    :ARG1-of (z20 / need-01
                                                  :polarity -))
                         :ARG3 z2))
    :snt2 (z21 / contrast-01
               :ARG2 (z22 / show-01
                          :ARG0 (z23 / study-01
                                     :ARG1 (z24 / patient
                                                :ARG0-of (z25 / undergo-28
                                                              :ARG2 (z26 / surgery-01
                                                                         :ARG2 (z27 / radial)))))
                          :ARG1 (z28 / need-01
                                     :ARG0 (z29 / person
                                                :ARG1-of (z30 / include-91
                                                              :ARG2 z24
                                                              :ARG3 (z31 / some)))
                                     :ARG1 (z32 / wear-01
                                                :ARG0 z29
                                                :ARG1 (z33 / or
                                                           :op1 (z34 / glasses)
                                                           :op2 (z35 / lens
                                                                     :ARG0-of (z36 / contact-01))))
                                     :mod (z37 / still))))
    :snt3 (z38 / have-concession-91
               :ARG1 (z39 / need-01
                          :polarity -
                          :ARG0 z29
                          :ARG1 (z40 / straw-00
                                     :ARG0 z29
                                     :ARG1 (z41 / glasses)))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ suppose-02(z1) ∧ :ARG1(z1, z2) ∧ surgery-01(z2) ∧ :ARG2(z2, z3) ∧ procedure(z3) ∧ :wiki(z3, "Radial_keratotomy") ∧ :name(z3, z4) ∧ name(z4) ∧ :op1(z4, "Radial") ∧ :op2(z4, "Keratotomy") ∧ :ARG1(z5, z2) ∧ design-01(z5) ∧ :ARG3(z5, z6) ∧ reshape-01(z6) ∧ :ARG0(z6, z2) ∧ :ARG1(z6, z7) ∧ cornea(z7) ∧ :purpose(z6, z8) ∧ focus-01(z8) ∧ :ARG0(z8, z9) ∧ light(z9) ∧ :ARG2(z8, z10) ∧ retinal(z10) ∧ :ARG1(z11, z8) ∧ correct-02(z11) ∧ :ARG2(z1, z12) ∧ make-01(z12) ∧ :ARG0(z12, z2) ∧ :ARG1(z12, z13) ∧ or(z13) ∧ :op1(z13, z14) ∧ eyeglasses(z14) ∧ :op2(z13, z15) ∧ lens(z15) ∧ :ARG0(z16, z15) ∧ contact-01(z16) ∧ :ARG0(z17, z13) ∧ correct-01(z17) ∧ ¬(:ARG1(z17, z18) ∧ see-01(z18) ∧ :ARG1(z19, z18) ∧ near-02(z19)) ∧ ¬(:ARG1(z20, z13) ∧ need-01(z20)) ∧ :ARG3(z12, z2) ∧ :snt2(z0, z21) ∧ contrast-01(z21) ∧ :ARG2(z21, z22) ∧ show-01(z22) ∧ :ARG0(z22, z23) ∧ study-01(z23) ∧ :ARG1(z23, z24) ∧ patient(z24) ∧ :ARG0(z25, z24) ∧ undergo-28(z25) ∧ :ARG2(z25, z26) ∧ surgery-01(z26) ∧ :ARG2(z26, z27) ∧ radial(z27) ∧ :ARG1(z22, z28) ∧ need-01(z28) ∧ :ARG0(z28, z29) ∧ person(z29) ∧ :ARG1(z30, z29) ∧ include-91(z30) ∧ :ARG2(z30, z24) ∧ :ARG3(z30, z31) ∧ some(z31) ∧ :ARG1(z28, z32) ∧ wear-01(z32) ∧ :ARG0(z32, z29) ∧ :ARG1(z32, z33) ∧ or(z33) ∧ :op1(z33, z34) ∧ glasses(z34) ∧ :op2(z33, z35) ∧ lens(z35) ∧ :ARG0(z36, z35) ∧ contact-01(z36) ∧ :mod(z28, z37) ∧ still(z37) ∧ :snt3(z0, z38) ∧ have-concession-91(z38) ∧ ¬(:ARG1(z38, z39) ∧ need-01(z39) ∧ :ARG0(z39, z29) ∧ :ARG1(z39, z40) ∧ straw-00(z40) ∧ :ARG0(z40, z29) ∧ :ARG1(z40, z41) ∧ glasses(z41))


British scientists claim that they have found an alternative to the Global Positioning System (GPS) without resorting to any space technology. Studies have found that lasers can confine and cool atoms placed in vacuum, reducing the temperature to above absolute zero. One millionth of a degree. At this temperature, atoms are extremely sensitive to changes in the Earth's magnetic and gravity fields. Researchers can use these results to confine atoms on a small device, study their fluctuations, and locate them Movement, and accurately find out where they are. At this time, the tracking and positioning work will be completed by a device that is only 1 meter long. The key is how to make it a miniature device so that it can be installed on a smartphone. middle.

Question: What does this text mainly introduce?

Choices:
- Innovation of smartphone apps.
- New uses of lasers in technological innovation.
- Application of the new positioning system in the frontier field.
- The principle of using atoms for positioning.

(z0 / multi-sentence
    :snt1 (z1 / claim-01
              :ARG0 (z2 / person
                        :mod (z3 / country
                                 :wiki "United_Kingdom"
                                 :name (z4 / name
                                           :op1 "Britain"))
                        :ARG0-of (z5 / have-org-role-91
                                     :ARG2 (z6 / scientist)))
              :ARG1 (z7 / find-01
                        :ARG0 z2
                        :ARG1 (z8 / alternative
                                  :ARG1-of (z9 / instead-of-91
                                               :ARG2 (z10 / product
                                                          :wiki "Global_Positioning_System"
                                                          :name (z11 / name
                                                                     :op1 "Global"
                                                                     :op2 "Positioning"
                                                                     :op3 "System"))))
                        :manner (z12 / resort-01
                                     :polarity -
                                     :ARG0 z2
                                     :ARG1 (z13 / technology
                                                :mod (z14 / space)
                                                :mod (z15 / any)))))
    :snt2 (z16 / possible-01
               :ARG1 (z17 / use-01
                          :ARG0 (z18 / person
                                     :ARG0-of (z19 / research-01))
                          :ARG1 (z20 / thing
                                     :ARG2-of (z21 / result-01)
                                     :mod (z22 / this))
                          :ARG2 (z23 / and
                                     :op1 (z24 / confine-01
                                               :ARG0 z18
                                               :ARG1 (z25 / atom)
                                               :ARG2 (z26 / device
                                                          :mod (z27 / small)))
                                     :op2 (z28 / study-01
                                               :ARG0 z18
                                               :ARG1 (z29 / fluctuate-01
                                                          :ARG1 z25))
                                     :op3 (z30 / locate-02
                                               :ARG0 z18
                                               :ARG1 z25)
                                     :op4 (z31 / locate-02
                                               :ARG0 z18
                                               :ARG1 z25)
                                     :op5 (z32 / find-out-03
                                               :ARG0 z18
                                               :ARG1 (z33 / be-located-at-91
                                                          :ARG1 z25)
                                               :manner (z34 / accurate)))))
    :snt3 (z35 / find-01
               :ARG0 (z36 / study-01)
               :ARG1 (z37 / possible-01
                          :ARG1 (z38 / and
                                     :op1 (z39 / confine-01
                                               :ARG0 (z40 / laser)
                                               :ARG1 (z41 / atom
                                                          :ARG1-of (z42 / cool-03)
                                                          :ARG1-of (z43 / place-01
                                                                        :ARG2 (z44 / vacuum))))
                                     :op2 (z45 / reduce-01
                                               :ARG0 z40
                                               :ARG1 (z46 / temperature)
                                               :ARG4 (z47 / above
                                                          :op1 (z48 / temperature-quantity
                                                                    :quant 1000000
                                                                    :scale (z49 / celsius)
                                                                    :mod (z50 / absolute)))))))
    :snt4 (z51 / sensitive-03
               :ARG0 (z52 / atom)
               :ARG1 (z53 / change-01
                          :ARG1 (z54 / field
                                     :mod (z55 / and
                                               :op1 (z56 / magnet)
                                               :op2 (z57 / gravity)
                                               :poss (z58 / planet
                                                          :wiki "Earth"
                                                          :name (z59 / name
                                                                     :op1 "Earth")))))
               :degree (z60 / extreme)
               :condition (z61 / temperature
                               :mod (z62 / this)))
    :snt5 (z63 / complete-01
               :ARG0 (z64 / device
                          :ARG1-of (z65 / long-03
                                        :ARG2 (z66 / distance-quantity
                                                   :quant 1
                                                   :unit (z67 / meter)
                                                   :mod (z68 / only))))
               :ARG1 (z69 / work-01
                          :ARG1 (z70 / and
                                     :op1 (z71 / track-01)
                                     :op2 (z72 / position-01)))
               :time (z73 / this))
    :snt6 (z74 / key-02
               :ARG1 (z75 / thing
                          :manner-of (z76 / make-01
                                          :ARG1 (z77 / device
                                                     :mod (z78 / miniature)
                                                     :domain (z79 / it))
                                          :purpose (z80 / possible-01
                                                        :ARG1 (z81 / install-01
                                                                   :ARG1 z39
                                                                   :ARG2 (z82 / smartphone))))))
    :snt7 (z83 / say-01
               :ARG0 (z84 / person
                          :wiki -
                          :name (z85 / name
                                     :op1 "Middle."
                                     :op2 "West"))
               :ARG1 (z86 / find-01
                          :ARG0 (z87 / scientist)
                          :ARG1 (z88 / alternative
                                     :domain (z89 / name
                                                  :op1 "Global"
                                                  :op2 "Positioning"
                                                  :op3 "System"
                                                  :op4 "(G3000 / GPS")))
               :manner (z90 / resort-01
                            :polarity -
                            :ARG1 (z91 / technology
                                       :mod (z92 / space)
                                       :mod (z1000 / any)))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ claim-01(z1) ∧ :ARG0(z1, z2) ∧ person(z2) ∧ :mod(z2, z3) ∧ country(z3) ∧ :wiki(z3, "United_Kingdom") ∧ :name(z3, z4) ∧ name(z4) ∧ :op1(z4, "Britain") ∧ :ARG0(z5, z2) ∧ have-org-role-91(z5) ∧ :ARG2(z5, z6) ∧ scientist(z6) ∧ :ARG1(z1, z7) ∧ find-01(z7) ∧ :ARG0(z7, z2) ∧ :ARG1(z7, z8) ∧ alternative(z8) ∧ :ARG1(z9, z8) ∧ instead-of-91(z9) ∧ :ARG2(z9, z10) ∧ product(z10) ∧ :wiki(z10, "Global_Positioning_System") ∧ :name(z10, z11) ∧ name(z11) ∧ :op1(z11, "Global") ∧ :op2(z11, "Positioning") ∧ :op3(z11, "System") ∧ ¬(:manner(z7, z12) ∧ resort-01(z12) ∧ :ARG0(z12, z2) ∧ :ARG1(z12, z13) ∧ technology(z13) ∧ :mod(z13, z14) ∧ space(z14) ∧ :mod(z13, z15) ∧ any(z15)) ∧ :snt2(z0, z16) ∧ possible-01(z16) ∧ :ARG1(z16, z17) ∧ use-01(z17) ∧ :ARG0(z17, z18) ∧ person(z18) ∧ :ARG0(z19, z18) ∧ research-01(z19) ∧ :ARG1(z17, z20) ∧ thing(z20) ∧ :ARG2(z21, z20) ∧ result-01(z21) ∧ :mod(z20, z22) ∧ this(z22) ∧ :ARG2(z17, z23) ∧ and(z23) ∧ :op1(z23, z24) ∧ confine-01(z24) ∧ :ARG0(z24, z18) ∧ :ARG1(z24, z25) ∧ atom(z25) ∧ :ARG2(z24, z26) ∧ device(z26) ∧ :mod(z26, z27) ∧ small(z27) ∧ :op2(z23, z28) ∧ study-01(z28) ∧ :ARG0(z28, z18) ∧ :ARG1(z28, z29) ∧ fluctuate-01(z29) ∧ :ARG1(z29, z25) ∧ :op3(z23, z30) ∧ locate-02(z30) ∧ :ARG0(z30, z18) ∧ :ARG1(z30, z25) ∧ :op4(z23, z31) ∧ locate-02(z31) ∧ :ARG0(z31, z18) ∧ :ARG1(z31, z25) ∧ :op5(z23, z32) ∧ find-out-03(z32) ∧ :ARG0(z32, z18) ∧ :ARG1(z32, z33) ∧ be-located-at-91(z33) ∧ :ARG1(z33, z25) ∧ :manner(z32, z34) ∧ accurate(z34) ∧ :snt3(z0, z35) ∧ find-01(z35) ∧ :ARG0(z35, z36) ∧ study-01(z36) ∧ :ARG1(z35, z37) ∧ possible-01(z37) ∧ :ARG1(z37, z38) ∧ and(z38) ∧ :op1(z38, z39) ∧ confine-01(z39) ∧ :ARG0(z39, z40) ∧ laser(z40) ∧ :ARG1(z39, z41) ∧ atom(z41) ∧ :ARG1(z42, z41) ∧ cool-03(z42) ∧ :ARG1(z43, z41) ∧ place-01(z43) ∧ :ARG2(z43, z44) ∧ vacuum(z44) ∧ :op2(z38, z45) ∧ reduce-01(z45) ∧ :ARG0(z45, z40) ∧ :ARG1(z45, z46) ∧ temperature(z46) ∧ :ARG4(z45, z47) ∧ above(z47) ∧ :op1(z47, z48) ∧ temperature-quantity(z48) ∧ :quant(z48, 1000000) ∧ :scale(z48, z49) ∧ celsius(z49) ∧ :mod(z48, z50) ∧ absolute(z50) ∧ :snt4(z0, z51) ∧ :condition(z51, z61) ∧ temperature(z61) ∧ :mod(z61, z62) ∧ this(z62) ∧ sensitive-03(z51) ∧ :ARG0(z51, z52) ∧ atom(z52) ∧ :ARG1(z51, z53) ∧ change-01(z53) ∧ :ARG1(z53, z54) ∧ field(z54) ∧ :mod(z54, z55) ∧ and(z55) ∧ :op1(z55, z56) ∧ magnet(z56) ∧ :op2(z55, z57) ∧ gravity(z57) ∧ :poss(z55, z58) ∧ planet(z58) ∧ :wiki(z58, "Earth") ∧ :name(z58, z59) ∧ name(z59) ∧ :op1(z59, "Earth") ∧ :degree(z51, z60) ∧ extreme(z60) ∧ :snt5(z0, z63) ∧ complete-01(z63) ∧ :ARG0(z63, z64) ∧ device(z64) ∧ :ARG1(z65, z64) ∧ long-03(z65) ∧ :ARG2(z65, z66) ∧ distance-quantity(z66) ∧ :quant(z66, 1) ∧ :unit(z66, z67) ∧ meter(z67) ∧ :mod(z66, z68) ∧ only(z68) ∧ :ARG1(z63, z69) ∧ work-01(z69) ∧ :ARG1(z69, z70) ∧ and(z70) ∧ :op1(z70, z71) ∧ track-01(z71) ∧ :op2(z70, z72) ∧ position-01(z72) ∧ :time(z63, z73) ∧ this(z73) ∧ :snt6(z0, z74) ∧ key-02(z74) ∧ :ARG1(z74, z75) ∧ thing(z75) ∧ :manner(z76, z75) ∧ make-01(z76) ∧ :ARG1(z76, z77) ∧ device(z77) ∧ :mod(z77, z78) ∧ miniature(z78) ∧ :domain(z77, z79) ∧ it(z79) ∧ :purpose(z76, z80) ∧ possible-01(z80) ∧ :ARG1(z80, z81) ∧ install-01(z81) ∧ :ARG1(z81, z39) ∧ :ARG2(z81, z82) ∧ smartphone(z82) ∧ :snt7(z0, z83) ∧ say-01(z83) ∧ :ARG0(z83, z84) ∧ person(z84) ∧ :wiki(z84, -) ∧ :name(z84, z85) ∧ name(z85) ∧ :op1(z85, "Middle.") ∧ :op2(z85, "West") ∧ :ARG1(z83, z86) ∧ find-01(z86) ∧ :ARG0(z86, z87) ∧ scientist(z87) ∧ :ARG1(z86, z88) ∧ alternative(z88) ∧ :domain(z88, z89) ∧ name(z89) ∧ :op1(z89, "Global") ∧ :op2(z89, "Positioning") ∧ :op3(z89, "System") ∧ :op4(z89, "(G3000 / GPS") ∧ ¬(:manner(z83, z90) ∧ resort-01(z90) ∧ :ARG1(z90, z91) ∧ technology(z91) ∧ :mod(z91, z92) ∧ space(z92) ∧ :mod(z91, z1000) ∧ any(z1000))


Some airlines allegedly reduce fares on certain routes to a level at which they lose money, in order to drive competitors off those routes. However, this method of eliminating competition cannot be profitable in the long run. Once an airline successfully implements this method, any attempt to recoup the earlier losses by charging high fares on that route for an extended period would only provide competitors with a better opportunity to undercut the airline' s fares.

Question: Which of the following, if true, most seriously weakens the argument?

Choices:
- Airline executives generally believe that a company that once underpriced its fares to drive away competitors is very likely to do so again if new competitors emerge.
- On deciding to stop serving particular routes, most airlines shift resources to other routes rather than reduce the size of their operations.
- In some countries it is not illegal for a company to drive away competitors by selling a product below cost.
- When airlines dramatically reduce their fares on a particular route, the total number of air passengers on that route increases greatly.

(z0 / multi-sentence
    :snt1 (z1 / reduce-01
              :ARG0 (z2 / airline
                        :quant (z3 / some))
              :ARG1 (z4 / fare
                        :location (z5 / route
                                      :mod (z6 / certain)))
              :ARG4 (z7 / level
                        :degree-of (z8 / lose-02
                                       :ARG0 z2
                                       :ARG1 (z9 / money)))
              :ARG1-of (z10 / allege-01)
              :purpose (z11 / drive-02
                            :ARG0 z2
                            :ARG1 (z12 / person
                                       :ARG0-of (z13 / compete-02))
                            :ARG2 (z14 / off
                                       :op1 z5)))
    :snt2 (z15 / contrast-01
               :ARG2 (z16 / possible-01
                          :polarity -
                          :ARG1 (z17 / profitable-02
                                     :ARG1 (z18 / method
                                                :mod (z19 / this)
                                                :instrument-of (z20 / eliminate-01
                                                                    :ARG1 (z21 / compete-01)))
                                     :time (z22 / run-13
                                                :ARG1-of (z23 / long-03)))))
    :snt3 (z24 / provide-01
               :ARG0 (z25 / attempt-01
                          :ARG1 (z26 / recoup-01
                                     :ARG1 (z27 / lose-02
                                                :time (z28 / before
                                                           :op1 (z29 / now)))
                                     :manner (z30 / charge-01
                                                  :ARG1 (z31 / fare
                                                             :ARG1-of (z32 / high-02))
                                                  :ARG2 (z33 / route
                                                             :mod (z34 / that))
                                                  :duration (z35 / period
                                                                 :ARG1-of (z36 / extend-01))))
                          :mod (z37 / any))
               :ARG1 (z38 / opportunity
                          :purpose (z39 / undercut-01
                                        :ARG0 z12
                                        :ARG1 (z40 / fare
                                                   :poss (z41 / airline)))
                          :ARG1-of (z42 / have-degree-91
                                        :ARG2 (z43 / good-02
                                                   :ARG1 z38)
                                        :ARG3 (z44 / more)))
               :ARG2 z12
               :mod (z45 / only)
               :time (z46 / implement-01
                          :ARG0 (z47 / airline)
                          :ARG1 z18
                          :ARG1-of (z48 / succeed-01
                                        :ARG0 z47)))
    :snt4 (z49 / provide-01
               :ARG0 (z50 / attempt-01
                          :ARG1 (z51 / recoup-01
                                     :ARG1 (z52 / lose-02
                                                :time (z53 / before
                                                           :op1 (z54 / now)))
                                     :manner (z55 / charge-01
                                                  :ARG1 (z56 / fare
                                                             :ARG1-of (z57 / high-02))
                                                  :ARG2 (z58 / route
                                                             :mod (z59 / that))
                                                  :duration (z60 / period
                                                                 :ARG1-of (z61 / extend-01))))
                          :mod (z62 / any))
               :ARG1 (z63 / opportunity
                          :purpose (z64 / undercut-01
                                        :ARG0 z12
                                        :ARG1 (z65 / fare
                                                   :poss (z66 / airline)))
                          :ARG1-of (z67 / have-degree-91
                                        :ARG2 (z68 / good-02
                                                   :ARG1 z63)
                                        :ARG3 (z69 / more)))
               :ARG2 (z70 / person
                          :ARG0-of (z71 / compete-02))
               :mod (z72 / only))
    :snt5 (z73 / have-concession-91
               :ARG1 (z74 / possible-01
                          :polarity -
                          :ARG1 (z75 / profitable-02
                                     :ARG1 (z76 / method
                                                :mod (z77 / this)
                                                :instrument-of (z78 / eliminate-01
                                                                    :ARG1 (z79 / compete-01)))
                                     :time (z80 / run-13
                                                :ARG1-of (z81 / long-03)))))
    :snt6 (z82 / go-02
               :ARG0 (z83 / i)
               :ARG1 (z84 / go-02
                          :ARG0 (z85 / and
                                     :op1 (z86 / airline
                                               :quant (z87 / some))
                                     :op2 (z88 / airline
                                               :mod (z89 / some)))
                          :ARG4 (z90 / level
                                     :degree-of (z91 / lose-02
                                                     :ARG0 z85
                                                     :ARG1 (z92 / money)))
                          :purpose (z93 / drive-02
                                        :ARG0 z85
                                        :ARG1 (z94 / person
                                                   :ARG0-of (z95 / compete-02)
                                                   :ARG2 (z96 / off
                                                              :op1 (z97 / route
                                                                        :mod (z98 / that)))))))
    :snt7 (z99 / say-01
               :ARG0 (z100 / i)
               :ARG1 (z101 / reduce-01
                           :ARG0 (z102 / airline)
                           :ARG1 (z103 / fare
                                       :location (z104 / route
                                                       :mod (z105 / certain)))
                           :ARG4 (z106 / level
                                       :degree-of (z1000 / lose-02
                                                         :ARG0 z85
                                                         :ARG1 (z1001 / money))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ reduce-01(z1) ∧ :ARG0(z1, z2) ∧ airline(z2) ∧ :quant(z2, z3) ∧ some(z3) ∧ :ARG1(z1, z4) ∧ fare(z4) ∧ :location(z4, z5) ∧ route(z5) ∧ :mod(z5, z6) ∧ certain(z6) ∧ :ARG4(z1, z7) ∧ level(z7) ∧ :degree(z8, z7) ∧ lose-02(z8) ∧ :ARG0(z8, z2) ∧ :ARG1(z8, z9) ∧ money(z9) ∧ :ARG1(z10, z1) ∧ allege-01(z10) ∧ :purpose(z1, z11) ∧ drive-02(z11) ∧ :ARG0(z11, z2) ∧ :ARG1(z11, z12) ∧ person(z12) ∧ :ARG0(z13, z12) ∧ compete-02(z13) ∧ :ARG2(z11, z14) ∧ off(z14) ∧ :op1(z14, z5) ∧ :snt2(z0, z15) ∧ contrast-01(z15) ∧ ¬(:ARG2(z15, z16) ∧ possible-01(z16) ∧ :ARG1(z16, z17) ∧ profitable-02(z17) ∧ :ARG1(z17, z18) ∧ method(z18) ∧ :mod(z18, z19) ∧ this(z19) ∧ :instrument(z20, z18) ∧ eliminate-01(z20) ∧ :ARG1(z20, z21) ∧ compete-01(z21) ∧ :time(z17, z22) ∧ run-13(z22) ∧ :ARG1(z23, z22) ∧ long-03(z23)) ∧ :snt3(z0, z24) ∧ provide-01(z24) ∧ :ARG0(z24, z25) ∧ attempt-01(z25) ∧ :ARG1(z25, z26) ∧ recoup-01(z26) ∧ :ARG1(z26, z27) ∧ lose-02(z27) ∧ :time(z27, z28) ∧ before(z28) ∧ :op1(z28, z29) ∧ now(z29) ∧ :manner(z26, z30) ∧ charge-01(z30) ∧ :ARG1(z30, z31) ∧ fare(z31) ∧ :ARG1(z32, z31) ∧ high-02(z32) ∧ :ARG2(z30, z33) ∧ route(z33) ∧ :mod(z33, z34) ∧ that(z34) ∧ :duration(z30, z35) ∧ period(z35) ∧ :ARG1(z36, z35) ∧ extend-01(z36) ∧ :mod(z25, z37) ∧ any(z37) ∧ :ARG1(z24, z38) ∧ opportunity(z38) ∧ :purpose(z38, z39) ∧ undercut-01(z39) ∧ :ARG0(z39, z12) ∧ :ARG1(z39, z40) ∧ fare(z40) ∧ :poss(z40, z41) ∧ airline(z41) ∧ :ARG1(z42, z38) ∧ have-degree-91(z42) ∧ :ARG2(z42, z43) ∧ good-02(z43) ∧ :ARG1(z43, z38) ∧ :ARG3(z42, z44) ∧ more(z44) ∧ :ARG2(z24, z12) ∧ :mod(z24, z45) ∧ only(z45) ∧ :time(z24, z46) ∧ implement-01(z46) ∧ :ARG0(z46, z47) ∧ airline(z47) ∧ :ARG1(z46, z18) ∧ :ARG1(z48, z46) ∧ succeed-01(z48) ∧ :ARG0(z48, z47) ∧ :snt4(z0, z49) ∧ provide-01(z49) ∧ :ARG0(z49, z50) ∧ attempt-01(z50) ∧ :ARG1(z50, z51) ∧ recoup-01(z51) ∧ :ARG1(z51, z52) ∧ lose-02(z52) ∧ :time(z52, z53) ∧ before(z53) ∧ :op1(z53, z54) ∧ now(z54) ∧ :manner(z51, z55) ∧ charge-01(z55) ∧ :ARG1(z55, z56) ∧ fare(z56) ∧ :ARG1(z57, z56) ∧ high-02(z57) ∧ :ARG2(z55, z58) ∧ route(z58) ∧ :mod(z58, z59) ∧ that(z59) ∧ :duration(z55, z60) ∧ period(z60) ∧ :ARG1(z61, z60) ∧ extend-01(z61) ∧ :mod(z50, z62) ∧ any(z62) ∧ :ARG1(z49, z63) ∧ opportunity(z63) ∧ :purpose(z63, z64) ∧ undercut-01(z64) ∧ :ARG0(z64, z12) ∧ :ARG1(z64, z65) ∧ fare(z65) ∧ :poss(z65, z66) ∧ airline(z66) ∧ :ARG1(z67, z63) ∧ have-degree-91(z67) ∧ :ARG2(z67, z68) ∧ good-02(z68) ∧ :ARG1(z68, z63) ∧ :ARG3(z67, z69) ∧ more(z69) ∧ :ARG2(z49, z70) ∧ person(z70) ∧ :ARG0(z71, z70) ∧ compete-02(z71) ∧ :mod(z49, z72) ∧ only(z72) ∧ :snt5(z0, z73) ∧ have-concession-91(z73) ∧ ¬(:ARG1(z73, z74) ∧ possible-01(z74) ∧ :ARG1(z74, z75) ∧ profitable-02(z75) ∧ :ARG1(z75, z76) ∧ method(z76) ∧ :mod(z76, z77) ∧ this(z77) ∧ :instrument(z78, z76) ∧ eliminate-01(z78) ∧ :ARG1(z78, z79) ∧ compete-01(z79) ∧ :time(z75, z80) ∧ run-13(z80) ∧ :ARG1(z81, z80) ∧ long-03(z81)) ∧ :snt6(z0, z82) ∧ go-02(z82) ∧ :ARG0(z82, z83) ∧ i(z83) ∧ :ARG1(z82, z84) ∧ go-02(z84) ∧ :ARG0(z84, z85) ∧ and(z85) ∧ :op1(z85, z86) ∧ airline(z86) ∧ :quant(z86, z87) ∧ some(z87) ∧ :op2(z85, z88) ∧ airline(z88) ∧ :mod(z88, z89) ∧ some(z89) ∧ :ARG4(z84, z90) ∧ level(z90) ∧ :degree(z91, z90) ∧ lose-02(z91) ∧ :ARG0(z91, z85) ∧ :ARG1(z91, z92) ∧ money(z92) ∧ :purpose(z84, z93) ∧ drive-02(z93) ∧ :ARG0(z93, z85) ∧ :ARG1(z93, z94) ∧ person(z94) ∧ :ARG0(z95, z94) ∧ compete-02(z95) ∧ :ARG2(z94, z96) ∧ off(z96) ∧ :op1(z96, z97) ∧ route(z97) ∧ :mod(z97, z98) ∧ that(z98) ∧ :snt7(z0, z99) ∧ say-01(z99) ∧ :ARG0(z99, z100) ∧ i(z100) ∧ :ARG1(z99, z101) ∧ reduce-01(z101) ∧ :ARG0(z101, z102) ∧ airline(z102) ∧ :ARG1(z101, z103) ∧ fare(z103) ∧ :location(z103, z104) ∧ route(z104) ∧ :mod(z104, z105) ∧ certain(z105) ∧ :ARG4(z101, z106) ∧ level(z106) ∧ :degree(z1000, z106) ∧ lose-02(z1000) ∧ :ARG0(z1000, z85) ∧ :ARG1(z1000, z1001) ∧ money(z1001)


The immersed tunnel of the Hong Kong-Zhuhai-Macao Bridge is the first deep-water immersed tunnel in the world in the history of the World Island Tunnel Project, which is of epoch-making significance. The design life of the bridge's main structure is as long as 120 years, which means that for more than a century, the core structure of the bridge body, especially the 6.7-kilometer-long immersed tunnel, cannot have the slightest quality problem. The tunnels of the bridge are connected by 33 sections of immersed tubes, each of which is equivalent to a fully loaded Liaoning aircraft carrier. Such a huge immersed tube also has to ensure the strict error limit of less than 0.5 mm, which makes it impossible to have the slightest error in the transportation process. Therefore, engineers specially built a prefabrication factory for immersed pipe sections in Niutou Island, Guishan, not far from the bridge, and used the most advanced assembly line for production.

Question: Regarding the Zhuhai-Hong Kong-Macao Bridge, which of the followings is the main statement of this article?

Choices:
- Design criteria for the main structure
- Strict control of quality during construction
- Measures to ensure the quality of the core structure
- Significance in the history of bridges in the world

(z0 / multi-sentence
    :snt1 (z1 / tunnel
              :ARG1-of (z2 / submerge-01)
              :domain (z3 / tunnel
                          :poss (z4 / bridge
                                    :wiki "Hong_Kong–Zhuhai–Macao_Bridge"
                                    :name (z5 / name
                                              :op1 "Hong"
                                              :op2 "Kong-Zhuhai-Macao"
                                              :op3 "Bridge")))
              :location (z6 / world)
              :ord (z7 / ordinal-entity
                       :value 1)
              :mod (z8 / water
                       :ARG1-of (z9 / deep-02))
              :time (z10 / history
                         :mod (z11 / project
                                   :wiki "World_Island_Tunnel"
                                   :name (z12 / name
                                              :op1 "World"
                                              :op2 "Island"
                                              :op3 "Tunnel"
                                              :op4 "Project")))
              :ARG1-of (z13 / significant-02
                            :ARG2 (z14 / make-01
                                       :ARG1 (z15 / epoch))))
    :snt2 (z16 / long-03
               :ARG1 (z17 / life
                          :mod (z18 / design)
                          :poss (z19 / structure
                                     :mod (z20 / main)
                                     :part-of (z21 / bridge)))
               :ARG2 (z22 / temporal-quantity
                          :quant 120
                          :unit (z23 / year))
               :ARG1-of (z24 / mean-01
                             :ARG2 (z25 / possible-01
                                        :polarity -
                                        :ARG1 (z26 / have-03
                                                   :ARG0 (z27 / and
                                                              :op1 (z28 / structure
                                                                        :mod (z29 / core)
                                                                        :part-of (z30 / body
                                                                                :part-of z21))
                                                              :op2 (z31 / tunnel
                                                                        :ARG1-of (z32 / long-03
                                                                                :ARG2 (z33 / distance-quantity
                                                                                :quant "6.7"
                                                                                :unit (z34 / kilometer)))
                                                                        :mod (z35 / especially)))
                                                   :ARG1 (z36 / problem
                                                              :topic (z37 / quality)
                                                              :ARG1-of (z38 / have-degree-91
                                                                            :ARG2 (z39 / slight)
                                                                            :ARG3 (z40 / most))))
                                        :duration (z41 / more-than
                                                       :op1 (z42 / temporal-quantity
                                                                 :quant 1
                                                                 :unit (z43 / century))))))
    :snt3 (z44 / cause-01
               :ARG1 (z45 / and
                          :op1 (z46 / build-01
                                    :ARG0 (z47 / person
                                               :ARG0-of (z48 / engineer-01))
                                    :ARG1 (z49 / factory
                                               :purpose (z50 / prefabricate-01))
                                    :manner (z51 / special-02)
                                    :beneficiary (z52 / section
                                                      :part-of (z53 / pipe
                                                                    :ARG1-of (z54 / submerge-01))
                                                      :location (z55 / city
                                                                     :wiki "Niutou"
                                                                     :name (z56 / name
                                                                                :op1 "Niutou")
                                                                     :location (z57 / province
                                                                                :wiki "Guishan"
                                                                                :name (z58 / name
                                                                                :op1 "Guishan"))
                                                                     :location (z59 / relative-position
                                                                                :op1 z21
                                                                                :quant (z60 / far
                                                                                :polarity -))))
                                    :op2 (z61 / use-01
                                              :ARG0 z47
                                              :ARG1 (z62 / line
                                                         :purpose (z63 / assemble-01)
                                                         :ARG1-of (z64 / have-degree-91
                                                                       :ARG2 (z65 / advanced-02
                                                                                :ARG1 z62)
                                                                       :ARG3 (z66 / most)))
                                              :ARG2 (z67 / produce-01))))
               :snt4 (z68 / connect-01
                          :ARG0 (z69 / tunnel
                                     :poss (z70 / bridge))
                          :ARG1 (z71 / tube
                                     :quant 33
                                     :mod (z72 / each)
                                     :ARG1-of (z73 / equal-01
                                                   :ARG2 (z74 / carrier
                                                              :ARG1-of (z75 / load-01
                                                                            :degree (z76 / full))
                                                              :mod (z77 / province
                                                                        :wiki "Liaoning"
                                                                        :name (z78 / name
                                                                                :op1 "Liaoning"))))))
               :snt5 (z79 / obligate-01
                          :ARG1 (z80 / tube
                                     :ARG1-of (z81 / submerge-01)
                                     :mod (z82 / huge)
                                     :mod (z83 / such))
                          :ARG2 (z84 / ensure-01
                                     :ARG0 z80
                                     :ARG1 (z85 / limit
                                                :mod (z86 / error)
                                                :mod (z87 / strict)
                                                :quant (z88 / less-than
                                                            :op1 (z89 / distance-quantity
                                                                      :quant "0.5"
                                                                      :unit (z90 / millimeter))))
                                     :ARG0-of (z91 / make-02
                                                   :ARG1 (z92 / possible-01
                                                              :polarity -
                                                              :ARG1 (z93 / err-01
                                                                         :ARG1 (z1000 / process-02
                                                                                :ARG1 (z1001 / transport-01))
                                                                         :ARG1-of (z1002 / have-degree-91
                                                                                :ARG2 (z1003 / slight)
                                                                                :ARG3 (z1004 / most))))))
                          :mod (z1005 / also)))
    :snt6 (z1006 / cause-01
                 :ARG1 (z1007 / and
                              :op1 (z1008 / build-01
                                          :ARG0 (z1009 / person
                                                       :ARG0-of (z1010 / engineer-01))
                                          :ARG1 (z1011 / factory
                                                       :purpose (z1012 / prefabricate-00))
                                          :manner (z1013 / special-02)
                                          :location (z1014 / city
                                                           :wiki "Niutou_Island"
                                                           :name (z1015 / name
                                                                        :op1 "Niutou")
                                                           :location (z1016 / province
                                                                            :wiki "Guishan"
                                                                            :name (z1017 / name
                                                                                :op1 "Guishan")))))
                 :snt7 (z1018 / connect-01
                              :ARG1 (z1019 / tunnel
                                           :poss (z94 / bridge))
                              :ARG2 (z95 / section
                                         :quant 33
                                         :mod (z96 / tube
                                                   :ARG1-of (z97 / submerge-01))
                                         :ARG1-of (z1020 / equal-01
                                                         :ARG2 (z1021 / volume-quantity
                                                                      :quant 1
                                                                      :unit (z1022 / inch)))))
                 :snt8 (z1023 / connect-01
                              :ARG1 (z1024 / tunnel
                                           :poss (z1025 / bridge))
                              :ARG2 (z1026 / tunnel
                                           :ARG1-of (z98 / submerge-01)))
                 :snt9 (z99 / connect-01
                            :ARG1 (z100 / tunnel
                                        :ARG1-of (z101 / submerge-01))
                            :ARG2-of (z102 / include-91
                                           :ARG1 (z103 / tunnel
                                                       :ARG1-of (z104 / deep-02)))))
    :snt10 (z1027 / tunnel
                  :ARG1-of (z1028 / submerge-01)
                  :location (z105 / city
                                  :wiki "Zhuhai"
                                  :name (z106 / name
                                              :op1 "Zhuhai")))
    :snt11 (z1029 / tunnel
                  :ARG1-of (z1030 / submerge-01)
                  :ARG1-of (z1031 / include-91
                                  :ARG2 (z1032 / city
                                               :wiki "Zhuhai"
                                               :name (z1033 / name
                                                            :op1 "Zhuhai")))
                  :snt12 (z1034 / name
                                :op1 "Zhuhai"))
    :prep-to (z107 / name
                   :op1 "Zhuhai")
    :prep-to (z1035 / name
                    :op1 "Zhuhai")
    :prep-for (z2000 / thing))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ tunnel(z1) ∧ :ARG1(z2, z1) ∧ submerge-01(z2) ∧ :domain(z1, z3) ∧ tunnel(z3) ∧ :poss(z3, z4) ∧ bridge(z4) ∧ :wiki(z4, "Hong_Kong–Zhuhai–Macao_Bridge") ∧ :name(z4, z5) ∧ name(z5) ∧ :op1(z5, "Hong") ∧ :op2(z5, "Kong-Zhuhai-Macao") ∧ :op3(z5, "Bridge") ∧ :location(z1, z6) ∧ world(z6) ∧ :ord(z1, z7) ∧ ordinal-entity(z7) ∧ :value(z7, 1) ∧ :mod(z1, z8) ∧ water(z8) ∧ :ARG1(z9, z8) ∧ deep-02(z9) ∧ :time(z1, z10) ∧ history(z10) ∧ :mod(z10, z11) ∧ project(z11) ∧ :wiki(z11, "World_Island_Tunnel") ∧ :name(z11, z12) ∧ name(z12) ∧ :op1(z12, "World") ∧ :op2(z12, "Island") ∧ :op3(z12, "Tunnel") ∧ :op4(z12, "Project") ∧ :ARG1(z13, z1) ∧ significant-02(z13) ∧ :ARG2(z13, z14) ∧ make-01(z14) ∧ :ARG1(z14, z15) ∧ epoch(z15) ∧ :snt2(z0, z16) ∧ long-03(z16) ∧ :ARG1(z16, z17) ∧ life(z17) ∧ :mod(z17, z18) ∧ design(z18) ∧ :poss(z17, z19) ∧ structure(z19) ∧ :mod(z19, z20) ∧ main(z20) ∧ :part(z21, z19) ∧ bridge(z21) ∧ :ARG2(z16, z22) ∧ temporal-quantity(z22) ∧ :quant(z22, 120) ∧ :unit(z22, z23) ∧ year(z23) ∧ :ARG1(z24, z16) ∧ mean-01(z24) ∧ ¬(:ARG2(z24, z25) ∧ possible-01(z25) ∧ :ARG1(z25, z26) ∧ have-03(z26) ∧ :ARG0(z26, z27) ∧ and(z27) ∧ :op1(z27, z28) ∧ structure(z28) ∧ :mod(z28, z29) ∧ core(z29) ∧ :part(z30, z28) ∧ body(z30) ∧ :part(z21, z30) ∧ :op2(z27, z31) ∧ tunnel(z31) ∧ :ARG1(z32, z31) ∧ long-03(z32) ∧ :ARG2(z32, z33) ∧ distance-quantity(z33) ∧ :quant(z33, "6.7") ∧ :unit(z33, z34) ∧ kilometer(z34) ∧ :mod(z31, z35) ∧ especially(z35) ∧ :ARG1(z26, z36) ∧ problem(z36) ∧ :topic(z36, z37) ∧ quality(z37) ∧ :ARG1(z38, z36) ∧ have-degree-91(z38) ∧ :ARG2(z38, z39) ∧ slight(z39) ∧ :ARG3(z38, z40) ∧ most(z40) ∧ :duration(z25, z41) ∧ more-than(z41) ∧ :op1(z41, z42) ∧ temporal-quantity(z42) ∧ :quant(z42, 1) ∧ :unit(z42, z43) ∧ century(z43)) ∧ :snt3(z0, z44) ∧ cause-01(z44) ∧ :ARG1(z44, z45) ∧ and(z45) ∧ :op1(z45, z46) ∧ build-01(z46) ∧ :ARG0(z46, z47) ∧ person(z47) ∧ :ARG0(z48, z47) ∧ engineer-01(z48) ∧ :ARG1(z46, z49) ∧ factory(z49) ∧ :purpose(z49, z50) ∧ prefabricate-01(z50) ∧ :manner(z46, z51) ∧ special-02(z51) ∧ :beneficiary(z46, z52) ∧ section(z52) ∧ :part(z53, z52) ∧ pipe(z53) ∧ :ARG1(z54, z53) ∧ submerge-01(z54) ∧ :location(z52, z55) ∧ city(z55) ∧ :wiki(z55, "Niutou") ∧ :name(z55, z56) ∧ name(z56) ∧ :op1(z56, "Niutou") ∧ :location(z55, z57) ∧ province(z57) ∧ :wiki(z57, "Guishan") ∧ :name(z57, z58) ∧ name(z58) ∧ :op1(z58, "Guishan") ∧ :location(z55, z59) ∧ relative-position(z59) ∧ :op1(z59, z21) ∧ ¬(:quant(z59, z60) ∧ far(z60)) ∧ :op2(z46, z61) ∧ use-01(z61) ∧ :ARG0(z61, z47) ∧ :ARG1(z61, z62) ∧ line(z62) ∧ :purpose(z62, z63) ∧ assemble-01(z63) ∧ :ARG1(z64, z62) ∧ have-degree-91(z64) ∧ :ARG2(z64, z65) ∧ advanced-02(z65) ∧ :ARG1(z65, z62) ∧ :ARG3(z64, z66) ∧ most(z66) ∧ :ARG2(z61, z67) ∧ produce-01(z67) ∧ :snt4(z44, z68) ∧ connect-01(z68) ∧ :ARG0(z68, z69) ∧ tunnel(z69) ∧ :poss(z69, z70) ∧ bridge(z70) ∧ :ARG1(z68, z71) ∧ tube(z71) ∧ :quant(z71, 33) ∧ :mod(z71, z72) ∧ each(z72) ∧ :ARG1(z73, z71) ∧ equal-01(z73) ∧ :ARG2(z73, z74) ∧ carrier(z74) ∧ :ARG1(z75, z74) ∧ load-01(z75) ∧ :degree(z75, z76) ∧ full(z76) ∧ :mod(z74, z77) ∧ province(z77) ∧ :wiki(z77, "Liaoning") ∧ :name(z77, z78) ∧ name(z78) ∧ :op1(z78, "Liaoning") ∧ :snt5(z44, z79) ∧ obligate-01(z79) ∧ :ARG1(z79, z80) ∧ tube(z80) ∧ :ARG1(z81, z80) ∧ submerge-01(z81) ∧ :mod(z80, z82) ∧ huge(z82) ∧ :mod(z80, z83) ∧ such(z83) ∧ :ARG2(z79, z84) ∧ ensure-01(z84) ∧ :ARG0(z84, z80) ∧ :ARG1(z84, z85) ∧ limit(z85) ∧ :mod(z85, z86) ∧ error(z86) ∧ :mod(z85, z87) ∧ strict(z87) ∧ :quant(z85, z88) ∧ less-than(z88) ∧ :op1(z88, z89) ∧ distance-quantity(z89) ∧ :quant(z89, "0.5") ∧ :unit(z89, z90) ∧ millimeter(z90) ∧ :ARG0(z91, z84) ∧ make-02(z91) ∧ ¬(:ARG1(z91, z92) ∧ possible-01(z92) ∧ :ARG1(z92, z93) ∧ err-01(z93) ∧ :ARG1(z93, z1000) ∧ process-02(z1000) ∧ :ARG1(z1000, z1001) ∧ transport-01(z1001) ∧ :ARG1(z1002, z93) ∧ have-degree-91(z1002) ∧ :ARG2(z1002, z1003) ∧ slight(z1003) ∧ :ARG3(z1002, z1004) ∧ most(z1004)) ∧ :mod(z79, z1005) ∧ also(z1005) ∧ :snt6(z0, z1006) ∧ cause-01(z1006) ∧ :ARG1(z1006, z1007) ∧ and(z1007) ∧ :op1(z1007, z1008) ∧ build-01(z1008) ∧ :ARG0(z1008, z1009) ∧ person(z1009) ∧ :ARG0(z1010, z1009) ∧ engineer-01(z1010) ∧ :ARG1(z1008, z1011) ∧ factory(z1011) ∧ :purpose(z1011, z1012) ∧ prefabricate-00(z1012) ∧ :manner(z1008, z1013) ∧ special-02(z1013) ∧ :location(z1008, z1014) ∧ city(z1014) ∧ :wiki(z1014, "Niutou_Island") ∧ :name(z1014, z1015) ∧ name(z1015) ∧ :op1(z1015, "Niutou") ∧ :location(z1014, z1016) ∧ province(z1016) ∧ :wiki(z1016, "Guishan") ∧ :name(z1016, z1017) ∧ name(z1017) ∧ :op1(z1017, "Guishan") ∧ :snt7(z1006, z1018) ∧ connect-01(z1018) ∧ :ARG1(z1018, z1019) ∧ tunnel(z1019) ∧ :poss(z1019, z94) ∧ bridge(z94) ∧ :ARG2(z1018, z95) ∧ section(z95) ∧ :quant(z95, 33) ∧ :mod(z95, z96) ∧ tube(z96) ∧ :ARG1(z97, z96) ∧ submerge-01(z97) ∧ :ARG1(z1020, z95) ∧ equal-01(z1020) ∧ :ARG2(z1020, z1021) ∧ volume-quantity(z1021) ∧ :quant(z1021, 1) ∧ :unit(z1021, z1022) ∧ inch(z1022) ∧ :snt8(z1006, z1023) ∧ connect-01(z1023) ∧ :ARG1(z1023, z1024) ∧ tunnel(z1024) ∧ :poss(z1024, z1025) ∧ bridge(z1025) ∧ :ARG2(z1023, z1026) ∧ tunnel(z1026) ∧ :ARG1(z98, z1026) ∧ submerge-01(z98) ∧ :snt9(z1006, z99) ∧ connect-01(z99) ∧ :ARG1(z99, z100) ∧ tunnel(z100) ∧ :ARG1(z101, z100) ∧ submerge-01(z101) ∧ :ARG2(z102, z99) ∧ include-91(z102) ∧ :ARG1(z102, z103) ∧ tunnel(z103) ∧ :ARG1(z104, z103) ∧ deep-02(z104) ∧ :snt10(z0, z1027) ∧ tunnel(z1027) ∧ :ARG1(z1028, z1027) ∧ submerge-01(z1028) ∧ :location(z1027, z105) ∧ city(z105) ∧ :wiki(z105, "Zhuhai") ∧ :name(z105, z106) ∧ name(z106) ∧ :op1(z106, "Zhuhai") ∧ :snt11(z0, z1029) ∧ tunnel(z1029) ∧ :ARG1(z1030, z1029) ∧ submerge-01(z1030) ∧ :ARG1(z1031, z1029) ∧ include-91(z1031) ∧ :ARG2(z1031, z1032) ∧ city(z1032) ∧ :wiki(z1032, "Zhuhai") ∧ :name(z1032, z1033) ∧ name(z1033) ∧ :op1(z1033, "Zhuhai") ∧ :snt12(z1029, z1034) ∧ name(z1034) ∧ :op1(z1034, "Zhuhai") ∧ :prep-to(z0, z107) ∧ name(z107) ∧ :op1(z107, "Zhuhai") ∧ :prep-to(z0, z1035) ∧ name(z1035) ∧ :op1(z1035, "Zhuhai") ∧ :prep-for(z0, z2000) ∧ thing(z2000)


All Anxi people are vegetarians, while all Zhenyuan people are ascetics. Ascetics and vegetarians are irreconcilable. And Guo Zhi is an asceticist.

Question: It can be seen that which of the following is correct?

Choices:
- Guo Zhi  is a native of Zhenyuan
- Guo Shu is not from Zhenyuan
- Guo Zhu is from Anxi
- Guo Shu is not from Anxi

(z0 / multi-sentence
    :snt1 (z1 / contrast-01
              :ARG1 (z2 / vegetarian
                        :domain (z3 / person
                                    :mod (z4 / province
                                             :wiki "Anxi_Autonomous_Prefecture"
                                             :name (z5 / name
                                                       :op1 "Anxi"))
                                    :mod (z6 / all)))
              :ARG2 (z7 / ascetic
                        :domain (z8 / person
                                    :mod (z9 / province
                                             :wiki "Zhejiang"
                                             :name (z10 / name
                                                        :op1 "Zhenyuan"))
                                    :mod (z11 / all))))
    :snt2 (z12 / possible-01
               :polarity -
               :ARG1 (z13 / reconcile-01
                          :ARG1 (z14 / ascetic)
                          :ARG2 (z15 / vegetarian)))
    :snt3 (z16 / and
               :op2 (z17 / ascetic
                         :domain (z18 / person
                                      :wiki -
                                      :name (z19 / name
                                                 :op1 "Guo"
                                                 :op2 "Zhi"))))
    :snt4 (z20 / go-01
               :ARG1 (z21 / person
                          :ARG0-of (z22 / ascetic-00))
               :direction (z23 / out)
               :manner (z24 / blow-01)))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ contrast-01(z1) ∧ :ARG1(z1, z2) ∧ vegetarian(z2) ∧ :domain(z2, z3) ∧ person(z3) ∧ :mod(z3, z4) ∧ province(z4) ∧ :wiki(z4, "Anxi_Autonomous_Prefecture") ∧ :name(z4, z5) ∧ name(z5) ∧ :op1(z5, "Anxi") ∧ :mod(z3, z6) ∧ all(z6) ∧ :ARG2(z1, z7) ∧ ascetic(z7) ∧ :domain(z7, z8) ∧ person(z8) ∧ :mod(z8, z9) ∧ province(z9) ∧ :wiki(z9, "Zhejiang") ∧ :name(z9, z10) ∧ name(z10) ∧ :op1(z10, "Zhenyuan") ∧ :mod(z8, z11) ∧ all(z11) ∧ ¬(:snt2(z0, z12) ∧ possible-01(z12) ∧ :ARG1(z12, z13) ∧ reconcile-01(z13) ∧ :ARG1(z13, z14) ∧ ascetic(z14) ∧ :ARG2(z13, z15) ∧ vegetarian(z15)) ∧ :snt3(z0, z16) ∧ and(z16) ∧ :op2(z16, z17) ∧ ascetic(z17) ∧ :domain(z17, z18) ∧ person(z18) ∧ :wiki(z18, -) ∧ :name(z18, z19) ∧ name(z19) ∧ :op1(z19, "Guo") ∧ :op2(z19, "Zhi") ∧ :snt4(z0, z20) ∧ go-01(z20) ∧ :ARG1(z20, z21) ∧ person(z21) ∧ :ARG0(z22, z21) ∧ ascetic-00(z22) ∧ :direction(z20, z23) ∧ out(z23) ∧ :manner(z20, z24) ∧ blow-01(z24)


Irritability refers to the response of organisms to external stimuli. It is not only a measure of seeking advantages and avoiding disadvantages, but also one of the fundamental characteristics of organisms.

Question: Which of the following is the irritability?

Choices:
- After the firecrackers were lit, they exploded and went up in smoke.
- The water rippled after stones were thrown into the lake.
- Retract your hand when it touches a burning candle.
- Nails will rust when they are placed in a moist environment.

(z0 / multi-sentence
    :snt1 (z1 / refer-01
              :ARG1 (z2 / ritability)
              :ARG2 (z3 / respond-01
                        :ARG0 (z4 / organism)
                        :ARG1 (z5 / stimulus
                                  :mod (z6 / external))
                        :ARG2 z2))
    :snt2 (z7 / measure-01
              :ARG0 (z8 / it)
              :ARG1 (z9 / and
                        :op1 (z10 / seek-01
                                  :ARG1 (z11 / advantage-01))
                        :op2 (z12 / avoid-01
                                  :ARG1 (z13 / advantage-01
                                             :polarity -)))
              :mod (z14 / only
                        :polarity -))
    :snt3 (z15 / include-91
               :ARG1 (z16 / it)
               :ARG2 (z17 / thing
                          :ARG1-of (z18 / include-91
                                        :ARG2 (z19 / thing
                                                   :ARG2-of (z20 / characteristic-02
                                                                 :ARG1 (z21 / organism)
                                                                 :mod (z22 / fundamental)))))
               :mod (z23 / also))
    :snt4 (z24 / refer-01
               :ARG1 (z25 / irritate-01)
               :ARG2 (z26 / respond-01
                          :ARG0 (z27 / organism)
                          :ARG1 (z28 / stimulus
                                     :mod (z29 / external))
                          :ARG2 z25))
    :snt5 (z30 / age-01
               :ARG2 (z31 / temporal-quantity
                          :quant 1
                          :unit (z32 / year))
               :direction (z33 / out)))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ refer-01(z1) ∧ :ARG1(z1, z2) ∧ ritability(z2) ∧ :ARG2(z1, z3) ∧ respond-01(z3) ∧ :ARG0(z3, z4) ∧ organism(z4) ∧ :ARG1(z3, z5) ∧ stimulus(z5) ∧ :mod(z5, z6) ∧ external(z6) ∧ :ARG2(z3, z2) ∧ :snt2(z0, z7) ∧ measure-01(z7) ∧ :ARG0(z7, z8) ∧ it(z8) ∧ :ARG1(z7, z9) ∧ and(z9) ∧ :op1(z9, z10) ∧ seek-01(z10) ∧ :ARG1(z10, z11) ∧ advantage-01(z11) ∧ :op2(z9, z12) ∧ avoid-01(z12) ∧ ¬(:ARG1(z12, z13) ∧ advantage-01(z13)) ∧ ¬(:mod(z7, z14) ∧ only(z14)) ∧ :snt3(z0, z15) ∧ include-91(z15) ∧ :ARG1(z15, z16) ∧ it(z16) ∧ :ARG2(z15, z17) ∧ thing(z17) ∧ :ARG1(z18, z17) ∧ include-91(z18) ∧ :ARG2(z18, z19) ∧ thing(z19) ∧ :ARG2(z20, z19) ∧ characteristic-02(z20) ∧ :ARG1(z20, z21) ∧ organism(z21) ∧ :mod(z20, z22) ∧ fundamental(z22) ∧ :mod(z15, z23) ∧ also(z23) ∧ :snt4(z0, z24) ∧ refer-01(z24) ∧ :ARG1(z24, z25) ∧ irritate-01(z25) ∧ :ARG2(z24, z26) ∧ respond-01(z26) ∧ :ARG0(z26, z27) ∧ organism(z27) ∧ :ARG1(z26, z28) ∧ stimulus(z28) ∧ :mod(z28, z29) ∧ external(z29) ∧ :ARG2(z26, z25) ∧ :snt5(z0, z30) ∧ age-01(z30) ∧ :ARG2(z30, z31) ∧ temporal-quantity(z31) ∧ :quant(z31, 1) ∧ :unit(z31, z32) ∧ year(z32) ∧ :direction(z30, z33) ∧ out(z33)


Philosopher: I think, so I exist. If I don't exist, then I don't think. If I think, then life means illusory.

Question: If life does not mean illusory is added to the above argument, which of the followings can the philosopher come to?

Choices:
- I exist
- I don't exist
- I think
- I don't think

(z0 / multi-sentence
    :snt1 (z1 / say-01
              :ARG0 (z2 / person
                        :ARG0-of (z3 / philosophize-01))
              :ARG1 (z4 / think-01
                        :ARG0 z2
                        :ARG0-of (z5 / cause-01
                                     :ARG1 (z6 / exist-01
                                               :ARG1 z2))))
    :snt2 (z7 / think-01
              :polarity -
              :ARG0 (z8 / i)
              :condition (z9 / exist-01
                             :polarity -
                             :ARG1 z8))
    :snt3 (z10 / mean-01
               :ARG1 (z11 / life)
               :ARG2 (z12 / illusory)
               :condition (z13 / think-01
                               :ARG0 z8))
    :snt4 (z14 / go-01
               :ARG1 (z15 / straw)
               :direction (z16 / out)
               :condition (z17 / exist-01
                               :polarity -
                               :ARG1 z8))
    :snt5 (z18 / mean-01
               :ARG1 (z19 / life)
               :ARG2 (z20 / illusory)
               :condition (z21 / think-01
                               :ARG0 z8)))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ say-01(z1) ∧ :ARG0(z1, z2) ∧ person(z2) ∧ :ARG0(z3, z2) ∧ philosophize-01(z3) ∧ :ARG1(z1, z4) ∧ think-01(z4) ∧ :ARG0(z4, z2) ∧ :ARG0(z5, z4) ∧ cause-01(z5) ∧ :ARG1(z5, z6) ∧ exist-01(z6) ∧ :ARG1(z6, z2) ∧ ¬(:snt2(z0, z7) ∧ ¬(:condition(z7, z9) ∧ exist-01(z9) ∧ :ARG1(z9, z8)) ∧ think-01(z7) ∧ :ARG0(z7, z8) ∧ i(z8)) ∧ :snt3(z0, z10) ∧ :condition(z10, z13) ∧ think-01(z13) ∧ :ARG0(z13, z8) ∧ mean-01(z10) ∧ :ARG1(z10, z11) ∧ life(z11) ∧ :ARG2(z10, z12) ∧ illusory(z12) ∧ :snt4(z0, z14) ∧ ¬(:condition(z14, z17) ∧ exist-01(z17) ∧ :ARG1(z17, z8)) ∧ go-01(z14) ∧ :ARG1(z14, z15) ∧ straw(z15) ∧ :direction(z14, z16) ∧ out(z16) ∧ :snt5(z0, z18) ∧ :condition(z18, z21) ∧ think-01(z21) ∧ :ARG0(z21, z8) ∧ mean-01(z18) ∧ :ARG1(z18, z19) ∧ life(z19) ∧ :ARG2(z18, z20) ∧ illusory(z20)


Since the beginning of winter, haze, which contains a large number of toxic particles, has frequently attacked some areas of our country. Surveys show that continuous exposure to high concentrations of pollutants can cause 10% to 15% of people to suffer from chronic eye inflammation and xerophthalmia. Some experts believe that if urgent measures are not taken to improve air quality, the incidence of these diseases and related complications will increase.

Question: Which of the following, if true, best supports the opinions of the above-mentioned experts?

Choices:
- Toxic particles can irritate and damage people's eyes, and long-term contact will affect lacrimal gland cells
- The improvement of air quality cannot be achieved in a short period of time, and many people have to work in a polluted environment
- Cases of chronic eye inflammation and xerophthalmia are usually concentrated in the pollen season
- 65% of the above surveyed patients with eye diseases are men between the ages of 20 and 40

(z0 / multi-sentence
    :snt1 (z1 / attack-01
              :ARG0 (z2 / haze
                        :ARG0-of (z3 / contain-01
                                     :ARG1 (z4 / particle
                                               :mod (z5 / toxic)
                                               :quant (z6 / number
                                                          :mod (z7 / large)))))
              :ARG1 (z8 / area
                        :quant (z9 / some)
                        :part-of (z10 / country
                                      :poss (z11 / we)))
              :ARG1-of (z12 / frequent-02)
              :time (z13 / since
                         :op1 (z14 / begin-01
                                   :ARG1 (z15 / date-entity
                                              :season (z16 / winter)))))
    :snt2 (z17 / show-01
               :ARG0 (z18 / survey-01)
               :ARG1 (z19 / possible-01
                          :ARG1 (z20 / cause-01
                                     :ARG0 (z21 / expose-01
                                                :ARG1 z20
                                                :ARG2 (z22 / concentrate-02
                                                           :ARG1 (z23 / pollutant)
                                                           :ARG1-of (z24 / high-02))
                                                :ARG1-of (z25 / continue-01))
                                     :ARG1 (z26 / suffer-01
                                                :ARG0 (z27 / person
                                                           :ARG1-of (z28 / include-91
                                                                         :ARG2 (z29 / person)
                                                                         :ARG3 (z30 / between
                                                                                :op1 (z31 / percentage-entity
                                                                                :value 10)
                                                                                :op2 (z32 / percentage-entity
                                                                                :value 15))))
                                                :ARG1 (z33 / suffer-01
                                                           :ARG0 z27
                                                           :ARG1 (z34 / and
                                                                      :op1 (z35 / inflame-01
                                                                                :ARG1 (z36 / eye)
                                                                                :mod (z37 / chronic))
                                                                      :op2 (z38 / disease
                                                                                :wiki "Xerophthalmia"
                                                                                :name (z39 / name
                                                                                :op1 "xerophthalmia"))))))))
    :snt3 (z40 / believe-01
               :ARG0 (z41 / person
                          :ARG1-of (z42 / expert-01)
                          :mod (z43 / some))
               :ARG1 (z44 / increase-01
                          :ARG1 (z45 / incidence
                                     :poss (z46 / and
                                                :op1 (z47 / disease
                                                          :mod (z48 / this))
                                                :op2 (z49 / complication
                                                          :ARG1-of (z50 / relate-01
                                                                        :ARG2 z47))))
                          :condition (z51 / measure-02
                                          :polarity -
                                          :ARG1 (z52 / improve-01
                                                     :ARG1 (z53 / quality
                                                                :mod (z54 / air)))
                                          :mod (z55 / urgent))
                          :condition (z56 / take-01
                                          :polarity -
                                          :ARG1 (z57 / measure-02
                                                     :mod (z58 / urgent)))))
    :snt4 (z59 / go-01
               :ARG1 (z60 / turn-out-17
                          :ARG1 (z61 / and
                                     :op1 (z62 / disease
                                               :mod (z63 / this))
                                     :op2 (z64 / complicate-01
                                               :ARG1-of (z65 / relate-01
                                                             :ARG2 z62))))
               :direction (z66 / out)
               :time (z67 / date-entity
                          :season (z68 / winter))
               :time (z69 / since
                          :op1 (z70 / begin-01
                                    :ARG1 (z71 / date-entity
                                               :season (z72 / winter)))))
    :snt5 (z73 / attack-01
               :ARG0 (z74 / haze
                          :ARG0-of (z75 / contain-01
                                        :ARG1 (z76 / particle
                                                   :mod (z77 / toxic)
                                                   :quant (z78 / number
                                                               :mod (z79 / large))))
                          :ARG1 (z80 / area
                                     :mod (z81 / some)
                                     :part-of (z82 / country
                                                   :poss (z83 / we)))
                          :ARG1-of (z84 / frequent-02))
               :snt6 (z85 / go-01
                          :ARG1 (z86 / survey)
                          :ARG4 (z87 / show-01
                                     :ARG0 (z88 / survey-01)
                                     :ARG1 (z89 / possible-01
                                                :ARG1 (z90 / cause-01
                                                           :ARG0 (z91 / expose-01
                                                                      :ARG1 (z92 / person)
                                                                      :ARG2 (z93 / concentrate-02
                                                                                :ARG1 (z94 / pollutant)
                                                                                :ARG1-of (z95 / continue-01)))
                                                           :ARG1 (z96 / suffer-01
                                                                      :ARG0 z92
                                                                      :ARG1 (z97 / suffer-01
                                                                                :ARG0 z92
                                                                                :ARG1 (z98 / and
                                                                                :op1 (z99 / inflame-01
                                                                                :ARG1 (z100 / eye)
                                                                                :mod (z101 / chronic))
                                                                                :op2 (z102 / disease
                                                                                :wiki "Xerophthalmia"
                                                                                :name (z103 / name
                                                                                :op1 "Xerophthalmia")))))))))
               :snt7 (z104 / go-01
                           :ARG1 (z105 / survey)
                           :ARG4 (z106 / out)))
    :snt8 (z1000 / onset
                 :ARG1 (z1001 / winter))
    :snt9 (z1002 / go-01
                 :ARG1 (z1003 / spring)
                 :snt10 (z1004 / spring)
                 :prep-to (z1005 / begin-01
                                 :ARG1 (z1006 / winter)))
    :snt10 (z1007 / be-located-at-91
                  :ARG1 (z1008 / cloud-01
                               :ARG1 (z1009 / cloud-01))
                  :ARG2 (z1010 / out))
    :snt11 (z1011 / be-located-at-91
                  :ARG1 (z1012 / cloud-01
                               :ARG1-of (z1013 / cloud-01))
                  :ARG2 (z1014 / out)))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ attack-01(z1) ∧ :ARG0(z1, z2) ∧ haze(z2) ∧ :ARG0(z3, z2) ∧ contain-01(z3) ∧ :ARG1(z3, z4) ∧ particle(z4) ∧ :mod(z4, z5) ∧ toxic(z5) ∧ :quant(z4, z6) ∧ number(z6) ∧ :mod(z6, z7) ∧ large(z7) ∧ :ARG1(z1, z8) ∧ area(z8) ∧ :quant(z8, z9) ∧ some(z9) ∧ :part(z10, z8) ∧ country(z10) ∧ :poss(z10, z11) ∧ we(z11) ∧ :ARG1(z12, z1) ∧ frequent-02(z12) ∧ :time(z1, z13) ∧ since(z13) ∧ :op1(z13, z14) ∧ begin-01(z14) ∧ :ARG1(z14, z15) ∧ date-entity(z15) ∧ :season(z15, z16) ∧ winter(z16) ∧ :snt2(z0, z17) ∧ show-01(z17) ∧ :ARG0(z17, z18) ∧ survey-01(z18) ∧ :ARG1(z17, z19) ∧ possible-01(z19) ∧ :ARG1(z19, z20) ∧ cause-01(z20) ∧ :ARG0(z20, z21) ∧ expose-01(z21) ∧ :ARG1(z21, z20) ∧ :ARG2(z21, z22) ∧ concentrate-02(z22) ∧ :ARG1(z22, z23) ∧ pollutant(z23) ∧ :ARG1(z24, z22) ∧ high-02(z24) ∧ :ARG1(z25, z21) ∧ continue-01(z25) ∧ :ARG1(z20, z26) ∧ suffer-01(z26) ∧ :ARG0(z26, z27) ∧ person(z27) ∧ :ARG1(z28, z27) ∧ include-91(z28) ∧ :ARG2(z28, z29) ∧ person(z29) ∧ :ARG3(z28, z30) ∧ between(z30) ∧ :op1(z30, z31) ∧ percentage-entity(z31) ∧ :value(z31, 10) ∧ :op2(z30, z32) ∧ percentage-entity(z32) ∧ :value(z32, 15) ∧ :ARG1(z26, z33) ∧ suffer-01(z33) ∧ :ARG0(z33, z27) ∧ :ARG1(z33, z34) ∧ and(z34) ∧ :op1(z34, z35) ∧ inflame-01(z35) ∧ :ARG1(z35, z36) ∧ eye(z36) ∧ :mod(z35, z37) ∧ chronic(z37) ∧ :op2(z34, z38) ∧ disease(z38) ∧ :wiki(z38, "Xerophthalmia") ∧ :name(z38, z39) ∧ name(z39) ∧ :op1(z39, "xerophthalmia") ∧ :snt3(z0, z40) ∧ believe-01(z40) ∧ :ARG0(z40, z41) ∧ person(z41) ∧ :ARG1(z42, z41) ∧ expert-01(z42) ∧ :mod(z41, z43) ∧ some(z43) ∧ :ARG1(z40, z44) ∧ ¬(:condition(z44, z56) ∧ take-01(z56) ∧ :ARG1(z56, z57) ∧ measure-02(z57) ∧ :mod(z57, z58) ∧ urgent(z58)) ∧ increase-01(z44) ∧ :ARG1(z44, z45) ∧ incidence(z45) ∧ :poss(z45, z46) ∧ and(z46) ∧ :op1(z46, z47) ∧ disease(z47) ∧ :mod(z47, z48) ∧ this(z48) ∧ :op2(z46, z49) ∧ complication(z49) ∧ :ARG1(z50, z49) ∧ relate-01(z50) ∧ :ARG2(z50, z47) ∧ :snt4(z0, z59) ∧ go-01(z59) ∧ :ARG1(z59, z60) ∧ turn-out-17(z60) ∧ :ARG1(z60, z61) ∧ and(z61) ∧ :op1(z61, z62) ∧ disease(z62) ∧ :mod(z62, z63) ∧ this(z63) ∧ :op2(z61, z64) ∧ complicate-01(z64) ∧ :ARG1(z65, z64) ∧ relate-01(z65) ∧ :ARG2(z65, z62) ∧ :direction(z59, z66) ∧ out(z66) ∧ :time(z59, z67) ∧ date-entity(z67) ∧ :season(z67, z68) ∧ winter(z68) ∧ :time(z59, z69) ∧ since(z69) ∧ :op1(z69, z70) ∧ begin-01(z70) ∧ :ARG1(z70, z71) ∧ date-entity(z71) ∧ :season(z71, z72) ∧ winter(z72) ∧ :snt5(z0, z73) ∧ attack-01(z73) ∧ :ARG0(z73, z74) ∧ haze(z74) ∧ :ARG0(z75, z74) ∧ contain-01(z75) ∧ :ARG1(z75, z76) ∧ particle(z76) ∧ :mod(z76, z77) ∧ toxic(z77) ∧ :quant(z76, z78) ∧ number(z78) ∧ :mod(z78, z79) ∧ large(z79) ∧ :ARG1(z74, z80) ∧ area(z80) ∧ :mod(z80, z81) ∧ some(z81) ∧ :part(z82, z80) ∧ country(z82) ∧ :poss(z82, z83) ∧ we(z83) ∧ :ARG1(z84, z74) ∧ frequent-02(z84) ∧ :snt6(z73, z85) ∧ go-01(z85) ∧ :ARG1(z85, z86) ∧ survey(z86) ∧ :ARG4(z85, z87) ∧ show-01(z87) ∧ :ARG0(z87, z88) ∧ survey-01(z88) ∧ :ARG1(z87, z89) ∧ possible-01(z89) ∧ :ARG1(z89, z90) ∧ cause-01(z90) ∧ :ARG0(z90, z91) ∧ expose-01(z91) ∧ :ARG1(z91, z92) ∧ person(z92) ∧ :ARG2(z91, z93) ∧ concentrate-02(z93) ∧ :ARG1(z93, z94) ∧ pollutant(z94) ∧ :ARG1(z95, z93) ∧ continue-01(z95) ∧ :ARG1(z90, z96) ∧ suffer-01(z96) ∧ :ARG0(z96, z92) ∧ :ARG1(z96, z97) ∧ suffer-01(z97) ∧ :ARG0(z97, z92) ∧ :ARG1(z97, z98) ∧ and(z98) ∧ :op1(z98, z99) ∧ inflame-01(z99) ∧ :ARG1(z99, z100) ∧ eye(z100) ∧ :mod(z99, z101) ∧ chronic(z101) ∧ :op2(z98, z102) ∧ disease(z102) ∧ :wiki(z102, "Xerophthalmia") ∧ :name(z102, z103) ∧ name(z103) ∧ :op1(z103, "Xerophthalmia") ∧ :snt7(z73, z104) ∧ go-01(z104) ∧ :ARG1(z104, z105) ∧ survey(z105) ∧ :ARG4(z104, z106) ∧ out(z106) ∧ :snt8(z0, z1000) ∧ onset(z1000) ∧ :ARG1(z1000, z1001) ∧ winter(z1001) ∧ :snt9(z0, z1002) ∧ go-01(z1002) ∧ :ARG1(z1002, z1003) ∧ spring(z1003) ∧ :snt10(z1002, z1004) ∧ spring(z1004) ∧ :prep-to(z1002, z1005) ∧ begin-01(z1005) ∧ :ARG1(z1005, z1006) ∧ winter(z1006) ∧ :snt10(z0, z1007) ∧ be-located-at-91(z1007) ∧ :ARG1(z1007, z1008) ∧ cloud-01(z1008) ∧ :ARG1(z1008, z1009) ∧ cloud-01(z1009) ∧ :ARG2(z1007, z1010) ∧ out(z1010) ∧ :snt11(z0, z1011) ∧ be-located-at-91(z1011) ∧ :ARG1(z1011, z1012) ∧ cloud-01(z1012) ∧ :ARG1(z1013, z1012) ∧ cloud-01(z1013) ∧ :ARG2(z1011, z1014) ∧ out(z1014)


At an international conference, five representatives from four countries were arranged to sit at a round table. In order to enable them to talk freely, they learned the following in advance: A is Chinese and can speak English; B is German and can speak Chinese; C is English and speaks French; D is Japanese and speaks French; E is Japanese and speaks German

Question: How to arrange it??

Choices:
- ACEBD
- ADCBE
- ABCDE
- ACDEB

(z0 / multi-sentence
    :snt1 (z1 / arrange-01
              :ARG1 (z2 / sit-01
                        :ARG1 (z3 / person
                                  :quant 5
                                  :ARG0-of (z4 / represent-01
                                               :ARG1 (z5 / country
                                                         :quant 4)))
                        :ARG2 (z6 / table
                                  :mod (z7 / round)))
              :location (z8 / conference
                            :mod (z9 / international)))
    :snt2 (z10 / learn-01
               :ARG0 (z11 / they)
               :ARG1 (z12 / follow-04
                          :ARG1 (z13 / and
                                     :op1 (z14 / have-mod-91
                                               :li "a"
                                               :ARG1 (z15 / person)
                                               :ARG2 (z16 / country
                                                          :wiki "China"
                                                          :name (z17 / name
                                                                     :op1 "China"))
                                               :ARG1-of (z18 / capable-01
                                                             :ARG2 (z19 / speak-01
                                                                        :ARG0 z15)))
                                     :op2 (z20 / have-mod-91
                                               :li "b"
                                               :ARG1 z15
                                               :ARG2 z16
                                               :ARG1-of z18)
                                     :op3 (z21 / have-mod-91
                                               :li "c"
                                               :ARG1 z15
                                               :ARG2 z16
                                               :ARG1-of z18)
                                     :op4 (z22 / have-mod-91
                                               :li "d"
                                               :ARG1 z15
                                               :ARG2 z16
                                               :ARG1-of z18)
                                     :op5 (z23 / have-mod-91
                                               :li "E"
                                               :ARG1 z15
                                               :ARG2 z16
                                               :ARG1-of z18)
                                     :op6 (z24 / have-mod-91
                                               :li "f"
                                               :ARG1 z15
                                               :ARG2 z16
                                               :ARG1-of z18))
                          :ARG1-of (z25 / in-advance-04)
                          :purpose (z26 / enable-01
                                        :ARG0 z10
                                        :ARG1 (z27 / talk-01
                                                   :ARG0 z11
                                                   :ARG1-of (z28 / free-04))
                                        :ARG2 z11)))
    :snt3 (z29 / and
               :op1 (z30 / have-mod-91
                         :li "c"
                         :ARG1 z15
                         :ARG2 z16
                         :ARG1-of z18)
               :op2 (z31 / have-mod-91
                         :li "d"
                         :ARG1-of (z32 / capable-01
                                       :ARG2 (z33 / speak-01
                                                  :ARG0 z31
                                                  :ARG3 (z34 / language
                                                             :wiki "French_language"
                                                             :name (z35 / name
                                                                        :op1 "French")))))
               :op3 (z36 / have-mod-91
                         :li "e"
                         :ARG1 z15
                         :ARG2 z16
                         :ARG1-of z18)
               :op4 (z37 / have-mod-91
                         :li "f"
                         :ARG1-of (z38 / capable-01
                                       :ARG2 (z39 / speak-01
                                                  :ARG0 z37
                                                  :ARG3 z34)))
               :domain (z40 / and
                            :op1 (z41 / have-mod-91
                                      :li "f"
                                      :ARG1 z15
                                      :ARG2 z16
                                      :ARG1-of z18)
                            :op2 (z42 / have-mod-91
                                      :li "e"
                                      :ARG1 z15
                                      :ARG2 z16
                                      :ARG1-of z18)))
    :location (z43 / conference
                   :mod (z44 / international)))


Professor Wang said: my students gave me a lot of wrong words and many sentences are not smooth, so the Chinese level of college students is relatively poor.

Question: Which of the following can weaken Professor Wang's argument most?

Choices:
- There is no evidence that Professor Wang's students can represent ordinary students
- Did not take into account that many sentences in the paper are fluent
- Some typos are actually not typos, but Professor Wang himself misunderstood
- The reason for the relatively poor language proficiency of college students is the problem of middle school teaching plans

(z0 / say-01
    :ARG0 (z1 / person
              :wiki -
              :name (z2 / name
                        :op1 "Wang")
              :ARG0-of (z3 / have-org-role-91
                           :ARG2 (z4 / professor)))
    :ARG1 (z5 / and
              :op1 (z6 / give-01
                       :ARG0 (z7 / person
                                 :ARG0-of (z8 / study-01
                                              :ARG2 z1))
                       :ARG1 (z9 / and
                                 :op1 (z10 / word
                                           :quant (z11 / lot)
                                           :ARG1-of (z12 / wrong-02))
                                 :op2 (z13 / sentence
                                           :quant (z14 / many)
                                           :ARG1-of (z15 / smooth-04
                                                         :polarity -)))
                       :ARG2 z1)
              :op2 (z16 / cause-01
                        :ARG0 z6
                        :ARG1 (z17 / poor
                                   :ARG2-of (z18 / relative-05
                                                 :ARG1 (z19 / level
                                                            :mod (z20 / person
                                                                      :ARG0-of (z21 / study-01
                                                                                :location (z22 / college))
                                                                      :mod (z23 / country
                                                                                :wiki "China"
                                                                                :name (z24 / name
                                                                                :op1 "China")))))
                                   :ARG2-of (z25 / relative-05)))
              :ARG1-of (z26 / cause-01
                            :ARG0 (z27 / and
                                       :op1 (z28 / give-01
                                                 :ARG0 z7
                                                 :ARG1 (z29 / word
                                                            :quant (z30 / lot)
                                                            :ARG1-of (z31 / wrong-02))
                                                 :ARG2 z1)
                                       :op2 (z32 / smooth-04
                                                 :polarity -
                                                 :ARG1 (z33 / sentence
                                                            :quant (z34 / many))))))
    :time (z35 / after
               :op1 (z36 / go-01
                         :ARG1 z1
                         :direction (z37 / out))))

say-01(z0) ∧ :ARG0(z0, z1) ∧ person(z1) ∧ :wiki(z1, -) ∧ :name(z1, z2) ∧ name(z2) ∧ :op1(z2, "Wang") ∧ :ARG0(z3, z1) ∧ have-org-role-91(z3) ∧ :ARG2(z3, z4) ∧ professor(z4) ∧ :ARG1(z0, z5) ∧ and(z5) ∧ :op1(z5, z6) ∧ give-01(z6) ∧ :ARG0(z6, z7) ∧ person(z7) ∧ :ARG0(z8, z7) ∧ study-01(z8) ∧ :ARG2(z8, z1) ∧ :ARG1(z6, z9) ∧ and(z9) ∧ :op1(z9, z10) ∧ word(z10) ∧ :quant(z10, z11) ∧ lot(z11) ∧ :ARG1(z12, z10) ∧ wrong-02(z12) ∧ :op2(z9, z13) ∧ sentence(z13) ∧ :quant(z13, z14) ∧ many(z14) ∧ ¬(:ARG1(z15, z13) ∧ smooth-04(z15)) ∧ :ARG2(z6, z1) ∧ :op2(z5, z16) ∧ cause-01(z16) ∧ :ARG0(z16, z6) ∧ :ARG1(z16, z17) ∧ poor(z17) ∧ :ARG2(z18, z17) ∧ relative-05(z18) ∧ :ARG1(z18, z19) ∧ level(z19) ∧ :mod(z19, z20) ∧ person(z20) ∧ :ARG0(z21, z20) ∧ study-01(z21) ∧ :location(z21, z22) ∧ college(z22) ∧ :mod(z20, z23) ∧ country(z23) ∧ :wiki(z23, "China") ∧ :name(z23, z24) ∧ name(z24) ∧ :op1(z24, "China") ∧ :ARG2(z25, z17) ∧ relative-05(z25) ∧ :ARG1(z26, z5) ∧ cause-01(z26) ∧ :ARG0(z26, z27) ∧ and(z27) ∧ :op1(z27, z28) ∧ give-01(z28) ∧ :ARG0(z28, z7) ∧ :ARG1(z28, z29) ∧ word(z29) ∧ :quant(z29, z30) ∧ lot(z30) ∧ :ARG1(z31, z29) ∧ wrong-02(z31) ∧ :ARG2(z28, z1) ∧ ¬(:op2(z27, z32) ∧ smooth-04(z32) ∧ :ARG1(z32, z33) ∧ sentence(z33) ∧ :quant(z33, z34) ∧ many(z34)) ∧ :time(z0, z35) ∧ after(z35) ∧ :op1(z35, z36) ∧ go-01(z36) ∧ :ARG1(z36, z1) ∧ :direction(z36, z37) ∧ out(z37)


The genuine creative genius is someone who is dissatisfied with merely habitual assent to widely held beliefs; thus these rare innovators tend to anger the majority. Those who are dissatisfied with merely habitual assent to widely held beliefs tend to seek out controversy, and controversy seekers enjoy demonstrating the falsehood of popular viewpoints.

Question: The conclusion of the argument follows logically if which one of the following is assumed?

Choices:
- People who enjoy demonstrating the falsehood of popular viewpoints anger the majority.
- People become angry when they are dissatisfied with merely habitual assent to widely held beliefs.
- People tend to get angry with individuals who hold beliefs not held by a majority of people.
- People who anger the majority enjoy demonstrating the falsehood of popular viewpoints.

(z0 / multi-sentence
    :snt1 (z1 / someone
              :ARG1-of (z2 / dissatisfy-01
                           :ARG0 (z3 / consent-01
                                     :ARG1 (z4 / believe-01
                                               :ARG1-of (z5 / hold-04
                                                            :ARG1-of (z6 / wide-02)))
                                     :mod (z7 / habitual
                                              :mod (z8 / mere))))
              :domain (z9 / genius
                          :mod (z10 / creative)
                          :mod (z11 / genuine))
              :ARG0-of (z12 / cause-01
                            :ARG1 (z13 / tend-02
                                       :ARG1 (z14 / person
                                                  :ARG0-of (z15 / innovate-01)
                                                  :ARG1-of (z16 / rare-02)
                                                  :mod (z17 / this))
                                       :ARG2 (z18 / anger-01
                                                  :ARG0 z14
                                                  :ARG1 (z19 / majority)))))
    :snt2 (z20 / and
               :op1 (z21 / tend-02
                         :ARG1 (z22 / person
                                    :mod (z23 / that)
                                    :ARG1-of (z24 / dissatisfy-01
                                                  :ARG0 (z25 / consent-01
                                                             :ARG1 (z26 / believe-01
                                                                        :ARG1-of (z27 / hold-04
                                                                                :ARG1-of (z28 / wide-02)))
                                                             :mod (z29 / habitual
                                                                       :mod (z30 / mere)))))
                         :ARG2 (z31 / seek-out-02
                                    :ARG0 z22
                                    :ARG1 (z32 / controversy)))
               :op2 (z33 / enjoy-01
                         :ARG0 (z34 / person
                                    :ARG0-of (z35 / seek-01
                                                  :ARG1 z32))
                         :ARG1 (z36 / demonstrate-01
                                    :ARG0 z34
                                    :ARG1 (z37 / falsehood
                                               :poss (z38 / viewpoint
                                                          :ARG1-of (z39 / popular-02))))))
    :snt3 (z40 / have-concession-91
               :ARG1 (z41 / tend-01
                          :ARG0 (z42 / i)
                          :ARG1 (z43 / anger-01
                                     :ARG0 z42
                                     :ARG1 (z44 / majority)))
               :ARG2 (z45 / ready-02
                          :ARG1 z42
                          :ARG2 (z46 / go-01
                                     :ARG1 z42
                                     :direction (z47 / out)))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ someone(z1) ∧ :ARG1(z2, z1) ∧ dissatisfy-01(z2) ∧ :ARG0(z2, z3) ∧ consent-01(z3) ∧ :ARG1(z3, z4) ∧ believe-01(z4) ∧ :ARG1(z5, z4) ∧ hold-04(z5) ∧ :ARG1(z6, z5) ∧ wide-02(z6) ∧ :mod(z3, z7) ∧ habitual(z7) ∧ :mod(z7, z8) ∧ mere(z8) ∧ :domain(z1, z9) ∧ genius(z9) ∧ :mod(z9, z10) ∧ creative(z10) ∧ :mod(z9, z11) ∧ genuine(z11) ∧ :ARG0(z12, z1) ∧ cause-01(z12) ∧ :ARG1(z12, z13) ∧ tend-02(z13) ∧ :ARG1(z13, z14) ∧ person(z14) ∧ :ARG0(z15, z14) ∧ innovate-01(z15) ∧ :ARG1(z16, z14) ∧ rare-02(z16) ∧ :mod(z14, z17) ∧ this(z17) ∧ :ARG2(z13, z18) ∧ anger-01(z18) ∧ :ARG0(z18, z14) ∧ :ARG1(z18, z19) ∧ majority(z19) ∧ :snt2(z0, z20) ∧ and(z20) ∧ :op1(z20, z21) ∧ tend-02(z21) ∧ :ARG1(z21, z22) ∧ person(z22) ∧ :mod(z22, z23) ∧ that(z23) ∧ :ARG1(z24, z22) ∧ dissatisfy-01(z24) ∧ :ARG0(z24, z25) ∧ consent-01(z25) ∧ :ARG1(z25, z26) ∧ believe-01(z26) ∧ :ARG1(z27, z26) ∧ hold-04(z27) ∧ :ARG1(z28, z27) ∧ wide-02(z28) ∧ :mod(z25, z29) ∧ habitual(z29) ∧ :mod(z29, z30) ∧ mere(z30) ∧ :ARG2(z21, z31) ∧ seek-out-02(z31) ∧ :ARG0(z31, z22) ∧ :ARG1(z31, z32) ∧ controversy(z32) ∧ :op2(z20, z33) ∧ enjoy-01(z33) ∧ :ARG0(z33, z34) ∧ person(z34) ∧ :ARG0(z35, z34) ∧ seek-01(z35) ∧ :ARG1(z35, z32) ∧ :ARG1(z33, z36) ∧ demonstrate-01(z36) ∧ :ARG0(z36, z34) ∧ :ARG1(z36, z37) ∧ falsehood(z37) ∧ :poss(z37, z38) ∧ viewpoint(z38) ∧ :ARG1(z39, z38) ∧ popular-02(z39) ∧ :snt3(z0, z40) ∧ have-concession-91(z40) ∧ :ARG1(z40, z41) ∧ tend-01(z41) ∧ :ARG0(z41, z42) ∧ i(z42) ∧ :ARG1(z41, z43) ∧ anger-01(z43) ∧ :ARG0(z43, z42) ∧ :ARG1(z43, z44) ∧ majority(z44) ∧ :ARG2(z40, z45) ∧ ready-02(z45) ∧ :ARG1(z45, z42) ∧ :ARG2(z45, z46) ∧ go-01(z46) ∧ :ARG1(z46, z42) ∧ :direction(z46, z47) ∧ out(z47)


In the nation of Partoria, large trucks currently account for 6 percent of miles driven on Partoria' s roads but are involved in 12 percent of all highway fatalities. The very largest trucks-those with three trailers-had less than a third of the accident rate of single-and double-trailer trucks. Clearly, ttherefore, one way for Partoria to reduce highway deaths would be to require shippers to increase their use of triple-trailer trucks.

Question: Which of the following, if true, most seriously weakens the argument?

Choices:
- Very few fatal collisions involving trucks in Partoria are collisions between two trucks.
- No matter what changes Partoria makes in the regulation of trucking, it will have to keep some smaller roads off-limits to all large trucks.
- Partorian trucking companies have so far used triple-trailer trucks on lightly traveled sections of major highways only.
- In Partoria, the safety record of the trucking industry as a whole has improved slightly over the past ten years.

(z0 / multi-sentence
    :snt1 (z1 / contrast-01
              :ARG1 (z2 / account-01
                        :ARG0 (z3 / truck
                                  :mod (z4 / large))
                        :ARG1 (z5 / rate-entity-91
                                  :ARG1 (z6 / distance-quantity
                                            :quant 6
                                            :unit (z7 / mile))
                                  :ARG2 (z8 / distance-quantity
                                            :quant 1
                                            :unit (z9 / mile)
                                            :ARG1-of (z10 / drive-01
                                                          :location (z11 / road
                                                                         :poss (z26 / very)))))
                        :location (z12 / nation
                                       :poss z26)
                        :time (z13 / current))
              :ARG2 (z14 / involve-01
                         :ARG1 z3
                         :ARG2 (z15 / fatality
                                    :quant (z16 / percentage-entity
                                                :value 12)
                                    :ARG1-of (z17 / include-91
                                                  :ARG2 (z18 / fatality
                                                             :location (z19 / highway)
                                                             :mod (z20 / all))))))
    :snt2 (z21 / have-03
               :ARG0 (z22 / truck
                          :ARG1-of (z23 / have-degree-91
                                        :ARG2 (z24 / large)
                                        :ARG3 (z25 / most
                                                   :degree z26))
                          :ARG1-of (z27 / mean-01
                                        :ARG2 (z28 / truck
                                                   :ARG0-of (z29 / have-03
                                                                 :ARG1 (z30 / trailer
                                                                            :quant 3)))))
               :ARG1 (z31 / less-than
                          :op1 (z32 / product-of
                                    :op1 "1/3"
                                    :op2 (z33 / rate
                                              :mod (z34 / accident)
                                              :poss (z35 / and
                                                         :op1 (z36 / truck
                                                                   :mod (z37 / trailer
                                                                             :ARG1-of (z38 / single-02)))
                                                         :op2 (z39 / truck
                                                                   :mod (z40 / trailer
                                                                             :ARG1-of (z41 / double-01))))))))
    :snt3 (z42 / cause-01
               :ARG1 (z43 / reduce-01
                          :ARG0 (z44 / government-organization
                                     :wiki -
                                     :name (z45 / name
                                                :op1 "Partoria"))
                          :ARG1 (z46 / die-01
                                     :location (z47 / highway))
                          :ARG2 (z48 / require-01
                                     :ARG0 z44
                                     :ARG1 (z49 / increase-01
                                                :ARG0 z31
                                                :ARG1 (z50 / use-01
                                                           :ARG0 z31
                                                           :ARG1 (z51 / truck
                                                                      :mod (z52 / triple-trailer))))
                                     :ARG2 (z53 / person
                                                :ARG0-of (z54 / ship-01))))
               :ARG1-of (z55 / clear-06)))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ contrast-01(z1) ∧ :ARG1(z1, z2) ∧ account-01(z2) ∧ :ARG0(z2, z3) ∧ truck(z3) ∧ :mod(z3, z4) ∧ large(z4) ∧ :ARG1(z2, z5) ∧ rate-entity-91(z5) ∧ :ARG1(z5, z6) ∧ distance-quantity(z6) ∧ :quant(z6, 6) ∧ :unit(z6, z7) ∧ mile(z7) ∧ :ARG2(z5, z8) ∧ distance-quantity(z8) ∧ :quant(z8, 1) ∧ :unit(z8, z9) ∧ mile(z9) ∧ :ARG1(z10, z8) ∧ drive-01(z10) ∧ :location(z10, z11) ∧ road(z11) ∧ :poss(z11, z26) ∧ very(z26) ∧ :location(z2, z12) ∧ nation(z12) ∧ :poss(z12, z26) ∧ :time(z2, z13) ∧ current(z13) ∧ :ARG2(z1, z14) ∧ involve-01(z14) ∧ :ARG1(z14, z3) ∧ :ARG2(z14, z15) ∧ fatality(z15) ∧ :quant(z15, z16) ∧ percentage-entity(z16) ∧ :value(z16, 12) ∧ :ARG1(z17, z15) ∧ include-91(z17) ∧ :ARG2(z17, z18) ∧ fatality(z18) ∧ :location(z18, z19) ∧ highway(z19) ∧ :mod(z18, z20) ∧ all(z20) ∧ :snt2(z0, z21) ∧ have-03(z21) ∧ :ARG0(z21, z22) ∧ truck(z22) ∧ :ARG1(z23, z22) ∧ have-degree-91(z23) ∧ :ARG2(z23, z24) ∧ large(z24) ∧ :ARG3(z23, z25) ∧ most(z25) ∧ :degree(z25, z26) ∧ :ARG1(z27, z22) ∧ mean-01(z27) ∧ :ARG2(z27, z28) ∧ truck(z28) ∧ :ARG0(z29, z28) ∧ have-03(z29) ∧ :ARG1(z29, z30) ∧ trailer(z30) ∧ :quant(z30, 3) ∧ :ARG1(z21, z31) ∧ less-than(z31) ∧ :op1(z31, z32) ∧ product-of(z32) ∧ :op1(z32, "1/3") ∧ :op2(z32, z33) ∧ rate(z33) ∧ :mod(z33, z34) ∧ accident(z34) ∧ :poss(z33, z35) ∧ and(z35) ∧ :op1(z35, z36) ∧ truck(z36) ∧ :mod(z36, z37) ∧ trailer(z37) ∧ :ARG1(z38, z37) ∧ single-02(z38) ∧ :op2(z35, z39) ∧ truck(z39) ∧ :mod(z39, z40) ∧ trailer(z40) ∧ :ARG1(z41, z40) ∧ double-01(z41) ∧ :snt3(z0, z42) ∧ cause-01(z42) ∧ :ARG1(z42, z43) ∧ reduce-01(z43) ∧ :ARG0(z43, z44) ∧ government-organization(z44) ∧ :wiki(z44, -) ∧ :name(z44, z45) ∧ name(z45) ∧ :op1(z45, "Partoria") ∧ :ARG1(z43, z46) ∧ die-01(z46) ∧ :location(z46, z47) ∧ highway(z47) ∧ :ARG2(z43, z48) ∧ require-01(z48) ∧ :ARG0(z48, z44) ∧ :ARG1(z48, z49) ∧ increase-01(z49) ∧ :ARG0(z49, z31) ∧ :ARG1(z49, z50) ∧ use-01(z50) ∧ :ARG0(z50, z31) ∧ :ARG1(z50, z51) ∧ truck(z51) ∧ :mod(z51, z52) ∧ triple-trailer(z52) ∧ :ARG2(z48, z53) ∧ person(z53) ∧ :ARG0(z54, z53) ∧ ship-01(z54) ∧ :ARG1(z55, z42) ∧ clear-06(z55)