On the grasslands of Africa, a fierce leopard can catch almost any antelope it decides to catch. And once the antelope is not targeted by the hungry leopard, its best chance of escape is that the leopard will soon find another animal as its target. Therefore, the antelope following the activities of the group can reduce the risk of being eaten by leopards.

Question: Which of the followings is the hypothesis on which the above argument is based?

Choices:
- Leopards live mainly by preying on antelopes.
- The absolute number of antelopes in the herd can stop the attack of leopards.
- Leopards can't eat an entire herd of antelopes at once.
- In the grasslands of Africa, leopards are the main natural enemies of antelopes.

(z0 / multi-sentence
    :snt1 (z1 / possible-01
              :ARG1 (z2 / catch-01
                        :ARG0 (z3 / leopard
                                  :mod (z4 / fierce))
                        :ARG1 (z5 / antelope
                                  :mod (z6 / any
                                           :mod (z7 / almost))
                                  :ARG1-of (z8 / catch-01
                                               :ARG0 z3
                                               :ARG1-of (z9 / decide-01
                                                            :ARG0 z3)))
                        :location (z10 / grasslands
                                       :location (z11 / continent
                                                      :wiki "Africa"
                                                      :name (z12 / name
                                                                 :op1 "Africa")))))
    :snt2 (z13 / chance-02
               :ARG0 (z14 / antelope)
               :ARG1 (z15 / escape-01
                          :ARG0 z14)
               :ARG2 (z16 / find-01
                          :ARG0 (z17 / leopard
                                     :ARG0-of (z18 / hunger-01))
                          :ARG1 (z19 / animal
                                     :mod (z20 / another)
                                     :ARG1-of (z21 / target-01
                                                   :ARG0 z17))
                          :time (z22 / soon))
               :ARG1-of (z23 / have-degree-91
                             :ARG2 (z24 / good-02
                                        :ARG1 z16)
                             :ARG3 (z25 / most))
               :condition (z26 / target-01
                               :polarity -
                               :ARG0 (z27 / leopard
                                          :ARG0-of (z28 / hunger-01))
                               :ARG1 (z29 / antelope)))
    :snt3 (z30 / cause-01
               :ARG1 (z31 / possible-01
                          :ARG1 (z32 / reduce-01
                                     :ARG0 (z33 / antelope
                                                :ARG0-of (z34 / follow-02
                                                              :ARG1 (z35 / activity-06
                                                                         :ARG0 (z36 / group))))
                                     :ARG1 (z37 / risk-01
                                                :ARG0 z33
                                                :ARG2 (z38 / eat-01
                                                           :ARG0 (z39 / leopard)
                                                           :ARG1 z33)))))
    :snt4 (z40 / have-concession-91
               :ARG1 (z41 / chance-02
                          :ARG0 z33
                          :ARG1 (z42 / escape-01
                                     :ARG0 z33)
                          :ARG2 (z43 / good-02
                                     :ARG1 z41))
               :ARG2 (z44 / target-01
                          :polarity -
                          :ARG0 (z45 / leopard)
                          :ARG1 z33
                          :time (z46 / soon)))
    :snt5 (z47 / have-concession-91
               :ARG1 (z48 / possible-01
                          :ARG1 (z49 / reduce-01
                                     :ARG0 (z50 / antelope
                                                :ARG0-of (z51 / follow-02
                                                              :ARG1 (z52 / activity-06
                                                                         :ARG0 (z53 / group))))
                                     :ARG1 (z54 / risk-01
                                                :ARG0 z50
                                                :ARG2 (z55 / eat-01
                                                           :ARG0 (z56 / leopard)
                                                           :ARG1 z50)))))
    :snt6 (z57 / possible-01
               :ARG1 (z58 / go-03
                          :ARG0 (z59 / leopard)
                          :ARG1 (z60 / antelope
                                     :mod (z61 / any)
                                     :ARG1-of (z62 / catch-01
                                                   :ARG0 z59
                                                   :ARG1-of (z63 / decide-01
                                                                 :ARG0 z59)))
                          :location (z64 / grassland
                                         :location (z65 / continent
                                                        :wiki "Africa"
                                                        :name (z66 / name
                                                                   :op1 "Africa")))))
    :snt7 (z67 / go-03
               :ARG0 (z68 / leopard)
               :ARG1 (z69 / antelope
                          :mod (z70 / any)
                          :ARG1-of (z71 / catch-01
                                        :ARG0 z59))
               :ARG1-of (z72 / decide-01
                             :ARG0 z59))
    :snt8 (z73 / go-03
               :ARG0 z68
               :ARG1 (z74 / catch-01
                          :ARG0 z68
                          :ARG1 z69)))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ possible-01(z1) ∧ :ARG1(z1, z2) ∧ catch-01(z2) ∧ :ARG0(z2, z3) ∧ leopard(z3) ∧ :mod(z3, z4) ∧ fierce(z4) ∧ :ARG1(z2, z5) ∧ antelope(z5) ∧ :mod(z5, z6) ∧ any(z6) ∧ :mod(z6, z7) ∧ almost(z7) ∧ :ARG1(z8, z5) ∧ catch-01(z8) ∧ :ARG0(z8, z3) ∧ :ARG1(z9, z8) ∧ decide-01(z9) ∧ :ARG0(z9, z3) ∧ :location(z2, z10) ∧ grasslands(z10) ∧ :location(z10, z11) ∧ continent(z11) ∧ :wiki(z11, "Africa") ∧ :name(z11, z12) ∧ name(z12) ∧ :op1(z12, "Africa") ∧ :snt2(z0, z13) ∧ ¬(:condition(z13, z26) ∧ target-01(z26) ∧ :ARG0(z26, z27) ∧ leopard(z27) ∧ :ARG0(z28, z27) ∧ hunger-01(z28) ∧ :ARG1(z26, z29) ∧ antelope(z29)) ∧ chance-02(z13) ∧ :ARG0(z13, z14) ∧ antelope(z14) ∧ :ARG1(z13, z15) ∧ escape-01(z15) ∧ :ARG0(z15, z14) ∧ :ARG2(z13, z16) ∧ find-01(z16) ∧ :ARG0(z16, z17) ∧ leopard(z17) ∧ :ARG0(z18, z17) ∧ hunger-01(z18) ∧ :ARG1(z16, z19) ∧ animal(z19) ∧ :mod(z19, z20) ∧ another(z20) ∧ :ARG1(z21, z19) ∧ target-01(z21) ∧ :ARG0(z21, z17) ∧ :time(z16, z22) ∧ soon(z22) ∧ :ARG1(z23, z13) ∧ have-degree-91(z23) ∧ :ARG2(z23, z24) ∧ good-02(z24) ∧ :ARG1(z24, z16) ∧ :ARG3(z23, z25) ∧ most(z25) ∧ :snt3(z0, z30) ∧ cause-01(z30) ∧ :ARG1(z30, z31) ∧ possible-01(z31) ∧ :ARG1(z31, z32) ∧ reduce-01(z32) ∧ :ARG0(z32, z33) ∧ antelope(z33) ∧ :ARG0(z34, z33) ∧ follow-02(z34) ∧ :ARG1(z34, z35) ∧ activity-06(z35) ∧ :ARG0(z35, z36) ∧ group(z36) ∧ :ARG1(z32, z37) ∧ risk-01(z37) ∧ :ARG0(z37, z33) ∧ :ARG2(z37, z38) ∧ eat-01(z38) ∧ :ARG0(z38, z39) ∧ leopard(z39) ∧ :ARG1(z38, z33) ∧ :snt4(z0, z40) ∧ have-concession-91(z40) ∧ :ARG1(z40, z41) ∧ chance-02(z41) ∧ :ARG0(z41, z33) ∧ :ARG1(z41, z42) ∧ escape-01(z42) ∧ :ARG0(z42, z33) ∧ :ARG2(z41, z43) ∧ good-02(z43) ∧ :ARG1(z43, z41) ∧ ¬(:ARG2(z40, z44) ∧ target-01(z44) ∧ :ARG0(z44, z45) ∧ leopard(z45) ∧ :ARG1(z44, z33) ∧ :time(z44, z46) ∧ soon(z46)) ∧ :snt5(z0, z47) ∧ have-concession-91(z47) ∧ :ARG1(z47, z48) ∧ possible-01(z48) ∧ :ARG1(z48, z49) ∧ reduce-01(z49) ∧ :ARG0(z49, z50) ∧ antelope(z50) ∧ :ARG0(z51, z50) ∧ follow-02(z51) ∧ :ARG1(z51, z52) ∧ activity-06(z52) ∧ :ARG0(z52, z53) ∧ group(z53) ∧ :ARG1(z49, z54) ∧ risk-01(z54) ∧ :ARG0(z54, z50) ∧ :ARG2(z54, z55) ∧ eat-01(z55) ∧ :ARG0(z55, z56) ∧ leopard(z56) ∧ :ARG1(z55, z50) ∧ :snt6(z0, z57) ∧ possible-01(z57) ∧ :ARG1(z57, z58) ∧ go-03(z58) ∧ :ARG0(z58, z59) ∧ leopard(z59) ∧ :ARG1(z58, z60) ∧ antelope(z60) ∧ :mod(z60, z61) ∧ any(z61) ∧ :ARG1(z62, z60) ∧ catch-01(z62) ∧ :ARG0(z62, z59) ∧ :ARG1(z63, z62) ∧ decide-01(z63) ∧ :ARG0(z63, z59) ∧ :location(z58, z64) ∧ grassland(z64) ∧ :location(z64, z65) ∧ continent(z65) ∧ :wiki(z65, "Africa") ∧ :name(z65, z66) ∧ name(z66) ∧ :op1(z66, "Africa") ∧ :snt7(z0, z67) ∧ go-03(z67) ∧ :ARG0(z67, z68) ∧ leopard(z68) ∧ :ARG1(z67, z69) ∧ antelope(z69) ∧ :mod(z69, z70) ∧ any(z70) ∧ :ARG1(z71, z69) ∧ catch-01(z71) ∧ :ARG0(z71, z59) ∧ :ARG1(z72, z67) ∧ decide-01(z72) ∧ :ARG0(z72, z59) ∧ :snt8(z0, z73) ∧ go-03(z73) ∧ :ARG0(z73, z68) ∧ :ARG1(z73, z74) ∧ catch-01(z74) ∧ :ARG0(z74, z68) ∧ :ARG1(z74, z69)


Child-rearing Expert: Parents should never discipline their children in public. Some children who are disciplined in public suffer from attention deficit disorder. This shows that these children do not need discipline, but rather need assistance from their parents or firm instructions to help the children pay attention to their surroundings.

Question: Each of the following describes a flaw in the child-rearing expert's reasoning EXCEPT:

Choices:
- It assumes that children with attention deficit disorder can pay attention to their surroundings without discipline.
- It presumes, with justification, that children who are disciplined in private also suffer from attention deficit disorder.
- It overlooks the possibility that the children who are disciplined in public, but do not suffer from attention deficit disorder, might benefit from being disciplined in public.
- It neglects the possibility that providing firm instructions could be a form of disciplining children in public.

(z0 / multi-sentence
    :snt1 (z1 / say-01
              :ARG0 (z2 / person
                        :ARG1-of (z3 / expert-01
                                     :ARG2 (z4 / rear-01
                                               :ARG1 (z5 / child))))
              :ARG1 (z6 / recommend-01
                        :ARG1 (z7 / discipline-01
                                  :polarity -
                                  :ARG0 (z8 / person
                                            :ARG0-of (z9 / have-rel-role-91
                                                         :ARG2 (z10 / parent)))
                                  :ARG1 (z11 / person
                                             :ARG0-of (z12 / have-rel-role-91
                                                           :ARG1 z8
                                                           :ARG2 (z13 / child)))
                                  :location (z14 / public)
                                  :time (z15 / ever))))
    :snt2 (z16 / suffer-01
               :ARG0 (z17 / child
                          :mod (z18 / some)
                          :ARG1-of (z19 / discipline-01
                                        :ARG1-of (z20 / public-02)))
               :ARG1 (z21 / disorder
                          :mod (z22 / deficit
                                    :mod (z23 / attend-02))))
    :snt3 (z24 / show-01
               :ARG0 (z25 / this)
               :ARG1 (z26 / contrast-01
                          :ARG1 (z27 / need-01
                                     :polarity -
                                     :ARG0 (z28 / child
                                                :mod (z29 / this))
                                     :ARG1 (z30 / discipline-01
                                                :ARG1 z28))
                          :ARG2 (z31 / need-01
                                     :ARG0 z28
                                     :ARG1 (z32 / or
                                                :op1 (z33 / assist-01
                                                          :ARG0 (z34 / person
                                                                     :ARG0-of (z35 / have-rel-role-91
                                                                                :ARG2 (z36 / parent)))
                                                          :ARG1 z28)
                                                :op2 (z37 / instruct-01
                                                          :ARG1 z34
                                                          :ARG2 (z38 / help-01
                                                                     :ARG0 z34
                                                                     :ARG1 (z39 / pay-01
                                                                                :ARG0 z28
                                                                                :ARG1 (z40 / attend-02
                                                                                :ARG0 z28
                                                                                :ARG1 (z41 / thing
                                                                                :ARG1-of (z42 / surround-01
                                                                                :ARG2 z28))))
                                                                     :ARG2 z28)
                                                          :ARG1-of (z43 / firm-03)))
                                     :ARG1-of (z44 / instead-of-91
                                                   :ARG2 z30))))
    :snt4 (z45 / suffer-01
               :ARG0 (z46 / child
                          :mod (z47 / some)
                          :ARG1-of (z48 / discipline-01
                                        :ARG1-of (z49 / public-02)))
               :ARG1 (z50 / medical-condition
                          :wiki "Attention_deficit_hyperactivity_disorder"
                          :name (z51 / name
                                     :op1 "Attention"
                                     :op2 "deficit"
                                     :op3 "disorder"))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ say-01(z1) ∧ :ARG0(z1, z2) ∧ person(z2) ∧ :ARG1(z3, z2) ∧ expert-01(z3) ∧ :ARG2(z3, z4) ∧ rear-01(z4) ∧ :ARG1(z4, z5) ∧ child(z5) ∧ :ARG1(z1, z6) ∧ recommend-01(z6) ∧ ¬(:ARG1(z6, z7) ∧ discipline-01(z7) ∧ :ARG0(z7, z8) ∧ person(z8) ∧ :ARG0(z9, z8) ∧ have-rel-role-91(z9) ∧ :ARG2(z9, z10) ∧ parent(z10) ∧ :ARG1(z7, z11) ∧ person(z11) ∧ :ARG0(z12, z11) ∧ have-rel-role-91(z12) ∧ :ARG1(z12, z8) ∧ :ARG2(z12, z13) ∧ child(z13) ∧ :location(z7, z14) ∧ public(z14) ∧ :time(z7, z15) ∧ ever(z15)) ∧ :snt2(z0, z16) ∧ suffer-01(z16) ∧ :ARG0(z16, z17) ∧ child(z17) ∧ :mod(z17, z18) ∧ some(z18) ∧ :ARG1(z19, z17) ∧ discipline-01(z19) ∧ :ARG1(z20, z19) ∧ public-02(z20) ∧ :ARG1(z16, z21) ∧ disorder(z21) ∧ :mod(z21, z22) ∧ deficit(z22) ∧ :mod(z22, z23) ∧ attend-02(z23) ∧ :snt3(z0, z24) ∧ show-01(z24) ∧ :ARG0(z24, z25) ∧ this(z25) ∧ :ARG1(z24, z26) ∧ contrast-01(z26) ∧ ¬(:ARG1(z26, z27) ∧ need-01(z27) ∧ :ARG0(z27, z28) ∧ child(z28) ∧ :mod(z28, z29) ∧ this(z29) ∧ :ARG1(z27, z30) ∧ discipline-01(z30) ∧ :ARG1(z30, z28)) ∧ :ARG2(z26, z31) ∧ need-01(z31) ∧ :ARG0(z31, z28) ∧ :ARG1(z31, z32) ∧ or(z32) ∧ :op1(z32, z33) ∧ assist-01(z33) ∧ :ARG0(z33, z34) ∧ person(z34) ∧ :ARG0(z35, z34) ∧ have-rel-role-91(z35) ∧ :ARG2(z35, z36) ∧ parent(z36) ∧ :ARG1(z33, z28) ∧ :op2(z32, z37) ∧ instruct-01(z37) ∧ :ARG1(z37, z34) ∧ :ARG2(z37, z38) ∧ help-01(z38) ∧ :ARG0(z38, z34) ∧ :ARG1(z38, z39) ∧ pay-01(z39) ∧ :ARG0(z39, z28) ∧ :ARG1(z39, z40) ∧ attend-02(z40) ∧ :ARG0(z40, z28) ∧ :ARG1(z40, z41) ∧ thing(z41) ∧ :ARG1(z42, z41) ∧ surround-01(z42) ∧ :ARG2(z42, z28) ∧ :ARG2(z38, z28) ∧ :ARG1(z43, z37) ∧ firm-03(z43) ∧ :ARG1(z44, z31) ∧ instead-of-91(z44) ∧ :ARG2(z44, z30) ∧ :snt4(z0, z45) ∧ suffer-01(z45) ∧ :ARG0(z45, z46) ∧ child(z46) ∧ :mod(z46, z47) ∧ some(z47) ∧ :ARG1(z48, z46) ∧ discipline-01(z48) ∧ :ARG1(z49, z48) ∧ public-02(z49) ∧ :ARG1(z45, z50) ∧ medical-condition(z50) ∧ :wiki(z50, "Attention_deficit_hyperactivity_disorder") ∧ :name(z50, z51) ∧ name(z51) ∧ :op1(z51, "Attention") ∧ :op2(z51, "deficit") ∧ :op3(z51, "disorder")


Aviation Analyst: To combat human error involved in air traffic control, Miro Jets Inc. has recently installed each of its DC-10 passenger planes with a special anti-collision device. The device alerts the DC-10, via a red light, when another plane is slightly more than three minutes away from a potential collision. The red light comes on and stays on until the approaching plane is safely out of range. Aviation experts at Miro Jet Inc. have determined that three minutes is ample time for a plane to divert its respective flight path to avoid a collision. Ttherefore, if the red light on the anti-collision device is off, the DC-10 is more than three minutes flying time from any plane.

Question: Which of the following, if true, most fundamentally calls into question the aviation analyst's argument?

Choices:
- Recently, a near collision in which both planes were less than 90 seconds flying distance from each other was averted only by the prompt actions of air traffic controllers.
- When two DC-10's approach each other the red lights on each aircraft do not necessarily turn on simultaneously.
- Some aviation experts warn that in certain cases three minutes may not provide sufficient time for aircrafts to maneuver without causing on board injuries.
- The anti-collision device only signals planes of oncoming directions, not those planes that are flying in parallel.

(z0 / multi-sentence
    :snt1 (z1 / say-01
              :ARG0 (z2 / person
                        :ARG0-of (z3 / analyze-01
                                     :ARG1 (z4 / aviation)))
              :ARG1 (z5 / install-01
                        :ARG0 (z6 / company
                                  :wiki "Miro_Jets"
                                  :name (z7 / name
                                            :op1 "Miro"
                                            :op2 "Jets"
                                            :op3 "Inc."))
                        :ARG1 (z8 / plane
                                  :wiki "McDonnell_Douglas_DC-10"
                                  :name (z9 / name
                                            :op1 "DC-10")
                                  :mod (z10 / passenger)
                                  :mod (z11 / each)
                                  :ARG1-of (z12 / include-91
                                                :ARG2 (z13 / plane
                                                           :mod (z14 / passenger)
                                                           :poss z6)))
                        :ARG2 (z15 / device
                                   :ARG0-of (z16 / counter-01
                                                 :ARG1 (z17 / collide-01))
                                   :ARG1-of (z18 / special-02))
                        :time (z19 / recent)
                        :purpose (z20 / combat-01
                                      :ARG0 z6
                                      :ARG1 (z21 / err-01
                                                 :ARG0 (z22 / human)
                                                 :ARG1-of (z23 / involve-01
                                                               :ARG2 (z24 / control-01
                                                                          :ARG1 (z25 / traffic
                                                                                :mod (z26 / air)))))))
              :snt2 (z27 / determine-01
                         :ARG0 (z28 / person
                                    :ARG0-of (z29 / have-org-role-91
                                                  :ARG1 (z30 / company
                                                             :wiki -
                                                             :name (z31 / name
                                                                        :op1 "Miro"
                                                                        :op2 "Jet"
                                                                        :op3 "Inc."))
                                                  :ARG2 (z32 / person
                                                             :ARG1-of (z33 / expert-01
                                                                           :ARG2 (z34 / aviation)))))
                         :ARG1 (z35 / time
                                    :mod (z36 / ample)
                                    :purpose (z37 / divert-01
                                                  :ARG0 (z38 / plane)
                                                  :ARG1 (z39 / path
                                                             :path-of (z40 / fly-01)
                                                             :poss z38)
                                                  :purpose (z41 / avoid-01
                                                                :ARG0 z38
                                                                :ARG1 z17))
                                    :domain (z42 / time
                                                 :quant (z43 / more-than
                                                             :op1 (z44 / temporal-quantity
                                                                       :quant 3
                                                                       :unit (z45 / minute))))
                                    :purpose (z46 / divert-01
                                                  :ARG0 z38
                                                  :ARG1 (z47 / path
                                                             :path-of (z48 / fly-01)
                                                             :poss z38)
                                                  :purpose (z49 / avoid-01
                                                                :ARG0 z38
                                                                :ARG1 z17))))
              :snt3 (z50 / cause-01
                         :ARG1 (z51 / be-located-at-91
                                    :ARG1 (z52 / aircraft-type
                                               :wiki "McDonnell_Douglas_DC-10"
                                               :name (z53 / name
                                                          :op1 "DC-10"))
                                    :ARG2 (z54 / relative-position
                                               :op1 (z55 / plane
                                                         :mod (z56 / another))
                                               :direction (z57 / away
                                                               :op1 (z58 / collide-01
                                                                         :mod (z59 / potential))
                                                               :quant (z60 / more-than
                                                                           :op1 (z61 / temporal-quantity
                                                                                :quant 3
                                                                                :unit (z62 / minute))
                                                                           :quant (z63 / slight)))
                                               :duration (z64 / more-than
                                                              :op1 (z65 / temporal-quantity
                                                                        :quant 3
                                                                        :unit (z66 / minute))))
                                    :condition (z67 / off
                                                    :domain (z68 / light
                                                                 :ARG1-of (z69 / red-02)
                                                                 :poss (z70 / device
                                                                            :ARG0-of (z71 / counter-01
                                                                                :ARG1 (z72 / collide-01))))))
                         :snt4 (z73 / cause-01
                                    :ARG1 (z74 / be-located-at-91
                                               :ARG1 z52
                                               :ARG2 (z75 / relative-position
                                                          :op1 (z76 / plane
                                                                    :mod (z77 / any))
                                                          :direction (z78 / away)
                                                          :quant (z79 / more-than
                                                                      :op1 (z80 / temporal-quantity
                                                                                :quant 3
                                                                                :unit (z81 / minute))))
                                               :duration-of (z82 / fly-01)
                                               :source (z83 / plane
                                                            :mod (z84 / any))))
                         :snt5 (z85 / and
                                    :op1 (z86 / come-on-08
                                              :ARG1 (z87 / light
                                                         :ARG1-of (z88 / red-02)))
                                    :op2 (z89 / stay-01
                                              :ARG1 (z96 / determine-01
                                                         :ARG0 (z97 / person
                                                                    :ARG0-of (z98 / have-org-role-91
                                                                                :ARG1 (z99 / company
                                                                                :wiki -
                                                                                :name (z100 / name
                                                                                :op1 "Miro"
                                                                                :op2 "Jet"
                                                                                :op3 "Inc."))
                                                                                :ARG2 (z101 / person
                                                                                :ARG1-of (z1023 / expert-01
                                                                                :ARG2 (z1024 / aviation)))))
                                                         :ARG1 (z1025 / time
                                                                      :mod (z1026 / ample)
                                                                      :domain (z1027 / time
                                                                                :duration-of (z1028 / divert-01
                                                                                :ARG0 (z1029 / plane)
                                                                                :ARG1 (z1030 / path
                                                                                :path-of (z1031 / fly-01)
                                                                                :poss z1029))))))
                                    :time (z90 / until
                                               :op1 (z91 / out-06
                                                         :ARG1 (z92 / plane
                                                                    :ARG1-of (z1000 / approach-01))
                                                         :ARG2 (z1001 / range-01
                                                                      :ARG1-of (z1002 / safe-01)
                                                                      :ARG1-of (z93 / out-06
                                                                                :ARG2 (z1003 / range-01)))))
                                    :snt6 (z1004 / and
                                                 :op1 (z1005 / come-01
                                                             :ARG1 (z1006 / light
                                                                          :ARG1-of (z1007 / red-02)))
                                                 :op2 (z1008 / stay-01
                                                             :ARG1 z1006)
                                                 :time (z1009 / until
                                                              :op1 (z1010 / come-01
                                                                          :ARG1 (z1011 / plane
                                                                                :ARG1-of (z1012 / approach-01))
                                                                          :ARG2 (z1013 / out-06
                                                                                :ARG1 z1011
                                                                                :ARG2 (z1014 / range-01))))
                                                 :snt7 (z1015 / and
                                                              :op1 (z1016 / light
                                                                          :ARG1-of (z1017 / red-02))
                                                              :op2 (z1018 / stay-01
                                                                          :ARG1 z1006)
                                                              :time (z1019 / until
                                                                           :op1 (z1020 / be-located-at-91
                                                                                :ARG1 z1006
                                                                                :ARG2 (z1021 / out-06
                                                                                :ARG1 z1006
                                                                                :ARG2 (z1022 / range)
                                                                                :ARG1-of (z94 / safe-01)))))
                                                 :snt8 (z95 / cause-01
                                                            :ARG1 z96)
                                                 :snt9 (z1032 / and
                                                              :op1 (z1033 / come-01
                                                                          :ARG1 (z1034 / light
                                                                                :ARG1-of (z1035 / red-02)))
                                                              :op2 (z1036 / stop-01
                                                                          :ARG1 (z1037 / light
                                                                                :ARG1-of (z1038 / red-02))))
                                                 :prep-to (z1039 / device
                                                                 :ARG0-of (z1040 / alert-01
                                                                                :ARG1 z1006
                                                                                :prep-to (z1041 / device
                                                                                :ARG0-of (z102 / counter-01
                                                                                :ARG1 (z103 / collide-01))))))
                                    :prep-by (z104 / device
                                                   :ARG0-of (z105 / alert-02
                                                                  :ARG1 z1006
                                                                  :prep-by (z106 / device
                                                                                :ARG0-of (z107 / special-02)))
                                                   :prep-to (z1042 / device
                                                                   :ARG0-of (z1043 / alert-02
                                                                                :ARG1 z1006
                                                                                :prep-to (z1044 / collide-01)))))
                         :prep-by (z1045 / be-temporally-at-91
                                         :ARG1 (z1046 / plane
                                                      :wiki "McDonnell_Douglas_DC-10"
                                                      :name (z1047 / name
                                                                   :op1 "DC-10"))
                                         :prep-by (z108 / name)))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ say-01(z1) ∧ :ARG0(z1, z2) ∧ person(z2) ∧ :ARG0(z3, z2) ∧ analyze-01(z3) ∧ :ARG1(z3, z4) ∧ aviation(z4) ∧ :ARG1(z1, z5) ∧ install-01(z5) ∧ :ARG0(z5, z6) ∧ company(z6) ∧ :wiki(z6, "Miro_Jets") ∧ :name(z6, z7) ∧ name(z7) ∧ :op1(z7, "Miro") ∧ :op2(z7, "Jets") ∧ :op3(z7, "Inc.") ∧ :ARG1(z5, z8) ∧ plane(z8) ∧ :wiki(z8, "McDonnell_Douglas_DC-10") ∧ :name(z8, z9) ∧ name(z9) ∧ :op1(z9, "DC-10") ∧ :mod(z8, z10) ∧ passenger(z10) ∧ :mod(z8, z11) ∧ each(z11) ∧ :ARG1(z12, z8) ∧ include-91(z12) ∧ :ARG2(z12, z13) ∧ plane(z13) ∧ :mod(z13, z14) ∧ passenger(z14) ∧ :poss(z13, z6) ∧ :ARG2(z5, z15) ∧ device(z15) ∧ :ARG0(z16, z15) ∧ counter-01(z16) ∧ :ARG1(z16, z17) ∧ collide-01(z17) ∧ :ARG1(z18, z15) ∧ special-02(z18) ∧ :time(z5, z19) ∧ recent(z19) ∧ :purpose(z5, z20) ∧ combat-01(z20) ∧ :ARG0(z20, z6) ∧ :ARG1(z20, z21) ∧ err-01(z21) ∧ :ARG0(z21, z22) ∧ human(z22) ∧ :ARG1(z23, z21) ∧ involve-01(z23) ∧ :ARG2(z23, z24) ∧ control-01(z24) ∧ :ARG1(z24, z25) ∧ traffic(z25) ∧ :mod(z25, z26) ∧ air(z26) ∧ :snt2(z1, z27) ∧ determine-01(z27) ∧ :ARG0(z27, z28) ∧ person(z28) ∧ :ARG0(z29, z28) ∧ have-org-role-91(z29) ∧ :ARG1(z29, z30) ∧ company(z30) ∧ :wiki(z30, -) ∧ :name(z30, z31) ∧ name(z31) ∧ :op1(z31, "Miro") ∧ :op2(z31, "Jet") ∧ :op3(z31, "Inc.") ∧ :ARG2(z29, z32) ∧ person(z32) ∧ :ARG1(z33, z32) ∧ expert-01(z33) ∧ :ARG2(z33, z34) ∧ aviation(z34) ∧ :ARG1(z27, z35) ∧ time(z35) ∧ :mod(z35, z36) ∧ ample(z36) ∧ :purpose(z35, z37) ∧ divert-01(z37) ∧ :ARG0(z37, z38) ∧ plane(z38) ∧ :ARG1(z37, z39) ∧ path(z39) ∧ :path(z40, z39) ∧ fly-01(z40) ∧ :poss(z39, z38) ∧ :purpose(z37, z41) ∧ avoid-01(z41) ∧ :ARG0(z41, z38) ∧ :ARG1(z41, z17) ∧ :domain(z35, z42) ∧ time(z42) ∧ :quant(z42, z43) ∧ more-than(z43) ∧ :op1(z43, z44) ∧ temporal-quantity(z44) ∧ :quant(z44, 3) ∧ :unit(z44, z45) ∧ minute(z45) ∧ :purpose(z35, z46) ∧ divert-01(z46) ∧ :ARG0(z46, z38) ∧ :ARG1(z46, z47) ∧ path(z47) ∧ :path(z48, z47) ∧ fly-01(z48) ∧ :poss(z47, z38) ∧ :purpose(z46, z49) ∧ avoid-01(z49) ∧ :ARG0(z49, z38) ∧ :ARG1(z49, z17) ∧ :snt3(z1, z50) ∧ cause-01(z50) ∧ :ARG1(z50, z51) ∧ :condition(z51, z67) ∧ off(z67) ∧ :domain(z67, z68) ∧ light(z68) ∧ :ARG1(z69, z68) ∧ red-02(z69) ∧ :poss(z68, z70) ∧ device(z70) ∧ :ARG0(z71, z70) ∧ counter-01(z71) ∧ :ARG1(z71, z72) ∧ collide-01(z72) ∧ be-located-at-91(z51) ∧ :ARG1(z51, z52) ∧ aircraft-type(z52) ∧ :wiki(z52, "McDonnell_Douglas_DC-10") ∧ :name(z52, z53) ∧ name(z53) ∧ :op1(z53, "DC-10") ∧ :ARG2(z51, z54) ∧ relative-position(z54) ∧ :op1(z54, z55) ∧ plane(z55) ∧ :mod(z55, z56) ∧ another(z56) ∧ :direction(z54, z57) ∧ away(z57) ∧ :op1(z57, z58) ∧ collide-01(z58) ∧ :mod(z58, z59) ∧ potential(z59) ∧ :quant(z57, z60) ∧ more-than(z60) ∧ :op1(z60, z61) ∧ temporal-quantity(z61) ∧ :quant(z61, 3) ∧ :unit(z61, z62) ∧ minute(z62) ∧ :quant(z60, z63) ∧ slight(z63) ∧ :duration(z54, z64) ∧ more-than(z64) ∧ :op1(z64, z65) ∧ temporal-quantity(z65) ∧ :quant(z65, 3) ∧ :unit(z65, z66) ∧ minute(z66) ∧ :snt4(z50, z73) ∧ cause-01(z73) ∧ :ARG1(z73, z74) ∧ be-located-at-91(z74) ∧ :ARG1(z74, z52) ∧ :ARG2(z74, z75) ∧ relative-position(z75) ∧ :op1(z75, z76) ∧ plane(z76) ∧ :mod(z76, z77) ∧ any(z77) ∧ :direction(z75, z78) ∧ away(z78) ∧ :quant(z75, z79) ∧ more-than(z79) ∧ :op1(z79, z80) ∧ temporal-quantity(z80) ∧ :quant(z80, 3) ∧ :unit(z80, z81) ∧ minute(z81) ∧ :duration(z82, z74) ∧ fly-01(z82) ∧ :source(z74, z83) ∧ plane(z83) ∧ :mod(z83, z84) ∧ any(z84) ∧ :snt5(z50, z85) ∧ and(z85) ∧ :op1(z85, z86) ∧ come-on-08(z86) ∧ :ARG1(z86, z87) ∧ light(z87) ∧ :ARG1(z88, z87) ∧ red-02(z88) ∧ :op2(z85, z89) ∧ stay-01(z89) ∧ :ARG1(z89, z96) ∧ determine-01(z96) ∧ :ARG0(z96, z97) ∧ person(z97) ∧ :ARG0(z98, z97) ∧ have-org-role-91(z98) ∧ :ARG1(z98, z99) ∧ company(z99) ∧ :wiki(z99, -) ∧ :name(z99, z100) ∧ name(z100) ∧ :op1(z100, "Miro") ∧ :op2(z100, "Jet") ∧ :op3(z100, "Inc.") ∧ :ARG2(z98, z101) ∧ person(z101) ∧ :ARG1(z1023, z101) ∧ expert-01(z1023) ∧ :ARG2(z1023, z1024) ∧ aviation(z1024) ∧ :ARG1(z96, z1025) ∧ time(z1025) ∧ :mod(z1025, z1026) ∧ ample(z1026) ∧ :domain(z1025, z1027) ∧ time(z1027) ∧ :duration(z1028, z1027) ∧ divert-01(z1028) ∧ :ARG0(z1028, z1029) ∧ plane(z1029) ∧ :ARG1(z1028, z1030) ∧ path(z1030) ∧ :path(z1031, z1030) ∧ fly-01(z1031) ∧ :poss(z1030, z1029) ∧ :time(z85, z90) ∧ until(z90) ∧ :op1(z90, z91) ∧ out-06(z91) ∧ :ARG1(z91, z92) ∧ plane(z92) ∧ :ARG1(z1000, z92) ∧ approach-01(z1000) ∧ :ARG2(z91, z1001) ∧ range-01(z1001) ∧ :ARG1(z1002, z1001) ∧ safe-01(z1002) ∧ :ARG1(z93, z1001) ∧ out-06(z93) ∧ :ARG2(z93, z1003) ∧ range-01(z1003) ∧ :snt6(z85, z1004) ∧ and(z1004) ∧ :op1(z1004, z1005) ∧ come-01(z1005) ∧ :ARG1(z1005, z1006) ∧ light(z1006) ∧ :ARG1(z1007, z1006) ∧ red-02(z1007) ∧ :op2(z1004, z1008) ∧ stay-01(z1008) ∧ :ARG1(z1008, z1006) ∧ :time(z1004, z1009) ∧ until(z1009) ∧ :op1(z1009, z1010) ∧ come-01(z1010) ∧ :ARG1(z1010, z1011) ∧ plane(z1011) ∧ :ARG1(z1012, z1011) ∧ approach-01(z1012) ∧ :ARG2(z1010, z1013) ∧ out-06(z1013) ∧ :ARG1(z1013, z1011) ∧ :ARG2(z1013, z1014) ∧ range-01(z1014) ∧ :snt7(z1004, z1015) ∧ and(z1015) ∧ :op1(z1015, z1016) ∧ light(z1016) ∧ :ARG1(z1017, z1016) ∧ red-02(z1017) ∧ :op2(z1015, z1018) ∧ stay-01(z1018) ∧ :ARG1(z1018, z1006) ∧ :time(z1015, z1019) ∧ until(z1019) ∧ :op1(z1019, z1020) ∧ be-located-at-91(z1020) ∧ :ARG1(z1020, z1006) ∧ :ARG2(z1020, z1021) ∧ out-06(z1021) ∧ :ARG1(z1021, z1006) ∧ :ARG2(z1021, z1022) ∧ range(z1022) ∧ :ARG1(z94, z1021) ∧ safe-01(z94) ∧ :snt8(z1004, z95) ∧ cause-01(z95) ∧ :ARG1(z95, z96) ∧ :snt9(z1004, z1032) ∧ and(z1032) ∧ :op1(z1032, z1033) ∧ come-01(z1033) ∧ :ARG1(z1033, z1034) ∧ light(z1034) ∧ :ARG1(z1035, z1034) ∧ red-02(z1035) ∧ :op2(z1032, z1036) ∧ stop-01(z1036) ∧ :ARG1(z1036, z1037) ∧ light(z1037) ∧ :ARG1(z1038, z1037) ∧ red-02(z1038) ∧ :prep-to(z1004, z1039) ∧ device(z1039) ∧ :ARG0(z1040, z1039) ∧ alert-01(z1040) ∧ :ARG1(z1040, z1006) ∧ :prep-to(z1040, z1041) ∧ device(z1041) ∧ :ARG0(z102, z1041) ∧ counter-01(z102) ∧ :ARG1(z102, z103) ∧ collide-01(z103) ∧ :prep-by(z85, z104) ∧ device(z104) ∧ :ARG0(z105, z104) ∧ alert-02(z105) ∧ :ARG1(z105, z1006) ∧ :prep-by(z105, z106) ∧ device(z106) ∧ :ARG0(z107, z106) ∧ special-02(z107) ∧ :prep-to(z104, z1042) ∧ device(z1042) ∧ :ARG0(z1043, z1042) ∧ alert-02(z1043) ∧ :ARG1(z1043, z1006) ∧ :prep-to(z1043, z1044) ∧ collide-01(z1044) ∧ :prep-by(z50, z1045) ∧ be-temporally-at-91(z1045) ∧ :ARG1(z1045, z1046) ∧ plane(z1046) ∧ :wiki(z1046, "McDonnell_Douglas_DC-10") ∧ :name(z1046, z1047) ∧ name(z1047) ∧ :op1(z1047, "DC-10") ∧ :prep-by(z1045, z108) ∧ name(z108)


Some people who are not educated in college become good writers, while more good writers are educated in college. Excellent writers are sensitive and imaginative people, and only sensitive and imaginative people can write works that touch people's hearts.

Question: If the above statement is true, which of the following options must be true?

Choices:
- Only a good writer can write something that touches people's hearts.
- Some sensitive and imaginative writers are not good writers.
- Writers who can write works that touch people's hearts are all good writers.
- Some sensitive and imaginative writers have not been educated in college.

(z0 / multi-sentence
    :snt1 (z1 / contrast-01
              :ARG1 (z2 / become-01
                        :ARG1 (z3 / person
                                  :mod (z4 / some)
                                  :ARG1-of (z5 / educate-01
                                               :polarity -
                                               :location (z6 / college)))
                        :ARG2 (z7 / person
                                  :ARG0-of (z8 / write-01
                                               :ARG1-of (z9 / good-03))))
              :ARG2 (z10 / educate-01
                         :ARG1 (z11 / person
                                    :ARG1-of (z12 / good-03
                                                  :ARG2 z8)
                                    :quant (z13 / more))
                         :location z6))
    :snt2 (z14 / and
               :op1 (z15 / person
                         :ARG0-of (z16 / sensitive-03)
                         :mod (z17 / imaginative)
                         :domain (z18 / person
                                      :ARG0-of (z19 / write-01
                                                    :ARG1-of (z20 / excellent-02))))
               :op2 (z21 / possible-01
                         :ARG1 (z22 / write-01
                                    :ARG0 (z23 / person
                                               :ARG0-of (z24 / sensitive-03)
                                               :mod (z25 / imaginative)
                                               :mod (z26 / only))
                                    :ARG1 (z27 / thing
                                               :ARG1-of (z28 / work-01)
                                               :ARG0-of (z29 / touch-01
                                                             :ARG1 (z30 / heart
                                                                        :part-of (z31 / person)))))))
    :snt3 (z32 / go-01
               :ARG1 (z33 / springsteen)
               :direction (z34 / out)
               :ARG1-of (z35 / pass-03))
    :snt4 (z36 / possible-01
               :ARG1 (z37 / write-01
                          :ARG0 (z38 / person
                                     :ARG1-of (z39 / sensitive-03)
                                     :mod (z40 / imaginative)
                                     :mod (z41 / only)
                                     :ARG0-of (z42 / write-01))
                          :ARG1 (z43 / thing
                                     :ARG1-of (z44 / work-01)
                                     :ARG0-of (z45 / touch-01
                                                   :ARG1 (z46 / heart
                                                              :part-of (z47 / person)))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ contrast-01(z1) ∧ :ARG1(z1, z2) ∧ become-01(z2) ∧ :ARG1(z2, z3) ∧ person(z3) ∧ :mod(z3, z4) ∧ some(z4) ∧ ¬(:ARG1(z5, z3) ∧ educate-01(z5) ∧ :location(z5, z6) ∧ college(z6)) ∧ :ARG2(z2, z7) ∧ person(z7) ∧ :ARG0(z8, z7) ∧ write-01(z8) ∧ :ARG1(z9, z8) ∧ good-03(z9) ∧ :ARG2(z1, z10) ∧ educate-01(z10) ∧ :ARG1(z10, z11) ∧ person(z11) ∧ :ARG1(z12, z11) ∧ good-03(z12) ∧ :ARG2(z12, z8) ∧ :quant(z11, z13) ∧ more(z13) ∧ :location(z10, z6) ∧ :snt2(z0, z14) ∧ and(z14) ∧ :op1(z14, z15) ∧ person(z15) ∧ :ARG0(z16, z15) ∧ sensitive-03(z16) ∧ :mod(z15, z17) ∧ imaginative(z17) ∧ :domain(z15, z18) ∧ person(z18) ∧ :ARG0(z19, z18) ∧ write-01(z19) ∧ :ARG1(z20, z19) ∧ excellent-02(z20) ∧ :op2(z14, z21) ∧ possible-01(z21) ∧ :ARG1(z21, z22) ∧ write-01(z22) ∧ :ARG0(z22, z23) ∧ person(z23) ∧ :ARG0(z24, z23) ∧ sensitive-03(z24) ∧ :mod(z23, z25) ∧ imaginative(z25) ∧ :mod(z23, z26) ∧ only(z26) ∧ :ARG1(z22, z27) ∧ thing(z27) ∧ :ARG1(z28, z27) ∧ work-01(z28) ∧ :ARG0(z29, z27) ∧ touch-01(z29) ∧ :ARG1(z29, z30) ∧ heart(z30) ∧ :part(z31, z30) ∧ person(z31) ∧ :snt3(z0, z32) ∧ go-01(z32) ∧ :ARG1(z32, z33) ∧ springsteen(z33) ∧ :direction(z32, z34) ∧ out(z34) ∧ :ARG1(z35, z32) ∧ pass-03(z35) ∧ :snt4(z0, z36) ∧ possible-01(z36) ∧ :ARG1(z36, z37) ∧ write-01(z37) ∧ :ARG0(z37, z38) ∧ person(z38) ∧ :ARG1(z39, z38) ∧ sensitive-03(z39) ∧ :mod(z38, z40) ∧ imaginative(z40) ∧ :mod(z38, z41) ∧ only(z41) ∧ :ARG0(z42, z38) ∧ write-01(z42) ∧ :ARG1(z37, z43) ∧ thing(z43) ∧ :ARG1(z44, z43) ∧ work-01(z44) ∧ :ARG0(z45, z43) ∧ touch-01(z45) ∧ :ARG1(z45, z46) ∧ heart(z46) ∧ :part(z47, z46) ∧ person(z47)


The lightest elements contained in the primitive universe are hydrogen and helium. The slightly heavier elements, such as carbon, are only formed in the nuclear reaction of the planet and will be dispersed when the planet explodes. Although the age of the universe is not more than two billion However, recently discovered gas clouds contained carbon element billions of years ago.

Question: Based on the above point of view, which of the following is true?

Choices:
- Primitive planet contains only element hydrogen
- Some planets were formed before the age of the universe reached two billion years
- The carbon element in the gas cloud later formed parts of some planets
- The planet with time is not the same as the gas cloud

(z0 / multi-sentence
    :snt1 (z1 / contain-01
              :ARG0 (z2 / universe
                        :mod (z3 / primitive))
              :ARG1 (z4 / element
                        :domain (z5 / and
                                    :op1 (z6 / hydrogen)
                                    :op2 (z7 / helium))
                        :ARG1-of (z8 / have-degree-91
                                     :ARG2 (z9 / light-07
                                               :ARG1 z4)
                                     :ARG3 (z10 / most))))
    :snt2 (z11 / and
               :op1 (z12 / form-01
                         :ARG1 (z13 / element
                                    :example (z14 / carbon)
                                    :ARG1-of (z15 / have-degree-91
                                                  :ARG2 (z16 / heavy)
                                                  :ARG3 (z17 / more
                                                             :quant (z18 / slight))))
                         :ARG2 (z19 / react-01
                                    :ARG0 (z20 / planet)
                                    :mod (z21 / nucleus))
                         :mod (z22 / only))
               :op2 (z23 / disperse-01
                         :ARG1 z13
                         :time (z24 / explode-01
                                    :ARG1 z20)))
    :snt3 (z25 / have-concession-91
               :ARG1 (z26 / contrast-01
                          :ARG2 (z27 / have-quant-91
                                     :polarity -
                                     :ARG1 (z28 / age
                                                :poss (z29 / universe))
                                     :ARG2 (z30 / more-than
                                                :op1 2000000000)
                                     :ARG3 (z31 / more))))
    :snt4 (z32 / contrast-01
               :ARG2 (z33 / contain-01
                          :ARG0 (z34 / cloud
                                     :mod (z35 / gas)
                                     :ARG1-of (z36 / discover-01
                                                   :time (z37 / recent)))
                          :ARG1 (z38 / element
                                     :consist-of (z39 / carbon))
                          :time (z40 / before
                                     :op1 (z41 / now)
                                     :quant (z42 / multiple
                                                 :op1 (z43 / temporal-quantity
                                                           :quant 1000000000
                                                           :unit (z44 / year))))))
    :snt5 (z45 / go-01
               :ARG1 (z46 / straw)
               :direction (z47 / out)
               :time (z48 / before
                          :op1 (z49 / now)
                          :quant (z50 / multiple
                                      :op1 (z51 / temporal-quantity
                                                :quant 1000000000
                                                :unit (z52 / year)))))
    :snt6 (z53 / have-03
               :ARG0 (z54 / cloud
                          :mod (z55 / gas)
                          :ARG1-of (z56 / discover-01
                                        :time (z57 / recent)))
               :ARG1 (z58 / element
                          :consist-of (z59 / carbon))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ contain-01(z1) ∧ :ARG0(z1, z2) ∧ universe(z2) ∧ :mod(z2, z3) ∧ primitive(z3) ∧ :ARG1(z1, z4) ∧ element(z4) ∧ :domain(z4, z5) ∧ and(z5) ∧ :op1(z5, z6) ∧ hydrogen(z6) ∧ :op2(z5, z7) ∧ helium(z7) ∧ :ARG1(z8, z4) ∧ have-degree-91(z8) ∧ :ARG2(z8, z9) ∧ light-07(z9) ∧ :ARG1(z9, z4) ∧ :ARG3(z8, z10) ∧ most(z10) ∧ :snt2(z0, z11) ∧ and(z11) ∧ :op1(z11, z12) ∧ form-01(z12) ∧ :ARG1(z12, z13) ∧ element(z13) ∧ :example(z13, z14) ∧ carbon(z14) ∧ :ARG1(z15, z13) ∧ have-degree-91(z15) ∧ :ARG2(z15, z16) ∧ heavy(z16) ∧ :ARG3(z15, z17) ∧ more(z17) ∧ :quant(z17, z18) ∧ slight(z18) ∧ :ARG2(z12, z19) ∧ react-01(z19) ∧ :ARG0(z19, z20) ∧ planet(z20) ∧ :mod(z19, z21) ∧ nucleus(z21) ∧ :mod(z12, z22) ∧ only(z22) ∧ :op2(z11, z23) ∧ disperse-01(z23) ∧ :ARG1(z23, z13) ∧ :time(z23, z24) ∧ explode-01(z24) ∧ :ARG1(z24, z20) ∧ :snt3(z0, z25) ∧ have-concession-91(z25) ∧ :ARG1(z25, z26) ∧ contrast-01(z26) ∧ ¬(:ARG2(z26, z27) ∧ have-quant-91(z27) ∧ :ARG1(z27, z28) ∧ age(z28) ∧ :poss(z28, z29) ∧ universe(z29) ∧ :ARG2(z27, z30) ∧ more-than(z30) ∧ :op1(z30, 2000000000) ∧ :ARG3(z27, z31) ∧ more(z31)) ∧ :snt4(z0, z32) ∧ contrast-01(z32) ∧ :ARG2(z32, z33) ∧ contain-01(z33) ∧ :ARG0(z33, z34) ∧ cloud(z34) ∧ :mod(z34, z35) ∧ gas(z35) ∧ :ARG1(z36, z34) ∧ discover-01(z36) ∧ :time(z36, z37) ∧ recent(z37) ∧ :ARG1(z33, z38) ∧ element(z38) ∧ :consist(z39, z38) ∧ carbon(z39) ∧ :time(z33, z40) ∧ before(z40) ∧ :op1(z40, z41) ∧ now(z41) ∧ :quant(z40, z42) ∧ multiple(z42) ∧ :op1(z42, z43) ∧ temporal-quantity(z43) ∧ :quant(z43, 1000000000) ∧ :unit(z43, z44) ∧ year(z44) ∧ :snt5(z0, z45) ∧ go-01(z45) ∧ :ARG1(z45, z46) ∧ straw(z46) ∧ :direction(z45, z47) ∧ out(z47) ∧ :time(z45, z48) ∧ before(z48) ∧ :op1(z48, z49) ∧ now(z49) ∧ :quant(z48, z50) ∧ multiple(z50) ∧ :op1(z50, z51) ∧ temporal-quantity(z51) ∧ :quant(z51, 1000000000) ∧ :unit(z51, z52) ∧ year(z52) ∧ :snt6(z0, z53) ∧ have-03(z53) ∧ :ARG0(z53, z54) ∧ cloud(z54) ∧ :mod(z54, z55) ∧ gas(z55) ∧ :ARG1(z56, z54) ∧ discover-01(z56) ∧ :time(z56, z57) ∧ recent(z57) ∧ :ARG1(z53, z58) ∧ element(z58) ∧ :consist(z59, z58) ∧ carbon(z59)


The main purpose of professional education is to help college students master the basic knowledge of their respective professional fields as comprehensively as possible, while the purpose of general education is to help college students gain the meaning and value of life. Therefore, some experts pointed out that compared with professional education, general education has a greater impact on personal future life.

Question: Which of the followings, if true, best supports the expert's assertion?

Choices:
- Value issues are related to human happiness and dignity, and are worth exploring and thinking about in general education.
- Nowadays, there are far more professional education courses offered by universities in our country than general education courses.
- If a person does not have professional knowledge, he may be able to live. If he has no value pursuit, he will be just a soulless body.
- Without professional knowledge, it is difficult for people to cope with the challenges of future life. And incorrect value pursuits will mislead people's lives.

(z0 / multi-sentence
    :snt1 (z1 / contrast-01
              :ARG1 (z2 / have-purpose-91
                        :ARG1 (z3 / educate-01
                                  :mod (z4 / professional))
                        :ARG2 (z5 / help-01
                                  :ARG0 z3
                                  :ARG1 (z6 / master-01
                                            :ARG0 (z7 / person
                                                      :ARG0-of (z8 / study-01
                                                                   :location (z9 / college)))
                                            :ARG1 (z10 / know-01
                                                       :ARG0 z7
                                                       :ARG1 (z11 / field
                                                                  :mod z4
                                                                  :mod (z12 / respective)
                                                                  :poss z7)
                                                       :mod (z13 / basic))
                                            :manner (z14 / comprehensive
                                                         :ARG2-of (z15 / have-degree-91
                                                                       :ARG1 z6
                                                                       :ARG3 (z16 / equal)
                                                                       :ARG4 (z17 / possible-01
                                                                                :ARG1 z6))))
                                  :ARG2 z7)
                        :mod (z18 / main))
              :ARG2 (z19 / have-purpose-91
                         :ARG1 z3
                         :ARG2 (z20 / help-01
                                    :ARG0 z3
                                    :ARG1 (z21 / gain-02
                                               :ARG0 z7
                                               :ARG1 (z22 / and
                                                          :op1 (z23 / thing
                                                                    :ARG2-of (z24 / mean-01
                                                                                :ARG1 (z25 / life)))
                                                          :op2 (z26 / thing
                                                                    :ARG2-of (z27 / value-01
                                                                                :ARG1 z25))))
                                    :ARG2 z7)))
    :snt2 (z28 / cause-01
               :ARG1 (z29 / point-out-02
                          :ARG0 (z30 / person
                                     :ARG1-of (z31 / expert-01)
                                     :quant (z32 / some))
                          :ARG1 (z33 / have-degree-91
                                     :ARG1 (z34 / impact-01
                                                :ARG0 (z35 / educate-01
                                                           :ARG1-of (z36 / general-02))
                                                :ARG1 (z37 / life
                                                           :time (z38 / future)
                                                           :ARG1-of (z39 / personal-02))
                                                :ARG1-of (z40 / compare-01
                                                              :ARG2 (z41 / educate-01
                                                                         :mod (z42 / professional))))
                                     :ARG2 (z43 / great)
                                     :ARG3 (z44 / more))))
    :snt3 (z45 / cause-01
               :ARG1 (z46 / go-01
                          :ARG1 (z47 / time
                                     :time-of (z48 / go-01))
                          :direction (z49 / out)))
    :snt4 (z50 / have-concession-91
               :ARG1 (z51 / cause-01
                          :ARG1 (z52 / have-degree-91
                                     :ARG1 (z53 / impact-01
                                                :ARG0 (z54 / educate-01
                                                           :ARG1-of (z55 / general-02))
                                                :ARG1 (z56 / life
                                                           :time (z57 / future)
                                                           :ARG1-of (z58 / personal-02)))
                                     :ARG2 (z59 / great)
                                     :ARG3 (z60 / more))))
    :snt5 (z61 / have-concession-91
               :ARG1 (z62 / have-purpose-91
                          :ARG1 (z63 / educate-01
                                     :ARG1-of (z64 / general-02))
                          :ARG2 (z65 / help-01
                                     :ARG1 (z66 / gain-02
                                                :ARG0 z35
                                                :ARG1 (z67 / and
                                                           :op1 (z68 / thing
                                                                     :ARG1-of (z69 / mean-01
                                                                                :ARG2 (z70 / life)))
                                                           :op2 (z71 / thing
                                                                     :ARG2-of (z72 / value-01
                                                                                :ARG1 z70))))
                                     :ARG2 (z73 / person
                                                :ARG0-of (z74 / study-01
                                                              :location (z75 / college))))
                          :mod (z76 / main)))
    :snt6 (z77 / contrast-01
               :ARG1 (z78 / have-purpose-91
                          :ARG1 (z79 / teach-01
                                     :ARG2 (z80 / person
                                                :ARG0-of (z81 / study-01)
                                                :mod (z82 / college)))
                          :ARG2 (z83 / master-01
                                     :ARG0 z80
                                     :ARG1 (z84 / know-01
                                                :ARG0 z80
                                                :ARG1 (z85 / field
                                                           :mod (z86 / professional)
                                                           :poss z80)
                                                :mod (z87 / basic))
                                     :manner (z88 / comprehensive
                                                  :ARG2-of (z89 / have-degree-91
                                                                :ARG1 z80
                                                                :ARG3 (z90 / equal)
                                                                :ARG4 (z91 / possible-01
                                                                           :ARG1 (z92 / comprehensible))))))
               :ARG2 (z93 / have-purpose-91
                          :ARG1 (z94 / educate-01
                                     :ARG1 (z95 / person
                                                :ARG0-of (z1000 / study-01)
                                                :mod (z1001 / college)))
                          :ARG2 (z1002 / help-01
                                       :ARG1 (z1003 / gain-02
                                                    :ARG0 z69
                                                    :ARG1 (z1004 / and
                                                                 :op1 (z1005 / thing
                                                                             :ARG1-of (z1006 / mean-01
                                                                                :ARG2 (z1007 / life)))
                                                                 :op2 (z1008 / thing
                                                                             :ARG2-of (z103 / value-01
                                                                                :ARG1 z58))))
                                       :ARG2 z73))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ contrast-01(z1) ∧ :ARG1(z1, z2) ∧ have-purpose-91(z2) ∧ :ARG1(z2, z3) ∧ educate-01(z3) ∧ :mod(z3, z4) ∧ professional(z4) ∧ :ARG2(z2, z5) ∧ help-01(z5) ∧ :ARG0(z5, z3) ∧ :ARG1(z5, z6) ∧ master-01(z6) ∧ :ARG0(z6, z7) ∧ person(z7) ∧ :ARG0(z8, z7) ∧ study-01(z8) ∧ :location(z8, z9) ∧ college(z9) ∧ :ARG1(z6, z10) ∧ know-01(z10) ∧ :ARG0(z10, z7) ∧ :ARG1(z10, z11) ∧ field(z11) ∧ :mod(z11, z4) ∧ :mod(z11, z12) ∧ respective(z12) ∧ :poss(z11, z7) ∧ :mod(z10, z13) ∧ basic(z13) ∧ :manner(z6, z14) ∧ comprehensive(z14) ∧ :ARG2(z15, z14) ∧ have-degree-91(z15) ∧ :ARG1(z15, z6) ∧ :ARG3(z15, z16) ∧ equal(z16) ∧ :ARG4(z15, z17) ∧ possible-01(z17) ∧ :ARG1(z17, z6) ∧ :ARG2(z5, z7) ∧ :mod(z2, z18) ∧ main(z18) ∧ :ARG2(z1, z19) ∧ have-purpose-91(z19) ∧ :ARG1(z19, z3) ∧ :ARG2(z19, z20) ∧ help-01(z20) ∧ :ARG0(z20, z3) ∧ :ARG1(z20, z21) ∧ gain-02(z21) ∧ :ARG0(z21, z7) ∧ :ARG1(z21, z22) ∧ and(z22) ∧ :op1(z22, z23) ∧ thing(z23) ∧ :ARG2(z24, z23) ∧ mean-01(z24) ∧ :ARG1(z24, z25) ∧ life(z25) ∧ :op2(z22, z26) ∧ thing(z26) ∧ :ARG2(z27, z26) ∧ value-01(z27) ∧ :ARG1(z27, z25) ∧ :ARG2(z20, z7) ∧ :snt2(z0, z28) ∧ cause-01(z28) ∧ :ARG1(z28, z29) ∧ point-out-02(z29) ∧ :ARG0(z29, z30) ∧ person(z30) ∧ :ARG1(z31, z30) ∧ expert-01(z31) ∧ :quant(z30, z32) ∧ some(z32) ∧ :ARG1(z29, z33) ∧ have-degree-91(z33) ∧ :ARG1(z33, z34) ∧ impact-01(z34) ∧ :ARG0(z34, z35) ∧ educate-01(z35) ∧ :ARG1(z36, z35) ∧ general-02(z36) ∧ :ARG1(z34, z37) ∧ life(z37) ∧ :time(z37, z38) ∧ future(z38) ∧ :ARG1(z39, z37) ∧ personal-02(z39) ∧ :ARG1(z40, z34) ∧ compare-01(z40) ∧ :ARG2(z40, z41) ∧ educate-01(z41) ∧ :mod(z41, z42) ∧ professional(z42) ∧ :ARG2(z33, z43) ∧ great(z43) ∧ :ARG3(z33, z44) ∧ more(z44) ∧ :snt3(z0, z45) ∧ cause-01(z45) ∧ :ARG1(z45, z46) ∧ go-01(z46) ∧ :ARG1(z46, z47) ∧ time(z47) ∧ :time(z48, z47) ∧ go-01(z48) ∧ :direction(z46, z49) ∧ out(z49) ∧ :snt4(z0, z50) ∧ have-concession-91(z50) ∧ :ARG1(z50, z51) ∧ cause-01(z51) ∧ :ARG1(z51, z52) ∧ have-degree-91(z52) ∧ :ARG1(z52, z53) ∧ impact-01(z53) ∧ :ARG0(z53, z54) ∧ educate-01(z54) ∧ :ARG1(z55, z54) ∧ general-02(z55) ∧ :ARG1(z53, z56) ∧ life(z56) ∧ :time(z56, z57) ∧ future(z57) ∧ :ARG1(z58, z56) ∧ personal-02(z58) ∧ :ARG2(z52, z59) ∧ great(z59) ∧ :ARG3(z52, z60) ∧ more(z60) ∧ :snt5(z0, z61) ∧ have-concession-91(z61) ∧ :ARG1(z61, z62) ∧ have-purpose-91(z62) ∧ :ARG1(z62, z63) ∧ educate-01(z63) ∧ :ARG1(z64, z63) ∧ general-02(z64) ∧ :ARG2(z62, z65) ∧ help-01(z65) ∧ :ARG1(z65, z66) ∧ gain-02(z66) ∧ :ARG0(z66, z35) ∧ :ARG1(z66, z67) ∧ and(z67) ∧ :op1(z67, z68) ∧ thing(z68) ∧ :ARG1(z69, z68) ∧ mean-01(z69) ∧ :ARG2(z69, z70) ∧ life(z70) ∧ :op2(z67, z71) ∧ thing(z71) ∧ :ARG2(z72, z71) ∧ value-01(z72) ∧ :ARG1(z72, z70) ∧ :ARG2(z65, z73) ∧ person(z73) ∧ :ARG0(z74, z73) ∧ study-01(z74) ∧ :location(z74, z75) ∧ college(z75) ∧ :mod(z62, z76) ∧ main(z76) ∧ :snt6(z0, z77) ∧ contrast-01(z77) ∧ :ARG1(z77, z78) ∧ have-purpose-91(z78) ∧ :ARG1(z78, z79) ∧ teach-01(z79) ∧ :ARG2(z79, z80) ∧ person(z80) ∧ :ARG0(z81, z80) ∧ study-01(z81) ∧ :mod(z80, z82) ∧ college(z82) ∧ :ARG2(z78, z83) ∧ master-01(z83) ∧ :ARG0(z83, z80) ∧ :ARG1(z83, z84) ∧ know-01(z84) ∧ :ARG0(z84, z80) ∧ :ARG1(z84, z85) ∧ field(z85) ∧ :mod(z85, z86) ∧ professional(z86) ∧ :poss(z85, z80) ∧ :mod(z84, z87) ∧ basic(z87) ∧ :manner(z83, z88) ∧ comprehensive(z88) ∧ :ARG2(z89, z88) ∧ have-degree-91(z89) ∧ :ARG1(z89, z80) ∧ :ARG3(z89, z90) ∧ equal(z90) ∧ :ARG4(z89, z91) ∧ possible-01(z91) ∧ :ARG1(z91, z92) ∧ comprehensible(z92) ∧ :ARG2(z77, z93) ∧ have-purpose-91(z93) ∧ :ARG1(z93, z94) ∧ educate-01(z94) ∧ :ARG1(z94, z95) ∧ person(z95) ∧ :ARG0(z1000, z95) ∧ study-01(z1000) ∧ :mod(z95, z1001) ∧ college(z1001) ∧ :ARG2(z93, z1002) ∧ help-01(z1002) ∧ :ARG1(z1002, z1003) ∧ gain-02(z1003) ∧ :ARG0(z1003, z69) ∧ :ARG1(z1003, z1004) ∧ and(z1004) ∧ :op1(z1004, z1005) ∧ thing(z1005) ∧ :ARG1(z1006, z1005) ∧ mean-01(z1006) ∧ :ARG2(z1006, z1007) ∧ life(z1007) ∧ :op2(z1004, z1008) ∧ thing(z1008) ∧ :ARG2(z103, z1008) ∧ value-01(z103) ∧ :ARG1(z103, z58) ∧ :ARG2(z1002, z73)


Transitional exploration behavior refers to the interest of curiosity, which does not decrease with the increase of familiarity with new things, but continues to decrease, resulting in the destruction of the things you are fascinated with.

Question: Which of the following options belongs to transitional exploration behavior?

Choices:
- Xiao Hou can't put down the toy remote control car, and no one is allowed to touch it every time, even the most prestigious mother can't touch it, otherwise she will cry and make a scene
- Xiao Nan has become more and more fond of playing with airplane models one by one every day. There are already four different types of airplane models falling apart on his cot
- Xiao Bao is fascinated by the Rubik's cube. every time he eats, he has to adjust one side of the Rubik's cube to the same color, and several times he even falls on the Rubik's cube
- A three-year-old boy, sometimes he has to play with a solid ball with a Mickey Mouse pattern, and his parents play football, and sometimes he wants to see a talking parrot

(z0 / refer-01
    :ARG1 (z1 / behave-01
              :ARG1 (z2 / explore-01
                        :manner (z3 / transition-01)))
    :ARG2 (z4 / interest-01
              :ARG2 (z5 / curious-01)
              :ARG1-of (z6 / decrease-01
                           :ARG1-of (z7 / cause-01
                                        :polarity -
                                        :ARG0 (z8 / increase-01
                                                  :ARG1 (z9 / familiarize-01
                                                            :ARG2 (z10 / thing
                                                                       :ARG1-of (z11 / new-01)))))
                           :ARG1-of (z12 / continue-01)
                           :ARG1-of (z13 / result-01
                                         :ARG2 (z14 / destroy-01
                                                    :ARG1 (z15 / thing
                                                               :ARG1-of (z16 / fascinate-01
                                                                             :ARG0 (z17 / you)))))
                           :ARG1-of (z18 / contrast-01
                                         :ARG2 (z19 / decrease-01
                                                    :ARG1 z4
                                                    :ARG1-of (z20 / continue-01)))))
    :ARG1-of (z21 / go-01
                  :direction (z22 / on)
                  :direction (z23 / out))
    :ARG1-of (z24 / cause-01
                  :ARG0 (z25 / blow-01
                             :ARG1 (z26 / explore-01))))

refer-01(z0) ∧ :ARG1(z0, z1) ∧ behave-01(z1) ∧ :ARG1(z1, z2) ∧ explore-01(z2) ∧ :manner(z2, z3) ∧ transition-01(z3) ∧ :ARG2(z0, z4) ∧ interest-01(z4) ∧ :ARG2(z4, z5) ∧ curious-01(z5) ∧ :ARG1(z6, z4) ∧ decrease-01(z6) ∧ ¬(:ARG1(z7, z6) ∧ cause-01(z7) ∧ :ARG0(z7, z8) ∧ increase-01(z8) ∧ :ARG1(z8, z9) ∧ familiarize-01(z9) ∧ :ARG2(z9, z10) ∧ thing(z10) ∧ :ARG1(z11, z10) ∧ new-01(z11)) ∧ :ARG1(z12, z6) ∧ continue-01(z12) ∧ :ARG1(z13, z6) ∧ result-01(z13) ∧ :ARG2(z13, z14) ∧ destroy-01(z14) ∧ :ARG1(z14, z15) ∧ thing(z15) ∧ :ARG1(z16, z15) ∧ fascinate-01(z16) ∧ :ARG0(z16, z17) ∧ you(z17) ∧ :ARG1(z18, z6) ∧ contrast-01(z18) ∧ :ARG2(z18, z19) ∧ decrease-01(z19) ∧ :ARG1(z19, z4) ∧ :ARG1(z20, z19) ∧ continue-01(z20) ∧ :ARG1(z21, z0) ∧ go-01(z21) ∧ :direction(z21, z22) ∧ on(z22) ∧ :direction(z21, z23) ∧ out(z23) ∧ :ARG1(z24, z0) ∧ cause-01(z24) ∧ :ARG0(z24, z25) ∧ blow-01(z25) ∧ :ARG1(z25, z26) ∧ explore-01(z26)


Zhao, Qian, Sun and Li compare the heaviest weight. It is known that Zhao, Qian's weight is equal to sun and Li's weight. When Qian and Li are exchanged, Zhao and Li's weight is higher than Qian, Sun's weight, and money's weight is greater than Zhao and Sun's weight.

Question: If the above description is true, which of the following is true?

Choices:
- Qian is the heaviest.
- Zhao is the heaviest.
- Sun is the heaviest.
- Li is the heaviest.

(z0 / multi-sentence
    :snt1 (z1 / compare-01
              :ARG0 (z2 / and
                        :op1 (z3 / person
                                 :wiki -
                                 :name (z4 / name
                                           :op1 "Zhao"))
                        :op2 (z5 / person
                                 :wiki -
                                 :name (z6 / name
                                           :op1 "Sun"))
                        :op3 (z7 / person
                                 :wiki -
                                 :name (z8 / name
                                           :op1 "Li"))
                        :op4 (z9 / person
                                 :wiki -
                                 :name (z10 / name
                                            :op1 "Zhao"))
                        :op5 (z11 / person
                                  :wiki -
                                  :name (z12 / name
                                             :op1 "Sun"))
                        :op6 (z13 / person
                                  :wiki -
                                  :name (z14 / name
                                             :op1 "Li")))
              :ARG1 (z15 / weight
                         :ARG1-of (z16 / have-degree-91
                                       :ARG2 (z17 / heavy)
                                       :ARG3 (z18 / most)))
              :ARG2 (z19 / weight
                         :ARG1-of (z20 / have-degree-91
                                       :ARG2 (z21 / heavy)
                                       :ARG3 (z22 / most)))
              :ARG1-of (z23 / know-01))
    :snt2 (z24 / equal-01
               :ARG1 (z25 / weight
                          :poss (z26 / person
                                     :wiki -
                                     :name (z27 / name
                                                :op1 "Zhao")))
               :ARG2 (z28 / weight
                          :poss (z29 / and
                                     :op1 (z30 / person
                                               :wiki -
                                               :name (z31 / name
                                                          :op1 "Sun"))
                                     :op2 (z32 / person
                                               :wiki -
                                               :name (z33 / name
                                                          :op1 "Li")))))
    :snt3 (z34 / and
               :op1 (z35 / high-02
                         :ARG1 (z36 / weight
                                    :poss z26)
                         :ARG2-of (z37 / have-degree-91
                                       :ARG1 z36
                                       :ARG3 (z38 / more)
                                       :ARG4 (z39 / weight
                                                  :poss z30)))
               :op2 (z40 / great
                         :domain (z41 / weight
                                      :poss (z42 / money))
                         :ARG2-of (z43 / have-degree-91
                                       :ARG1 z41
                                       :ARG3 (z44 / more)
                                       :ARG4 z36))
               :time (z45 / exchange-01
                          :ARG1 (z46 / and
                                     :op1 z26
                                     :op2 (z47 / person
                                               :wiki -
                                               :name (z48 / name
                                                          :op1 "Li")))))
    :snt4 (z49 / know-01
               :ARG1 (z50 / equal-01
                          :ARG1 (z51 / weight
                                     :poss (z52 / person
                                                :wiki -
                                                :name (z53 / name
                                                           :op1 "Zhao")))
                          :ARG2 (z54 / and
                                     :op1 z30
                                     :op2 (z55 / person
                                               :wiki -
                                               :name (z56 / name
                                                          :op1 "Sun"))
                                     :op3 (z57 / weight
                                               :poss z55))))
    :snt5 (z58 / go-01
               :ARG1 (z59 / and
                          :op1 (z60 / person
                                    :wiki -
                                    :name (z61 / name
                                               :op1 "Zhao"))
                          :op2 (z62 / person
                                    :wiki -
                                    :name (z63 / name
                                               :op1 "Sun"))
                          :op3 (z64 / person
                                    :wiki -
                                    :name (z65 / name
                                               :op1 "Li")))
               :ARG4 (z66 / rate-entity-91
                          :ARG1 (z67 / and
                                     :op1 (z68 / temporal-quantity
                                               :quant 1
                                               :unit (z69 / dollar))
                                     :op2 (z70 / temporal-quantity
                                               :quant 1
                                               :unit (z71 / euro)))
                          :ARG2 (z72 / rate-entity-91
                                     :ARG1 (z73 / and
                                                :op1 (z74 / temporal-quantity
                                                          :quant 1
                                                          :unit (z75 / hour))
                                                :op2 (z76 / temporal-quantity
                                                          :quant 1
                                                          :unit (z77 / day)))
                                     :ARG2 (z78 / temporal-quantity
                                                :quant 1
                                                :unit (z79 / week)))))
    :snt6 (z80 / go-01
               :ARG1 (z81 / and
                          :op1 (z82 / person
                                    :wiki -
                                    :name (z83 / name
                                               :op1 "Zhao"))
                          :op2 (z84 / person
                                    :wiki -
                                    :name (z85 / name
                                               :op1 "Li"))
                          :op3 (z86 / person
                                    :wiki -
                                    :name (z87 / name
                                               :op1 "Sun"))
                          :op4 (z88 / person
                                    :wiki -
                                    :name (z89 / name
                                               :op1 "Ma"))
                          :op5 (z90 / person
                                    :wiki -
                                    :name (z91 / name
                                               :op1 "Ma"))
                          :op7 "Ma"
                          :op8 "Ma")
               :op9 (z92 / great
                         :domain (z93 / weight
                                      :poss z81)
                         :ARG2-of (z94 / have-degree-91
                                       :ARG1 z81
                                       :ARG3 (z95 / more)
                                       :ARG4 (z96 / and
                                                  :op1 (z97 / weight
                                                            :poss z81)))))
    :snt10 (z98 / exchange-01
                :ARG1 (z99 / and
                           :op1 (z100 / person
                                      :wiki -
                                      :name (z101 / name
                                                  :op1 "Ma")
                                      :op2 (z102 / person
                                                 :wiki -
                                                 :name (z103 / name
                                                             :op1 "Ma")))))
    :op11 (z1000 / exchange-01
                 :ARG1 (z1001 / and
                              :op1 (z1002 / person
                                          :wiki -
                                          :name (z1003 / name
                                                       :op1 "Ma"
                                                       :op2 "Ma"))
                              :op2 (z1004 / person
                                          :wiki -
                                          :name (z1005 / name
                                                       :op1 "Ma")))
                 :op12 (z1006 / person
                              :wiki -
                              :name (z1007 / name
                                           :op1 "Ma"
                                           :op2 "Ma"))
                 :op13 (z1008 / person
                              :wiki -
                              :name (z1009 / name
                                           :op1 "Ma"
                                           :op2 "Ma"))
                 :op14 (z1010 / person
                              :wiki -
                              :name (z1011 / name
                                           :op1 "Ma"
                                           :op2 "Ma"))
                 :op15 (z1012 / name
                              :op1 "Ma")
                 :op16 "Ma")
    :op17 (z1013 / person
                 :wiki -
                 :name (z1014 / name
                              :op1 "Ma"))
    :op18 (z104 / name
                :op1 "Ma"
                :op2 "Ma")
    :op21 (z105 / person
                :wiki -
                :name (z106 / name
                            :op1 "Ma"))
    :op22 "Ma")

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ compare-01(z1) ∧ :ARG0(z1, z2) ∧ and(z2) ∧ :op1(z2, z3) ∧ person(z3) ∧ :wiki(z3, -) ∧ :name(z3, z4) ∧ name(z4) ∧ :op1(z4, "Zhao") ∧ :op2(z2, z5) ∧ person(z5) ∧ :wiki(z5, -) ∧ :name(z5, z6) ∧ name(z6) ∧ :op1(z6, "Sun") ∧ :op3(z2, z7) ∧ person(z7) ∧ :wiki(z7, -) ∧ :name(z7, z8) ∧ name(z8) ∧ :op1(z8, "Li") ∧ :op4(z2, z9) ∧ person(z9) ∧ :wiki(z9, -) ∧ :name(z9, z10) ∧ name(z10) ∧ :op1(z10, "Zhao") ∧ :op5(z2, z11) ∧ person(z11) ∧ :wiki(z11, -) ∧ :name(z11, z12) ∧ name(z12) ∧ :op1(z12, "Sun") ∧ :op6(z2, z13) ∧ person(z13) ∧ :wiki(z13, -) ∧ :name(z13, z14) ∧ name(z14) ∧ :op1(z14, "Li") ∧ :ARG1(z1, z15) ∧ weight(z15) ∧ :ARG1(z16, z15) ∧ have-degree-91(z16) ∧ :ARG2(z16, z17) ∧ heavy(z17) ∧ :ARG3(z16, z18) ∧ most(z18) ∧ :ARG2(z1, z19) ∧ weight(z19) ∧ :ARG1(z20, z19) ∧ have-degree-91(z20) ∧ :ARG2(z20, z21) ∧ heavy(z21) ∧ :ARG3(z20, z22) ∧ most(z22) ∧ :ARG1(z23, z1) ∧ know-01(z23) ∧ :snt2(z0, z24) ∧ equal-01(z24) ∧ :ARG1(z24, z25) ∧ weight(z25) ∧ :poss(z25, z26) ∧ person(z26) ∧ :wiki(z26, -) ∧ :name(z26, z27) ∧ name(z27) ∧ :op1(z27, "Zhao") ∧ :ARG2(z24, z28) ∧ weight(z28) ∧ :poss(z28, z29) ∧ and(z29) ∧ :op1(z29, z30) ∧ person(z30) ∧ :wiki(z30, -) ∧ :name(z30, z31) ∧ name(z31) ∧ :op1(z31, "Sun") ∧ :op2(z29, z32) ∧ person(z32) ∧ :wiki(z32, -) ∧ :name(z32, z33) ∧ name(z33) ∧ :op1(z33, "Li") ∧ :snt3(z0, z34) ∧ and(z34) ∧ :op1(z34, z35) ∧ high-02(z35) ∧ :ARG1(z35, z36) ∧ weight(z36) ∧ :poss(z36, z26) ∧ :ARG2(z37, z35) ∧ have-degree-91(z37) ∧ :ARG1(z37, z36) ∧ :ARG3(z37, z38) ∧ more(z38) ∧ :ARG4(z37, z39) ∧ weight(z39) ∧ :poss(z39, z30) ∧ :op2(z34, z40) ∧ great(z40) ∧ :domain(z40, z41) ∧ weight(z41) ∧ :poss(z41, z42) ∧ money(z42) ∧ :ARG2(z43, z40) ∧ have-degree-91(z43) ∧ :ARG1(z43, z41) ∧ :ARG3(z43, z44) ∧ more(z44) ∧ :ARG4(z43, z36) ∧ :time(z34, z45) ∧ exchange-01(z45) ∧ :ARG1(z45, z46) ∧ and(z46) ∧ :op1(z46, z26) ∧ :op2(z46, z47) ∧ person(z47) ∧ :wiki(z47, -) ∧ :name(z47, z48) ∧ name(z48) ∧ :op1(z48, "Li") ∧ :snt4(z0, z49) ∧ know-01(z49) ∧ :ARG1(z49, z50) ∧ equal-01(z50) ∧ :ARG1(z50, z51) ∧ weight(z51) ∧ :poss(z51, z52) ∧ person(z52) ∧ :wiki(z52, -) ∧ :name(z52, z53) ∧ name(z53) ∧ :op1(z53, "Zhao") ∧ :ARG2(z50, z54) ∧ and(z54) ∧ :op1(z54, z30) ∧ :op2(z54, z55) ∧ person(z55) ∧ :wiki(z55, -) ∧ :name(z55, z56) ∧ name(z56) ∧ :op1(z56, "Sun") ∧ :op3(z54, z57) ∧ weight(z57) ∧ :poss(z57, z55) ∧ :snt5(z0, z58) ∧ go-01(z58) ∧ :ARG1(z58, z59) ∧ and(z59) ∧ :op1(z59, z60) ∧ person(z60) ∧ :wiki(z60, -) ∧ :name(z60, z61) ∧ name(z61) ∧ :op1(z61, "Zhao") ∧ :op2(z59, z62) ∧ person(z62) ∧ :wiki(z62, -) ∧ :name(z62, z63) ∧ name(z63) ∧ :op1(z63, "Sun") ∧ :op3(z59, z64) ∧ person(z64) ∧ :wiki(z64, -) ∧ :name(z64, z65) ∧ name(z65) ∧ :op1(z65, "Li") ∧ :ARG4(z58, z66) ∧ rate-entity-91(z66) ∧ :ARG1(z66, z67) ∧ and(z67) ∧ :op1(z67, z68) ∧ temporal-quantity(z68) ∧ :quant(z68, 1) ∧ :unit(z68, z69) ∧ dollar(z69) ∧ :op2(z67, z70) ∧ temporal-quantity(z70) ∧ :quant(z70, 1) ∧ :unit(z70, z71) ∧ euro(z71) ∧ :ARG2(z66, z72) ∧ rate-entity-91(z72) ∧ :ARG1(z72, z73) ∧ and(z73) ∧ :op1(z73, z74) ∧ temporal-quantity(z74) ∧ :quant(z74, 1) ∧ :unit(z74, z75) ∧ hour(z75) ∧ :op2(z73, z76) ∧ temporal-quantity(z76) ∧ :quant(z76, 1) ∧ :unit(z76, z77) ∧ day(z77) ∧ :ARG2(z72, z78) ∧ temporal-quantity(z78) ∧ :quant(z78, 1) ∧ :unit(z78, z79) ∧ week(z79) ∧ :snt6(z0, z80) ∧ go-01(z80) ∧ :ARG1(z80, z81) ∧ and(z81) ∧ :op1(z81, z82) ∧ person(z82) ∧ :wiki(z82, -) ∧ :name(z82, z83) ∧ name(z83) ∧ :op1(z83, "Zhao") ∧ :op2(z81, z84) ∧ person(z84) ∧ :wiki(z84, -) ∧ :name(z84, z85) ∧ name(z85) ∧ :op1(z85, "Li") ∧ :op3(z81, z86) ∧ person(z86) ∧ :wiki(z86, -) ∧ :name(z86, z87) ∧ name(z87) ∧ :op1(z87, "Sun") ∧ :op4(z81, z88) ∧ person(z88) ∧ :wiki(z88, -) ∧ :name(z88, z89) ∧ name(z89) ∧ :op1(z89, "Ma") ∧ :op5(z81, z90) ∧ person(z90) ∧ :wiki(z90, -) ∧ :name(z90, z91) ∧ name(z91) ∧ :op1(z91, "Ma") ∧ :op7(z81, "Ma") ∧ :op8(z81, "Ma") ∧ :op9(z80, z92) ∧ great(z92) ∧ :domain(z92, z93) ∧ weight(z93) ∧ :poss(z93, z81) ∧ :ARG2(z94, z92) ∧ have-degree-91(z94) ∧ :ARG1(z94, z81) ∧ :ARG3(z94, z95) ∧ more(z95) ∧ :ARG4(z94, z96) ∧ and(z96) ∧ :op1(z96, z97) ∧ weight(z97) ∧ :poss(z97, z81) ∧ :snt10(z0, z98) ∧ exchange-01(z98) ∧ :ARG1(z98, z99) ∧ and(z99) ∧ :op1(z99, z100) ∧ person(z100) ∧ :wiki(z100, -) ∧ :name(z100, z101) ∧ name(z101) ∧ :op1(z101, "Ma") ∧ :op2(z100, z102) ∧ person(z102) ∧ :wiki(z102, -) ∧ :name(z102, z103) ∧ name(z103) ∧ :op1(z103, "Ma") ∧ :op11(z0, z1000) ∧ exchange-01(z1000) ∧ :ARG1(z1000, z1001) ∧ and(z1001) ∧ :op1(z1001, z1002) ∧ person(z1002) ∧ :wiki(z1002, -) ∧ :name(z1002, z1003) ∧ name(z1003) ∧ :op1(z1003, "Ma") ∧ :op2(z1003, "Ma") ∧ :op2(z1001, z1004) ∧ person(z1004) ∧ :wiki(z1004, -) ∧ :name(z1004, z1005) ∧ name(z1005) ∧ :op1(z1005, "Ma") ∧ :op12(z1000, z1006) ∧ person(z1006) ∧ :wiki(z1006, -) ∧ :name(z1006, z1007) ∧ name(z1007) ∧ :op1(z1007, "Ma") ∧ :op2(z1007, "Ma") ∧ :op13(z1000, z1008) ∧ person(z1008) ∧ :wiki(z1008, -) ∧ :name(z1008, z1009) ∧ name(z1009) ∧ :op1(z1009, "Ma") ∧ :op2(z1009, "Ma") ∧ :op14(z1000, z1010) ∧ person(z1010) ∧ :wiki(z1010, -) ∧ :name(z1010, z1011) ∧ name(z1011) ∧ :op1(z1011, "Ma") ∧ :op2(z1011, "Ma") ∧ :op15(z1000, z1012) ∧ name(z1012) ∧ :op1(z1012, "Ma") ∧ :op16(z1000, "Ma") ∧ :op17(z0, z1013) ∧ person(z1013) ∧ :wiki(z1013, -) ∧ :name(z1013, z1014) ∧ name(z1014) ∧ :op1(z1014, "Ma") ∧ :op18(z0, z104) ∧ name(z104) ∧ :op1(z104, "Ma") ∧ :op2(z104, "Ma") ∧ :op21(z0, z105) ∧ person(z105) ∧ :wiki(z105, -) ∧ :name(z105, z106) ∧ name(z106) ∧ :op1(z106, "Ma") ∧ :op22(z0, "Ma")