The empirical hypothesis is a speculative explanation of the phenomena and laws of things based on the results of observation or experiment and the existing scientific principles, while the theoretical hypothesis is a speculative explanation of the phenomena and laws of things through the thinking process of intuition, imagination, abstraction and so on.

Question: According to the above definition, which of the following options belongs to the theoretical hypothesis?

Choices:
- Galileo put forward the concept of inertia through many experiments on inclined plane.
- Through the investigation of the law of numbers, Goldbach put forward Goldbach's conjecture.
- Bessel found that the motion of Sirius has a periodic deviation, and put forward the guess that Sirius has a companion star.
- When Copernicus observed the planets at different times and places, he found that the motion of each planet was different, and put forward the heliocentric theory.

(z0 / contrast-01
    :ARG1 (z1 / explain-01
              :ARG0 (z2 / thing
                        :ARG1-of (z3 / hypothesize-01)
                        :mod (z4 / empirical))
              :ARG1 (z5 / and
                        :op1 (z6 / phenomenon)
                        :op2 (z7 / law)
                        :mod (z8 / thing))
              :ARG1-of (z9 / base-02
                           :ARG2 (z10 / and
                                      :op1 (z11 / thing
                                                :ARG2-of (z12 / result-01
                                                              :ARG1 (z13 / or
                                                                         :op1 (z14 / observe-01)
                                                                         :op2 (z15 / experiment-01))))
                                      :op2 (z16 / principle
                                                :mod (z17 / science)
                                                :ARG1-of (z18 / exist-01)))))
    :ARG2 (z19 / explain-01
               :ARG0 (z20 / thing
                          :ARG1-of (z21 / hypothesize-01)
                          :mod (z22 / theory))
               :ARG1 z5
               :manner (z23 / process-02
                            :ARG1 (z24 / think-01)
                            :consist-of (z25 / and
                                             :op1 (z26 / intuition)
                                             :op2 (z27 / imagine-01)
                                             :op3 (z28 / abstraction)
                                             :op4 (z29 / et-cetera)))
               :ARG1-of (z30 / speculate-01))
    :ARG1-of (z31 / contrast-01
                  :ARG2 (z32 / explain-01
                             :ARG0 (z33 / thing
                                        :ARG1-of (z34 / hypothesize-01)
                                        :mod (z35 / theory))
                             :ARG1 z5
                             :manner (z36 / process-02
                                          :ARG1 (z37 / think-01))
                             :ARG1-of (z38 / base-02
                                           :ARG2 (z39 / and
                                                      :op1 (z40 / thing
                                                                :ARG2-of (z41 / result-01
                                                                              :ARG1 (z42 / or
                                                                                :op1 (z43 / observe-01)
                                                                                :op2 (z44 / experiment-01))))
                                                      :op2 (z45 / principle
                                                                :mod (z46 / science)
                                                                :ARG1-of (z47 / exist-01))))))
    :time (z48 / after
               :op1 (z49 / go-01
                         :ARG1 (z50 / and
                                    :op1 z2
                                    :op2 z7
                                    :op3 (z51 / abstract-01)
                                    :op4 (z52 / et-cetera))
                         :direction (z53 / out))))

contrast-01(z0) ∧ :ARG1(z0, z1) ∧ explain-01(z1) ∧ :ARG0(z1, z2) ∧ thing(z2) ∧ :ARG1(z3, z2) ∧ hypothesize-01(z3) ∧ :mod(z2, z4) ∧ empirical(z4) ∧ :ARG1(z1, z5) ∧ and(z5) ∧ :op1(z5, z6) ∧ phenomenon(z6) ∧ :op2(z5, z7) ∧ law(z7) ∧ :mod(z5, z8) ∧ thing(z8) ∧ :ARG1(z9, z1) ∧ base-02(z9) ∧ :ARG2(z9, z10) ∧ and(z10) ∧ :op1(z10, z11) ∧ thing(z11) ∧ :ARG2(z12, z11) ∧ result-01(z12) ∧ :ARG1(z12, z13) ∧ or(z13) ∧ :op1(z13, z14) ∧ observe-01(z14) ∧ :op2(z13, z15) ∧ experiment-01(z15) ∧ :op2(z10, z16) ∧ principle(z16) ∧ :mod(z16, z17) ∧ science(z17) ∧ :ARG1(z18, z16) ∧ exist-01(z18) ∧ :ARG2(z0, z19) ∧ explain-01(z19) ∧ :ARG0(z19, z20) ∧ thing(z20) ∧ :ARG1(z21, z20) ∧ hypothesize-01(z21) ∧ :mod(z20, z22) ∧ theory(z22) ∧ :ARG1(z19, z5) ∧ :manner(z19, z23) ∧ process-02(z23) ∧ :ARG1(z23, z24) ∧ think-01(z24) ∧ :consist(z25, z23) ∧ and(z25) ∧ :op1(z25, z26) ∧ intuition(z26) ∧ :op2(z25, z27) ∧ imagine-01(z27) ∧ :op3(z25, z28) ∧ abstraction(z28) ∧ :op4(z25, z29) ∧ et-cetera(z29) ∧ :ARG1(z30, z19) ∧ speculate-01(z30) ∧ :ARG1(z31, z0) ∧ contrast-01(z31) ∧ :ARG2(z31, z32) ∧ explain-01(z32) ∧ :ARG0(z32, z33) ∧ thing(z33) ∧ :ARG1(z34, z33) ∧ hypothesize-01(z34) ∧ :mod(z33, z35) ∧ theory(z35) ∧ :ARG1(z32, z5) ∧ :manner(z32, z36) ∧ process-02(z36) ∧ :ARG1(z36, z37) ∧ think-01(z37) ∧ :ARG1(z38, z32) ∧ base-02(z38) ∧ :ARG2(z38, z39) ∧ and(z39) ∧ :op1(z39, z40) ∧ thing(z40) ∧ :ARG2(z41, z40) ∧ result-01(z41) ∧ :ARG1(z41, z42) ∧ or(z42) ∧ :op1(z42, z43) ∧ observe-01(z43) ∧ :op2(z42, z44) ∧ experiment-01(z44) ∧ :op2(z39, z45) ∧ principle(z45) ∧ :mod(z45, z46) ∧ science(z46) ∧ :ARG1(z47, z45) ∧ exist-01(z47) ∧ :time(z0, z48) ∧ after(z48) ∧ :op1(z48, z49) ∧ go-01(z49) ∧ :ARG1(z49, z50) ∧ and(z50) ∧ :op1(z50, z2) ∧ :op2(z50, z7) ∧ :op3(z50, z51) ∧ abstract-01(z51) ∧ :op4(z50, z52) ∧ et-cetera(z52) ∧ :direction(z49, z53) ∧ out(z53)


Motivational bias: refers to the attribution bias that occurs when processing information due to a particular motivation or need.

Question: Which of the following is motivational bias?

Choices:
- Qin promised his son that if he could cook a dish by himself, he would take him to a picnic
- Sun believes that the local security is rather chaotic at night, and asked her daughter to go home before nine o'clock every night
- Manager Li believes that the vigorous development of the company in the past two years is inseparable from good policies and the hard work of every colleague
- Zhao Mou lamented that his recent poor health caused him to miss his position as a manager, even though his colleagues did not think so

(z0 / mean-01
    :ARG1 (z1 / bias-01
              :ARG3 (z2 / motivate-01))
    :ARG2 (z3 / bias-01
              :ARG3 (z4 / attribute-01)
              :time (z5 / process-01
                        :ARG1 (z6 / information)
                        :ARG1-of (z7 / cause-01
                                     :ARG0 (z8 / or
                                               :op1 (z9 / motivate-01
                                                        :mod (z10 / particular))
                                               :op2 (z11 / need-01
                                                         :mod z10))))
              :ARG1-of (z12 / refer-01
                            :ARG2 (z13 / bias
                                       :topic (z14 / attribute-01)
                                       :ARG1-of (z15 / cause-01
                                                     :ARG0 (z16 / or
                                                                :op1 z9
                                                                :op2 z11))))))

mean-01(z0) ∧ :ARG1(z0, z1) ∧ bias-01(z1) ∧ :ARG3(z1, z2) ∧ motivate-01(z2) ∧ :ARG2(z0, z3) ∧ bias-01(z3) ∧ :ARG3(z3, z4) ∧ attribute-01(z4) ∧ :time(z3, z5) ∧ process-01(z5) ∧ :ARG1(z5, z6) ∧ information(z6) ∧ :ARG1(z7, z5) ∧ cause-01(z7) ∧ :ARG0(z7, z8) ∧ or(z8) ∧ :op1(z8, z9) ∧ motivate-01(z9) ∧ :mod(z9, z10) ∧ particular(z10) ∧ :op2(z8, z11) ∧ need-01(z11) ∧ :mod(z11, z10) ∧ :ARG1(z12, z3) ∧ refer-01(z12) ∧ :ARG2(z12, z13) ∧ bias(z13) ∧ :topic(z13, z14) ∧ attribute-01(z14) ∧ :ARG1(z15, z13) ∧ cause-01(z15) ∧ :ARG0(z15, z16) ∧ or(z16) ∧ :op1(z16, z9) ∧ :op2(z16, z11)


Mr. Tian believes that the reason why most laptops run slowly is not because the CPU performance is too poor, nor is it because the memory capacity is too small, but because the hard disk speed is too slow, and replacing old laptops with new solid state drives can greatly improve the user's gaming experience.

Question: Which of the following, if true, would most question Mr. Tian's point of view?

Choices:
- Solid state drives are very expensive, and it is not cheap to replace old notebooks with hard drives
- The profit of selling solid state drives is much higher than that of selling traditional laptop hard drives
- A small number of old laptops have poor CPU performance and small memory capacity
- The game experience of users depends largely on the graphics card of the laptop, while the graphics card of the old laptop is poor

(z0 / believe-01
    :ARG0 (z1 / person
              :wiki -
              :name (z2 / name
                        :op1 "Mr."
                        :op2 "Tian"))
    :ARG1 (z3 / contrast-01
              :ARG1 (z4 / cause-01
                        :polarity -
                        :ARG0 (z5 / poor
                                  :ARG2-of (z6 / have-degree-91
                                               :ARG1 (z7 / perform-02
                                                         :ARG0 (z8 / chip
                                                                   :ARG0-of (z9 / process-01
                                                                                :ARG1 (z10 / computer
                                                                                :mod (z11 / central)))))
                                               :ARG3 (z12 / too)))
                        :ARG1 (z13 / run-01
                                   :ARG1 (z14 / laptop
                                              :quant (z15 / most))
                                   :ARG1-of (z16 / slow-05)))
              :ARG2 (z17 / cause-01
                         :ARG0 (z18 / and
                                    :op1 (z19 / have-degree-91
                                              :ARG1 (z20 / capacity
                                                         :mod (z21 / memory))
                                              :ARG2 (z22 / small)
                                              :ARG3 (z23 / too))
                                    :op2 (z24 / and
                                              :op1 (z25 / have-degree-91
                                                        :ARG1 (z26 / speed
                                                                   :poss (z27 / disk
                                                                              :mod (z28 / hard)))
                                                        :ARG2 (z29 / slow-05
                                                                   :ARG1 z26)
                                                        :ARG3 (z30 / too))
                                              :op2 (z31 / possible-01
                                                        :ARG1 (z32 / improve-01
                                                                   :ARG0 (z33 / replace-01
                                                                              :ARG1 (z34 / laptop
                                                                                :mod (z35 / old))
                                                                              :ARG2 (z36 / drive
                                                                                :mod (z37 / state
                                                                                :ARG1-of (z38 / solid-02))
                                                                                :ARG1-of (z39 / new-01)))
                                                                   :ARG1 (z40 / experience-01
                                                                              :ARG0 (z41 / person
                                                                                :ARG0-of (z42 / use-01))
                                                                              :ARG1 (z43 / game))
                                                                   :degree (z44 / great))))
                                    :ARG1 (z45 / run-01
                                               :ARG1 z14
                                               :ARG1-of (z46 / slow-05)))
                         :ARG1-of (z47 / cause-01
                                       :ARG0 (z48 / and
                                                  :op1 (z49 / poor
                                                            :polarity -
                                                            :domain (z50 / perform-02
                                                                         :ARG0 (z51 / core
                                                                                :part-of (z52 / computer
                                                                                :ARG1-of (z53 / intelligent-01)))))
                                                  :op2 (z54 / have-degree-91
                                                            :ARG1 (z55 / capacity
                                                                       :mod (z56 / memory))
                                                            :ARG2 (z57 / small)
                                                            :ARG3 (z58 / too))
                                                  :op3 (z59 / and
                                                            :op1 (z60 / have-degree-91
                                                                      :ARG1 (z61 / speed
                                                                                :poss (z62 / speed
                                                                                :poss (z63 / disk
                                                                                :mod (z64 / hard))))
                                                                      :ARG2 (z65 / slow)
                                                                      :ARG3 (z66 / too))
                                                            :op2 (z67 / possible-01
                                                                      :ARG1 (z68 / improve-01
                                                                                :ARG0 (z69 / replace-01
                                                                                :ARG1 z34
                                                                                :ARG2 (z70 / drive
                                                                                :mod (z71 / drive
                                                                                :mod (z72 / state
                                                                                :ARG1-of (z73 / solid-02)))
                                                                                :ARG1-of (z74 / new-01)))
                                                                                :ARG1 (z75 / experience-01
                                                                                :ARG0 z41
                                                                                :ARG1 (z76 / game))
                                                                                :degree (z77 / great)))))))
              :ARG1-of (z78 / say-01
                            :ARG0 (z79 / person
                                       :wiki -
                                       :name (z80 / name
                                                  :op1 "Mr."
                                                  :op2 "Tian"))))
    :ARG1 (z82 / run-16
               :ARG0 (z83 / laptop
                          :mod (z84 / most))
               :ARG1-of (z85 / slow-05))
    :ARG2 (z86 / cause-01
               :ARG0 (z87 / run-01
                          :ARG1 z41
                          :ARG1-of (z88 / slow-05))))


There are two kinds of horror stories: experiments about mad scientists and ferocious monsters. In the horror stories about monsters, monsters symbolize the psychological confusion of the protagonist. The horror stories about mad scientists typically express the author's feelings: scientific knowledge alone is not enough to guide human exploration. Despite these differences, these two types of horror stories have the following characteristics in common: they describe phenomena that go against the laws of nature: they both want to frighten the reader.

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

Choices:
- All descriptions of monsters describe phenomena that go against the laws of nature
- Some stories that use symbolism describe phenomena that go against the laws of nature
- Most of the stories about mad scientists express the author's anti-scientific views
- Any kind of horror story describes a psychologically confused character

(z0 / multi-sentence
    :snt1 (z1 / story
              :mod (z2 / horror)
              :mod (z3 / kind
                       :quant 2)
              :ARG1-of (z4 / mean-01
                           :ARG2 (z5 / and
                                     :op1 (z6 / experiment-01
                                              :topic (z7 / scientist
                                                         :ARG1-of (z8 / mad-02)))
                                     :op2 (z9 / monster
                                              :mod (z10 / ferocious)))))
    :snt2 (z11 / symbolize-01
               :ARG1 (z12 / monster)
               :ARG2 (z13 / confuse-01
                          :ARG1 (z14 / protagonist)
                          :mod (z15 / psychology))
               :prep-in (z16 / story
                             :mod (z17 / horror)
                             :topic (z18 / monster)))
    :snt3 (z19 / express-01
               :ARG0 (z20 / story
                          :topic (z21 / scientist
                                      :ARG1-of (z22 / mad-02))
                          :mod (z23 / horror))
               :ARG1 (z24 / feel-01
                          :ARG0 (z25 / person
                                     :ARG0-of (z26 / author-01)))
               :ARG1-of (z27 / typical-02)
               :ARG1-of (z28 / cause-01
                             :ARG0 (z29 / have-quant-91
                                        :polarity -
                                        :ARG1 (z30 / know-01
                                                   :ARG1 (z31 / science)
                                                   :mod (z32 / alone))
                                        :ARG3 (z33 / enough)
                                        :ARG6 (z34 / guide-01
                                                   :ARG0 z30
                                                   :ARG1 (z35 / explore-01
                                                              :ARG0 (z36 / human))))))
    :snt4 (z37 / share-01
               :ARG0 (z38 / story
                          :mod (z39 / type
                                    :quant 2
                                    :mod (z40 / this))
                          :mod (z41 / horror))
               :ARG1 (z42 / thing
                          :ARG2-of (z43 / characteristic-02
                                        :ARG1 (z44 / and
                                                   :op1 (z45 / describe-01
                                                             :ARG0 z38
                                                             :ARG1 (z46 / phenomenon
                                                                        :ARG0-of (z47 / go-06
                                                                                :ARG1 (z48 / law
                                                                                :mod (z49 / nature))
                                                                                :ARG2 (z50 / against))))
                                                   :op2 (z51 / want-01
                                                             :ARG0 z38
                                                             :ARG1 (z52 / frighten-01
                                                                        :ARG0 z38
                                                                        :ARG1 (z53 / person
                                                                                :ARG0-of (z54 / read-01))))
                                                   :op3 (z55 / want-01
                                                             :ARG0 z38
                                                             :ARG1 (z56 / frighten-01
                                                                        :ARG0 z38
                                                                        :ARG1 z53))))
                          :ARG1-of (z57 / follow-01))
               :snt5 (z58 / differ-02
                          :ARG1 (z59 / and
                                     :op1 (z60 / story
                                               :mod (z61 / horror)
                                               :ARG1-of (z62 / mean-01
                                                             :ARG2 (z63 / experiment-01
                                                                        :topic (z64 / scientist
                                                                                :ARG1-of (z65 / mad-02))))
                                               :op2 (z66 / monster
                                                         :mod (z67 / ferocious))))
                          :concession (z68 / differ-02
                                           :mod (z69 / this)))
               :snt6 (z70 / have-03
                          :ARG0 (z71 / story
                                     :mod (z72 / type
                                               :quant 2
                                               :mod (z73 / horror)))
                          :ARG1 (z74 / characteristic-02
                                     :ARG1 z71
                                     :ARG2 (z75 / and
                                                :op1 (z76 / describe-01
                                                          :ARG0 z71
                                                          :ARG1 (z77 / phenomenon
                                                                     :ARG0-of (z78 / go-06
                                                                                :ARG1 (z79 / law
                                                                                :mod (z80 / nature))
                                                                                :ARG2 (z81 / against)))
                                                          :op2 (z82 / want-01
                                                                    :ARG0 z69
                                                                    :ARG1 (z83 / frighten-01
                                                                               :ARG0 z69
                                                                               :ARG1 (z84 / person
                                                                                :ARG0-of (z85 / read-01)))))))
                          :snt7 (z86 / symbolize-01
                                     :ARG1 (z87 / monster)
                                     :ARG2 (z88 / confuse-01
                                                :ARG1 (z89 / protagonist)
                                                :mod (z90 / psychology))
                                     :prep-in (z91 / story
                                                   :mod (z92 / horror)
                                                   :topic (z93 / monster)))
                          :snt8 (z94 / symbolize-01
                                     :ARG1 (z95 / monster)
                                     :ARG2 (z96 / confuse-01
                                                :ARG1 (z97 / protagonist))
                                     :prep-in (z98 / horror))
                          :snt9 (z99 / express-01
                                     :ARG0 (z100 / story
                                                 :topic (z101 / scientist
                                                              :ARG1-of (z102 / mad-02))
                                                 :ARG1-of (z103 / typical-02))
                                     :ARG1 (z1000 / feel-01
                                                  :ARG0 (z1001 / person
                                                               :ARG0-of (z1002 / author-01)))))
               :ARG1 (z1004 / and
                            :op1 (z1005 / describe-01
                                        :ARG0 (z1006 / and
                                                     :op1 (z1007 / experiment-01
                                                                 :topic (z1008 / scientist
                                                                               :ARG1-of (z1009 / mad)))
                                                     :op2 (z1010 / monster
                                                                 :mod (z1011 / ferocious))))
                            :op2 (z1012 / want-01
                                        :ARG0 z96
                                        :ARG1 (z1013 / frighten-01
                                                     :ARG0 z96
                                                     :ARG1 (z1014 / person
                                                                  :ARG0-of (z1015 / read-01)))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ story(z1) ∧ :mod(z1, z2) ∧ horror(z2) ∧ :mod(z1, z3) ∧ kind(z3) ∧ :quant(z3, 2) ∧ :ARG1(z4, z1) ∧ mean-01(z4) ∧ :ARG2(z4, z5) ∧ and(z5) ∧ :op1(z5, z6) ∧ experiment-01(z6) ∧ :topic(z6, z7) ∧ scientist(z7) ∧ :ARG1(z8, z7) ∧ mad-02(z8) ∧ :op2(z5, z9) ∧ monster(z9) ∧ :mod(z9, z10) ∧ ferocious(z10) ∧ :snt2(z0, z11) ∧ symbolize-01(z11) ∧ :ARG1(z11, z12) ∧ monster(z12) ∧ :ARG2(z11, z13) ∧ confuse-01(z13) ∧ :ARG1(z13, z14) ∧ protagonist(z14) ∧ :mod(z13, z15) ∧ psychology(z15) ∧ :prep-in(z11, z16) ∧ story(z16) ∧ :mod(z16, z17) ∧ horror(z17) ∧ :topic(z16, z18) ∧ monster(z18) ∧ :snt3(z0, z19) ∧ express-01(z19) ∧ :ARG0(z19, z20) ∧ story(z20) ∧ :topic(z20, z21) ∧ scientist(z21) ∧ :ARG1(z22, z21) ∧ mad-02(z22) ∧ :mod(z20, z23) ∧ horror(z23) ∧ :ARG1(z19, z24) ∧ feel-01(z24) ∧ :ARG0(z24, z25) ∧ person(z25) ∧ :ARG0(z26, z25) ∧ author-01(z26) ∧ :ARG1(z27, z19) ∧ typical-02(z27) ∧ :ARG1(z28, z19) ∧ cause-01(z28) ∧ ¬(:ARG0(z28, z29) ∧ have-quant-91(z29) ∧ :ARG1(z29, z30) ∧ know-01(z30) ∧ :ARG1(z30, z31) ∧ science(z31) ∧ :mod(z30, z32) ∧ alone(z32) ∧ :ARG3(z29, z33) ∧ enough(z33) ∧ :ARG6(z29, z34) ∧ guide-01(z34) ∧ :ARG0(z34, z30) ∧ :ARG1(z34, z35) ∧ explore-01(z35) ∧ :ARG0(z35, z36) ∧ human(z36)) ∧ :snt4(z0, z37) ∧ share-01(z37) ∧ :ARG0(z37, z38) ∧ story(z38) ∧ :mod(z38, z39) ∧ type(z39) ∧ :quant(z39, 2) ∧ :mod(z39, z40) ∧ this(z40) ∧ :mod(z38, z41) ∧ horror(z41) ∧ :ARG1(z37, z42) ∧ thing(z42) ∧ :ARG2(z43, z42) ∧ characteristic-02(z43) ∧ :ARG1(z43, z44) ∧ and(z44) ∧ :op1(z44, z45) ∧ describe-01(z45) ∧ :ARG0(z45, z38) ∧ :ARG1(z45, z46) ∧ phenomenon(z46) ∧ :ARG0(z47, z46) ∧ go-06(z47) ∧ :ARG1(z47, z48) ∧ law(z48) ∧ :mod(z48, z49) ∧ nature(z49) ∧ :ARG2(z47, z50) ∧ against(z50) ∧ :op2(z44, z51) ∧ want-01(z51) ∧ :ARG0(z51, z38) ∧ :ARG1(z51, z52) ∧ frighten-01(z52) ∧ :ARG0(z52, z38) ∧ :ARG1(z52, z53) ∧ person(z53) ∧ :ARG0(z54, z53) ∧ read-01(z54) ∧ :op3(z44, z55) ∧ want-01(z55) ∧ :ARG0(z55, z38) ∧ :ARG1(z55, z56) ∧ frighten-01(z56) ∧ :ARG0(z56, z38) ∧ :ARG1(z56, z53) ∧ :ARG1(z57, z42) ∧ follow-01(z57) ∧ :snt5(z37, z58) ∧ differ-02(z58) ∧ :ARG1(z58, z59) ∧ and(z59) ∧ :op1(z59, z60) ∧ story(z60) ∧ :mod(z60, z61) ∧ horror(z61) ∧ :ARG1(z62, z60) ∧ mean-01(z62) ∧ :ARG2(z62, z63) ∧ experiment-01(z63) ∧ :topic(z63, z64) ∧ scientist(z64) ∧ :ARG1(z65, z64) ∧ mad-02(z65) ∧ :op2(z60, z66) ∧ monster(z66) ∧ :mod(z66, z67) ∧ ferocious(z67) ∧ :concession(z58, z68) ∧ differ-02(z68) ∧ :mod(z68, z69) ∧ this(z69) ∧ :snt6(z37, z70) ∧ have-03(z70) ∧ :ARG0(z70, z71) ∧ story(z71) ∧ :mod(z71, z72) ∧ type(z72) ∧ :quant(z72, 2) ∧ :mod(z72, z73) ∧ horror(z73) ∧ :ARG1(z70, z74) ∧ characteristic-02(z74) ∧ :ARG1(z74, z71) ∧ :ARG2(z74, z75) ∧ and(z75) ∧ :op1(z75, z76) ∧ describe-01(z76) ∧ :ARG0(z76, z71) ∧ :ARG1(z76, z77) ∧ phenomenon(z77) ∧ :ARG0(z78, z77) ∧ go-06(z78) ∧ :ARG1(z78, z79) ∧ law(z79) ∧ :mod(z79, z80) ∧ nature(z80) ∧ :ARG2(z78, z81) ∧ against(z81) ∧ :op2(z76, z82) ∧ want-01(z82) ∧ :ARG0(z82, z69) ∧ :ARG1(z82, z83) ∧ frighten-01(z83) ∧ :ARG0(z83, z69) ∧ :ARG1(z83, z84) ∧ person(z84) ∧ :ARG0(z85, z84) ∧ read-01(z85) ∧ :snt7(z70, z86) ∧ symbolize-01(z86) ∧ :ARG1(z86, z87) ∧ monster(z87) ∧ :ARG2(z86, z88) ∧ confuse-01(z88) ∧ :ARG1(z88, z89) ∧ protagonist(z89) ∧ :mod(z88, z90) ∧ psychology(z90) ∧ :prep-in(z86, z91) ∧ story(z91) ∧ :mod(z91, z92) ∧ horror(z92) ∧ :topic(z91, z93) ∧ monster(z93) ∧ :snt8(z70, z94) ∧ symbolize-01(z94) ∧ :ARG1(z94, z95) ∧ monster(z95) ∧ :ARG2(z94, z96) ∧ confuse-01(z96) ∧ :ARG1(z96, z97) ∧ protagonist(z97) ∧ :prep-in(z94, z98) ∧ horror(z98) ∧ :snt9(z70, z99) ∧ express-01(z99) ∧ :ARG0(z99, z100) ∧ story(z100) ∧ :topic(z100, z101) ∧ scientist(z101) ∧ :ARG1(z102, z101) ∧ mad-02(z102) ∧ :ARG1(z103, z100) ∧ typical-02(z103) ∧ :ARG1(z99, z1000) ∧ feel-01(z1000) ∧ :ARG0(z1000, z1001) ∧ person(z1001) ∧ :ARG0(z1002, z1001) ∧ author-01(z1002) ∧ :ARG1(z37, z1004) ∧ and(z1004) ∧ :op1(z1004, z1005) ∧ describe-01(z1005) ∧ :ARG0(z1005, z1006) ∧ and(z1006) ∧ :op1(z1006, z1007) ∧ experiment-01(z1007) ∧ :topic(z1007, z1008) ∧ scientist(z1008) ∧ :ARG1(z1009, z1008) ∧ mad(z1009) ∧ :op2(z1006, z1010) ∧ monster(z1010) ∧ :mod(z1010, z1011) ∧ ferocious(z1011) ∧ :op2(z1004, z1012) ∧ want-01(z1012) ∧ :ARG0(z1012, z96) ∧ :ARG1(z1012, z1013) ∧ frighten-01(z1013) ∧ :ARG0(z1013, z96) ∧ :ARG1(z1013, z1014) ∧ person(z1014) ∧ :ARG0(z1015, z1014) ∧ read-01(z1015)


Enceladus is one of the three stars observed in geological eruptions in the solar system so far, and it is also one of the most important research objects in astrobiology. With the help of analytical instruments on the Cassini Saturn probe, German scientists found that the particles emitted by Enceladus contained sodium salts. Based on this, it can be inferred that there is liquid water on Enceladus, and there may even be an underground sea.

Question: Which of the followings, if true, can best support the above speculation?

Choices:
- Only when there is an underground sea can there be an eruption of the address.
- Liquid water cannot exist alone on Enceladus. It can only exist in the form of underground sea.
- Without geological eruptions on Enceladus, it would be impossible to find sodium salts.
- Only when there is liquid water, can sodium salt particles exist.

(z0 / multi-sentence
    :snt1 (z1 / and
              :op1 (z2 / include-91
                       :ARG1 (z3 / planet
                                 :wiki "Enceladus"
                                 :name (z4 / name
                                           :op1 "Enceladus"))
                       :ARG2 (z5 / star
                                 :quant 3
                                 :ARG1-of (z6 / observe-01
                                              :time (z7 / erupt-01
                                                        :mod (z8 / geology)
                                                        :location (z9 / system
                                                                      :mod (z10 / sun))
                                                        :time (z11 / so-far)))))
              :op2 (z12 / include-91
                        :ARG1 z3
                        :ARG2 (z13 / object
                                   :ARG1-of (z14 / have-degree-91
                                                 :ARG2 (z15 / important-01
                                                            :ARG1 z13)
                                                 :ARG3 (z16 / most)
                                                 :ARG5 (z17 / object
                                                            :ARG1-of (z18 / research-01)
                                                            :topic (z19 / astrobiology))))
                        :ARG3 (z20 / one)
                        :mod (z21 / also)))
    :snt2 (z22 / find-01
               :ARG0 (z23 / person
                          :mod (z24 / country
                                    :wiki "Germany"
                                    :name (z25 / name
                                               :op1 "Germany"))
                          :ARG0-of (z26 / have-org-role-91
                                        :ARG2 (z27 / scientist)))
               :ARG1 (z28 / contain-01
                          :ARG0 (z29 / particle
                                     :ARG1-of (z30 / emit-01
                                                   :ARG0 (z31 / planet
                                                              :wiki "Enceladus"
                                                              :name (z32 / name
                                                                         :op1 "Enceladus"))))
                          :ARG1 (z33 / salt
                                     :consist-of (z34 / sodium)))
               :instrument (z35 / instrument
                                :instrument-of (z36 / analyze-01)
                                :part-of (z37 / probe
                                              :wiki "Cassini"
                                              :name (z38 / name
                                                         :op1 "Cassini"
                                                         :op2 "Saturn"
                                                         :op3 "probe")))
               :ARG1-of (z39 / help-01
                             :ARG0 (z40 / instrument
                                        :instrument-of (z41 / analyze-01)
                                        :part-of (z42 / probe
                                                      :wiki "Saturn_(p3000 / planet)"
                                                      :name (z43 / name
                                                                 :op1 "Cassini"
                                                                 :op2 "Saturn"
                                                                 :op3 "probe")))))
    :snt3 (z44 / possible-01
               :ARG1 (z45 / infer-01
                          :ARG1 (z46 / and
                                     :op1 (z47 / be-located-at-91
                                               :ARG1 (z48 / water
                                                          :ARG1-of (z49 / liquid-01))
                                               :ARG2 (z50 / planet
                                                          :wiki "Enceladus"
                                                          :name (z51 / name
                                                                     :op1 "Enceladus")))
                                     :op2 (z52 / possible-01
                                               :ARG1 (z53 / sea
                                                          :location (z54 / underground)
                                                          :mod (z55 / even)
                                                          :mod (z56 / sea))))
                          :ARG1-of (z57 / base-02
                                        :ARG2 (z58 / this))))
    :snt4 (z59 / possible-01
               :ARG1 (z60 / assume-02
                          :ARG1 (z61 / and
                                     :op1 (z62 / wet-01
                                               :ARG1 (z63 / planet
                                                          :wiki "Enceladus"
                                                          :name (z64 / name
                                                                     :op1 "Enceladus"))
                                               :ARG2 (z65 / water
                                                          :mod (z66 / liquid)))
                                     :op2 (z67 / be-located-at-91
                                               :ARG1 (z68 / sea
                                                          :mod (z69 / underground))
                                               :ARG2 (z70 / location
                                                          :wiki "Enceladus"
                                                          :name (z71 / name
                                                                     :op1 "Enceladus"))))))
    :snt5 (z72 / help-01
               :ARG0 (z73 / help-01
                          :ARG0 (z74 / person
                                     :ARG0-of (z75 / have-org-role-91
                                                   :ARG1 (z76 / country
                                                              :wiki "Germany"
                                                              :name (z77 / name
                                                                         :op1 "Germany"))
                                                   :ARG2 (z78 / scientist)))
                          :ARG1 (z79 / help-01
                                     :ARG0 (z96 / planet
                                                :wiki "Cassini"
                                                :name (z97 / name
                                                           :op1 "Cassini"
                                                           :op2 "Saturn"))
                                     :ARG1 (z80 / find-01
                                                :ARG0 z96
                                                :ARG1 (z81 / contain-01
                                                           :ARG0 (z82 / particle
                                                                      :ARG1-of (z83 / emit-01
                                                                                :ARG0 (z84 / planet
                                                                                :wiki "Enceladus"
                                                                                :name (z85 / name
                                                                                :op1 "Enceladus"))))
                                                           :ARG1 (z86 / salt
                                                                      :consist-of (z87 / sodium)))))
                          :snt6 (z88 / cause-01
                                     :ARG0 (z89 / help-01
                                                :ARG0 (z90 / instrument
                                                           :instrument-of (z91 / analyze-01)))
                                     :ARG1 (z92 / find-01
                                                :ARG0 z96
                                                :ARG1 (z93 / contain-01
                                                           :ARG0 (z94 / particle
                                                                      :ARG1-of (z95 / emit-01
                                                                                :ARG0 z96))
                                                           :ARG1 (z98 / salt
                                                                      :consist-of (z99 / salt))))))
               :snt7 (z100 / and
                           :op1 (z101 / have-03
                                      :ARG0 (z102 / planet
                                                  :wiki "Enceladus"
                                                  :name (z103 / name
                                                              :op1 "Enceladus"))
                                      :ARG1 (z1000 / star
                                                   :quant 1
                                                   :ARG1-of (z1001 / include-91
                                                                   :ARG2 (z1002 / star
                                                                                :quant 3)
                                                                   :ARG1-of (z1003 / observe-01
                                                                                :time (z1004 / erupt-01
                                                                                :ARG1 (z1005 / planet
                                                                                :wiki "Earth"
                                                                                :name (z1006 / name
                                                                                :op1 "Earth"))
                                                                                :mod (z1007 / geology))))))
                           :op2 (z1008 / include-91
                                       :ARG1 (z1009 / object
                                                    :ARG1-of (z1010 / include-91
                                                                    :ARG2 (z1011 / object
                                                                                :ARG1-of (z1012 / research-01
                                                                                :ARG1 (z1013 / astrobiology))
                                                                                :ARG1-of (z104 / have-degree-91
                                                                                :ARG2 (z105 / important-01
                                                                                :ARG1 z81
                                                                                :ARG2-of (z106 / have-degree-91
                                                                                :ARG1 z81
                                                                                :ARG3 (z1014 / most)))))
                                                                    :ARG3 (z1015 / also))))
                           :snt8 (z1016 / have-03
                                        :ARG0 (z1017 / planet
                                                     :wiki "Enceladus"
                                                     :name (z1018 / name
                                                                  :op1 "Enceladus"))
                                        :ARG1 (z1019 / moon
                                                     :wiki "Saturn"
                                                     :name (z1020 / name
                                                                  :op1 "Saturn")))
                           :prep-in (z1021 / name
                                           :op1 "Saturn"))
               :prep-in (z1022 / name
                               :op1 "Saturn")
               :prep-in (z1023 / name
                               :op1 "Cassini")
               :prep-in (z1024 / name
                               :op1 "Saturn"))
    :prep-in (z1025 / name
                    :op1 "Saturn")
    :prep-in (z1026 / name
                    :op1 "Saturn")
    :prep-in (z107 / name
                   :op1 "Saturn"))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ and(z1) ∧ :op1(z1, z2) ∧ include-91(z2) ∧ :ARG1(z2, z3) ∧ planet(z3) ∧ :wiki(z3, "Enceladus") ∧ :name(z3, z4) ∧ name(z4) ∧ :op1(z4, "Enceladus") ∧ :ARG2(z2, z5) ∧ star(z5) ∧ :quant(z5, 3) ∧ :ARG1(z6, z5) ∧ observe-01(z6) ∧ :time(z6, z7) ∧ erupt-01(z7) ∧ :mod(z7, z8) ∧ geology(z8) ∧ :location(z7, z9) ∧ system(z9) ∧ :mod(z9, z10) ∧ sun(z10) ∧ :time(z7, z11) ∧ so-far(z11) ∧ :op2(z1, z12) ∧ include-91(z12) ∧ :ARG1(z12, z3) ∧ :ARG2(z12, z13) ∧ object(z13) ∧ :ARG1(z14, z13) ∧ have-degree-91(z14) ∧ :ARG2(z14, z15) ∧ important-01(z15) ∧ :ARG1(z15, z13) ∧ :ARG3(z14, z16) ∧ most(z16) ∧ :ARG5(z14, z17) ∧ object(z17) ∧ :ARG1(z18, z17) ∧ research-01(z18) ∧ :topic(z17, z19) ∧ astrobiology(z19) ∧ :ARG3(z12, z20) ∧ one(z20) ∧ :mod(z12, z21) ∧ also(z21) ∧ :snt2(z0, z22) ∧ find-01(z22) ∧ :ARG0(z22, z23) ∧ person(z23) ∧ :mod(z23, z24) ∧ country(z24) ∧ :wiki(z24, "Germany") ∧ :name(z24, z25) ∧ name(z25) ∧ :op1(z25, "Germany") ∧ :ARG0(z26, z23) ∧ have-org-role-91(z26) ∧ :ARG2(z26, z27) ∧ scientist(z27) ∧ :ARG1(z22, z28) ∧ contain-01(z28) ∧ :ARG0(z28, z29) ∧ particle(z29) ∧ :ARG1(z30, z29) ∧ emit-01(z30) ∧ :ARG0(z30, z31) ∧ planet(z31) ∧ :wiki(z31, "Enceladus") ∧ :name(z31, z32) ∧ name(z32) ∧ :op1(z32, "Enceladus") ∧ :ARG1(z28, z33) ∧ salt(z33) ∧ :consist(z34, z33) ∧ sodium(z34) ∧ :instrument(z22, z35) ∧ instrument(z35) ∧ :instrument(z36, z35) ∧ analyze-01(z36) ∧ :part(z37, z35) ∧ probe(z37) ∧ :wiki(z37, "Cassini") ∧ :name(z37, z38) ∧ name(z38) ∧ :op1(z38, "Cassini") ∧ :op2(z38, "Saturn") ∧ :op3(z38, "probe") ∧ :ARG1(z39, z22) ∧ help-01(z39) ∧ :ARG0(z39, z40) ∧ instrument(z40) ∧ :instrument(z41, z40) ∧ analyze-01(z41) ∧ :part(z42, z40) ∧ probe(z42) ∧ :wiki(z42, "Saturn_(p3000 / planet)") ∧ :name(z42, z43) ∧ name(z43) ∧ :op1(z43, "Cassini") ∧ :op2(z43, "Saturn") ∧ :op3(z43, "probe") ∧ :snt3(z0, z44) ∧ possible-01(z44) ∧ :ARG1(z44, z45) ∧ infer-01(z45) ∧ :ARG1(z45, z46) ∧ and(z46) ∧ :op1(z46, z47) ∧ be-located-at-91(z47) ∧ :ARG1(z47, z48) ∧ water(z48) ∧ :ARG1(z49, z48) ∧ liquid-01(z49) ∧ :ARG2(z47, z50) ∧ planet(z50) ∧ :wiki(z50, "Enceladus") ∧ :name(z50, z51) ∧ name(z51) ∧ :op1(z51, "Enceladus") ∧ :op2(z46, z52) ∧ possible-01(z52) ∧ :ARG1(z52, z53) ∧ sea(z53) ∧ :location(z53, z54) ∧ underground(z54) ∧ :mod(z53, z55) ∧ even(z55) ∧ :mod(z53, z56) ∧ sea(z56) ∧ :ARG1(z57, z45) ∧ base-02(z57) ∧ :ARG2(z57, z58) ∧ this(z58) ∧ :snt4(z0, z59) ∧ possible-01(z59) ∧ :ARG1(z59, z60) ∧ assume-02(z60) ∧ :ARG1(z60, z61) ∧ and(z61) ∧ :op1(z61, z62) ∧ wet-01(z62) ∧ :ARG1(z62, z63) ∧ planet(z63) ∧ :wiki(z63, "Enceladus") ∧ :name(z63, z64) ∧ name(z64) ∧ :op1(z64, "Enceladus") ∧ :ARG2(z62, z65) ∧ water(z65) ∧ :mod(z65, z66) ∧ liquid(z66) ∧ :op2(z61, z67) ∧ be-located-at-91(z67) ∧ :ARG1(z67, z68) ∧ sea(z68) ∧ :mod(z68, z69) ∧ underground(z69) ∧ :ARG2(z67, z70) ∧ location(z70) ∧ :wiki(z70, "Enceladus") ∧ :name(z70, z71) ∧ name(z71) ∧ :op1(z71, "Enceladus") ∧ :snt5(z0, z72) ∧ help-01(z72) ∧ :ARG0(z72, z73) ∧ help-01(z73) ∧ :ARG0(z73, z74) ∧ person(z74) ∧ :ARG0(z75, z74) ∧ have-org-role-91(z75) ∧ :ARG1(z75, z76) ∧ country(z76) ∧ :wiki(z76, "Germany") ∧ :name(z76, z77) ∧ name(z77) ∧ :op1(z77, "Germany") ∧ :ARG2(z75, z78) ∧ scientist(z78) ∧ :ARG1(z73, z79) ∧ help-01(z79) ∧ :ARG0(z79, z96) ∧ planet(z96) ∧ :wiki(z96, "Cassini") ∧ :name(z96, z97) ∧ name(z97) ∧ :op1(z97, "Cassini") ∧ :op2(z97, "Saturn") ∧ :ARG1(z79, z80) ∧ find-01(z80) ∧ :ARG0(z80, z96) ∧ :ARG1(z80, z81) ∧ contain-01(z81) ∧ :ARG0(z81, z82) ∧ particle(z82) ∧ :ARG1(z83, z82) ∧ emit-01(z83) ∧ :ARG0(z83, z84) ∧ planet(z84) ∧ :wiki(z84, "Enceladus") ∧ :name(z84, z85) ∧ name(z85) ∧ :op1(z85, "Enceladus") ∧ :ARG1(z81, z86) ∧ salt(z86) ∧ :consist(z87, z86) ∧ sodium(z87) ∧ :snt6(z73, z88) ∧ cause-01(z88) ∧ :ARG0(z88, z89) ∧ help-01(z89) ∧ :ARG0(z89, z90) ∧ instrument(z90) ∧ :instrument(z91, z90) ∧ analyze-01(z91) ∧ :ARG1(z88, z92) ∧ find-01(z92) ∧ :ARG0(z92, z96) ∧ :ARG1(z92, z93) ∧ contain-01(z93) ∧ :ARG0(z93, z94) ∧ particle(z94) ∧ :ARG1(z95, z94) ∧ emit-01(z95) ∧ :ARG0(z95, z96) ∧ :ARG1(z93, z98) ∧ salt(z98) ∧ :consist(z99, z98) ∧ salt(z99) ∧ :snt7(z72, z100) ∧ and(z100) ∧ :op1(z100, z101) ∧ have-03(z101) ∧ :ARG0(z101, z102) ∧ planet(z102) ∧ :wiki(z102, "Enceladus") ∧ :name(z102, z103) ∧ name(z103) ∧ :op1(z103, "Enceladus") ∧ :ARG1(z101, z1000) ∧ star(z1000) ∧ :quant(z1000, 1) ∧ :ARG1(z1001, z1000) ∧ include-91(z1001) ∧ :ARG2(z1001, z1002) ∧ star(z1002) ∧ :quant(z1002, 3) ∧ :ARG1(z1003, z1001) ∧ observe-01(z1003) ∧ :time(z1003, z1004) ∧ erupt-01(z1004) ∧ :ARG1(z1004, z1005) ∧ planet(z1005) ∧ :wiki(z1005, "Earth") ∧ :name(z1005, z1006) ∧ name(z1006) ∧ :op1(z1006, "Earth") ∧ :mod(z1004, z1007) ∧ geology(z1007) ∧ :op2(z100, z1008) ∧ include-91(z1008) ∧ :ARG1(z1008, z1009) ∧ object(z1009) ∧ :ARG1(z1010, z1009) ∧ include-91(z1010) ∧ :ARG2(z1010, z1011) ∧ object(z1011) ∧ :ARG1(z1012, z1011) ∧ research-01(z1012) ∧ :ARG1(z1012, z1013) ∧ astrobiology(z1013) ∧ :ARG1(z104, z1011) ∧ have-degree-91(z104) ∧ :ARG2(z104, z105) ∧ important-01(z105) ∧ :ARG1(z105, z81) ∧ :ARG2(z106, z105) ∧ have-degree-91(z106) ∧ :ARG1(z106, z81) ∧ :ARG3(z106, z1014) ∧ most(z1014) ∧ :ARG3(z1010, z1015) ∧ also(z1015) ∧ :snt8(z100, z1016) ∧ have-03(z1016) ∧ :ARG0(z1016, z1017) ∧ planet(z1017) ∧ :wiki(z1017, "Enceladus") ∧ :name(z1017, z1018) ∧ name(z1018) ∧ :op1(z1018, "Enceladus") ∧ :ARG1(z1016, z1019) ∧ moon(z1019) ∧ :wiki(z1019, "Saturn") ∧ :name(z1019, z1020) ∧ name(z1020) ∧ :op1(z1020, "Saturn") ∧ :prep-in(z100, z1021) ∧ name(z1021) ∧ :op1(z1021, "Saturn") ∧ :prep-in(z72, z1022) ∧ name(z1022) ∧ :op1(z1022, "Saturn") ∧ :prep-in(z72, z1023) ∧ name(z1023) ∧ :op1(z1023, "Cassini") ∧ :prep-in(z72, z1024) ∧ name(z1024) ∧ :op1(z1024, "Saturn") ∧ :prep-in(z0, z1025) ∧ name(z1025) ∧ :op1(z1025, "Saturn") ∧ :prep-in(z0, z1026) ∧ name(z1026) ∧ :op1(z1026, "Saturn") ∧ :prep-in(z0, z107) ∧ name(z107) ∧ :op1(z107, "Saturn")


X: Since many chemicals useful for agriculture and medicine derive from rare or endangered plant species, it is likely that many plant species that are now extinct could have provided us with substances that would have been a boon to humanity. Ttherefore, if we want to ensure that chemicals from plants are available for use in the future, we must make more serious efforts to preserve for all time our natural resources. Y: But living things are not our resources.  Yours is a selfish approach to conservation. We should rather strive to preserve living species because they deserve to survive, not because of the good they can do us.

Question: Which one of the following is an issue about which X and Y disagree?

Choices:
- whether the cost of preserving plant species outweighs the cost of artificially synthesizing chemicals that could otherwise be derived from those species
- whether it is prudent to conserve natural resources
- whether the benefits humans derive from exploiting nonhuman species provide a good reason for preserving nonhuman species
- whether humans should make efforts to prevent the extinction of living species

(z0 / multi-sentence
    :snt1 (z1 / say-01
              :ARG0 (z2 / person
                        :wiki -
                        :name (z3 / name
                                  :op1 "X"))
              :ARG1 (z4 / likely-01
                        :ARG1 (z5 / provide-01
                                  :ARG0 (z6 / species
                                            :mod (z7 / plant)
                                            :ARG1-of (z8 / extinct
                                                         :time (z9 / now))
                                            :quant (z10 / many))
                                  :ARG1 (z11 / substance
                                             :ARG0-of (z12 / boon
                                                           :beneficiary (z13 / humanity)))
                                  :ARG2 (z14 / we))
                        :ARG1-of (z15 / cause-01
                                      :ARG0 (z16 / derive-01
                                                 :ARG1 (z17 / chemical
                                                            :quant (z18 / many)
                                                            :ARG1-of (z19 / useful-05
                                                                          :ARG2 (z20 / and
                                                                                :op1 (z21 / agriculture)
                                                                                :op2 (z22 / medicine))))
                                                 :ARG2 (z23 / or
                                                            :op1 (z24 / species
                                                                      :mod (z25 / plant)
                                                                      :ARG1-of (z26 / rare-02))
                                                            :op2 (z27 / species
                                                                      :mod z25
                                                                      :ARG1-of (z28 / endanger-01))))))
              :snt2 (z29 / say-01
                         :ARG0 (z30 / person
                                    :wiki -
                                    :name (z31 / name
                                               :op1 "Y"))
                         :ARG1 (z32 / contrast-01
                                    :ARG2 (z33 / resource
                                               :polarity -
                                               :poss (z34 / we)
                                               :domain (z35 / thing
                                                            :ARG0-of (z36 / live-01)))))
              :snt3 (z37 / recommend-01
                         :ARG1 (z38 / strive-01
                                    :ARG0 (z39 / we)
                                    :ARG1 (z40 / preserve-01
                                               :ARG0 z39
                                               :ARG1 (z41 / species
                                                          :ARG0-of (z42 / live-01))
                                               :ARG1-of (z43 / cause-01
                                                             :ARG0 (z44 / deserve-01
                                                                        :ARG0 z41
                                                                        :ARG1 (z45 / survive-01
                                                                                :ARG0 z41)
                                                                        :ARG1-of (z46 / contrast-01
                                                                                :ARG2 (z47 / cause-01
                                                                                :polarity -
                                                                                :ARG0 (z48 / possible-01
                                                                                :ARG1 (z49 / do-02
                                                                                :ARG0 z41
                                                                                :ARG1 (z50 / good-02)
                                                                                :ARG2 z39))
                                                                                :ARG1 z30)))))
                                    :ARG1-of (z51 / instead-of-91
                                                  :ARG2 (z52 / strive-01
                                                             :ARG0 z39
                                                             :ARG1 z40
                                                             :ARG1-of (z53 / cause-01
                                                                           :ARG0 (z54 / deserve-01
                                                                                :ARG0 z41
                                                                                :ARG1 (z55 / survive-01
                                                                                :ARG0 z41))))))
                         :condition (z56 / want-01
                                         :ARG0 (z57 / we)
                                         :ARG1 (z58 / ensure-01
                                                    :ARG0 z57
                                                    :ARG1 (z59 / available-02
                                                               :ARG2 (z60 / chemical
                                                                          :source (z61 / plant))
                                                               :purpose (z62 / use-01
                                                                             :ARG1 z60
                                                                             :time (z63 / future)))))
                         :ARG0-of (z64 / cause-01
                                       :ARG1 (z65 / obligate-01
                                                  :ARG1 z57
                                                  :ARG2 (z66 / try-01
                                                             :ARG0 z57
                                                             :ARG1 (z67 / preserve-01
                                                                        :ARG0 z57
                                                                        :ARG1 (z68 / resource
                                                                                :ARG1-of (z69 / natural-03)
                                                                                :poss z57)
                                                                        :duration (z70 / time
                                                                                :mod (z71 / all)))
                                                             :ARG1-of (z72 / have-degree-91
                                                                           :ARG2 (z73 / serious-01
                                                                                :ARG1 z66)
                                                                           :ARG3 (z74 / more)))
                                                  :condition (z75 / want-01
                                                                  :ARG0 z57
                                                                  :ARG1 (z76 / ensure-01
                                                                             :ARG0 z57
                                                                             :ARG1 (z77 / available-02
                                                                                :ARG2 (z78 / chemical
                                                                                :source (z79 / plant))
                                                                                :purpose (z80 / use-01
                                                                                :ARG1 z78
                                                                                :time (z81 / future))))))))
              :snt4 (z82 / say-01
                         :ARG0 (z83 / person
                                    :wiki -
                                    :name (z84 / name
                                               :op1 "Y"))
                         :ARG1 (z85 / contrast-01
                                    :ARG2 (z86 / resource
                                               :polarity -
                                               :poss (z87 / we)
                                               :domain (z88 / thing
                                                            :ARG0-of (z89 / live-01)))))
              :snt5 (z90 / say-01
                         :ARG0 (z91 / person
                                    :wiki -
                                    :name (z92 / name
                                               :op1 "X"))
                         :ARG1 (z1000 / likely-01
                                      :ARG1 (z1001 / provide-01
                                                   :ARG0 (z93 / species
                                                              :mod (z94 / plant)
                                                              :ARG1-of (z95 / rare-02)
                                                              :quant (z96 / many)
                                                              :ARG1-of (z97 / derive-01
                                                                            :ARG2 (z98 / or
                                                                                :op1 (z99 / or
                                                                                :op1 (z100 / species
                                                                                :mod (z101 / plant)
                                                                                :ARG1-of (z102 / rare-02))
                                                                                :op2 (z103 / species
                                                                                :ARG1-of (z104 / endanger-01)))))
                                                              :ARG1 (z1002 / substance
                                                                           :ARG0-of (z1003 / boon
                                                                                :beneficiary (z1004 / humanity))
                                                                           :ARG2 (z1005 / we))))
                                      :snt6 (z1006 / say-01
                                                   :ARG0 (z1007 / person
                                                                :wiki -
                                                                :name (z1008 / name
                                                                             :op1 "Y"))
                                                   :ARG1 (z1009 / recommend-01
                                                                :ARG1 (z1010 / make-02
                                                                             :ARG0 z1007
                                                                             :ARG1 (z1011 / try-01
                                                                                :ARG0 z1007
                                                                                :ARG1 (z1012 / preserve-01
                                                                                :ARG0 z1007
                                                                                :ARG1 (z1013 / resource
                                                                                :ARG1-of (z1014 / natural-03)
                                                                                :poss z1007))
                                                                                :ARG1-of (z1015 / serious-01
                                                                                :ARG2-of (z105 / have-degree-91
                                                                                :ARG1 z1007
                                                                                :ARG3 (z106 / more)))))))
                                      :snt7 (z1016 / say-01
                                                   :ARG0 (z1017 / person
                                                                :wiki -
                                                                :name (z1018 / name
                                                                             :op1 "X"))
                                                   :ARG1 (z1019 / recommend-01
                                                                :ARG1 (z1020 / provide-01
                                                                             :ARG0 z1007
                                                                             :ARG1 (z1021 / substance
                                                                                :ARG0-of (z1022 / boon
                                                                                :beneficiary (z1023 / humanity))
                                                                                :ARG2 (z1024 / we))
                                                                             :ARG2 (z1025 / we))))
                                      :snt8 (z1026 / say-01
                                                   :ARG0 (z1027 / person
                                                                :wiki -
                                                                :name (z1028 / name
                                                                             :op1 "Y"))
                                                   :ARG1 (z1029 / provide-01
                                                                :ARG0 z1027
                                                                :ARG1 (z1030 / substance
                                                                             :ARG0-of (z1031 / boon
                                                                                :beneficiary z1023))
                                                                :ARG2 (z1032 / we))
                                                   :ARG2 (z1033 / we))
                                      :prep-as (z1034 / person
                                                      :wiki -
                                                      :name (z1035 / name
                                                                   :op1 "A"
                                                                   :op2 "Y")))
                         :snt9 (z1036 / say-01
                                      :ARG0 (z1037 / person
                                                   :wiki -
                                                   :name (z107 / name
                                                               :op1 "A"
                                                               :op2 "A"
                                                               :op3 "A"
                                                               :op4 "Y"))
                                      :ARG1 (z108 / and
                                                  :op1 (z1038 / step-01
                                                              :ARG2 (z1039 / outgrowth))
                                                  :op2 (z1040 / outgrowth-00
                                                              :ARG0 z1027))
                                      :prep-to (z1041 / future))
                         :prep-to (z1042 / person
                                         :wiki -
                                         :name (z1043 / name
                                                      :op1 "A"
                                                      :op2 "A"
                                                      :op3 "A"
                                                      :op4 "A"
                                                      :op5 "A"
                                                      :op6 "."
                                                      :op8 "A"
                                                      :op9 "._A"
                                                      :op10 "A"
                                                      :op11 "._A"
                                                      :op12 "A"
                                                      :op13 "._A")))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ say-01(z1) ∧ :ARG0(z1, z2) ∧ person(z2) ∧ :wiki(z2, -) ∧ :name(z2, z3) ∧ name(z3) ∧ :op1(z3, "X") ∧ :ARG1(z1, z4) ∧ likely-01(z4) ∧ :ARG1(z4, z5) ∧ provide-01(z5) ∧ :ARG0(z5, z6) ∧ species(z6) ∧ :mod(z6, z7) ∧ plant(z7) ∧ :ARG1(z8, z6) ∧ extinct(z8) ∧ :time(z8, z9) ∧ now(z9) ∧ :quant(z6, z10) ∧ many(z10) ∧ :ARG1(z5, z11) ∧ substance(z11) ∧ :ARG0(z12, z11) ∧ boon(z12) ∧ :beneficiary(z12, z13) ∧ humanity(z13) ∧ :ARG2(z5, z14) ∧ we(z14) ∧ :ARG1(z15, z4) ∧ cause-01(z15) ∧ :ARG0(z15, z16) ∧ derive-01(z16) ∧ :ARG1(z16, z17) ∧ chemical(z17) ∧ :quant(z17, z18) ∧ many(z18) ∧ :ARG1(z19, z17) ∧ useful-05(z19) ∧ :ARG2(z19, z20) ∧ and(z20) ∧ :op1(z20, z21) ∧ agriculture(z21) ∧ :op2(z20, z22) ∧ medicine(z22) ∧ :ARG2(z16, z23) ∧ or(z23) ∧ :op1(z23, z24) ∧ species(z24) ∧ :mod(z24, z25) ∧ plant(z25) ∧ :ARG1(z26, z24) ∧ rare-02(z26) ∧ :op2(z23, z27) ∧ species(z27) ∧ :mod(z27, z25) ∧ :ARG1(z28, z27) ∧ endanger-01(z28) ∧ :snt2(z1, z29) ∧ say-01(z29) ∧ :ARG0(z29, z30) ∧ person(z30) ∧ :wiki(z30, -) ∧ :name(z30, z31) ∧ name(z31) ∧ :op1(z31, "Y") ∧ :ARG1(z29, z32) ∧ contrast-01(z32) ∧ ¬(:ARG2(z32, z33) ∧ resource(z33) ∧ :poss(z33, z34) ∧ we(z34) ∧ :domain(z33, z35) ∧ thing(z35) ∧ :ARG0(z36, z35) ∧ live-01(z36)) ∧ :snt3(z1, z37) ∧ :condition(z37, z56) ∧ want-01(z56) ∧ :ARG0(z56, z57) ∧ we(z57) ∧ :ARG1(z56, z58) ∧ ensure-01(z58) ∧ :ARG0(z58, z57) ∧ :ARG1(z58, z59) ∧ available-02(z59) ∧ :ARG2(z59, z60) ∧ chemical(z60) ∧ :source(z60, z61) ∧ plant(z61) ∧ :purpose(z59, z62) ∧ use-01(z62) ∧ :ARG1(z62, z60) ∧ :time(z62, z63) ∧ future(z63) ∧ recommend-01(z37) ∧ :ARG1(z37, z38) ∧ strive-01(z38) ∧ :ARG0(z38, z39) ∧ we(z39) ∧ :ARG1(z38, z40) ∧ preserve-01(z40) ∧ :ARG0(z40, z39) ∧ :ARG1(z40, z41) ∧ species(z41) ∧ :ARG0(z42, z41) ∧ live-01(z42) ∧ :ARG1(z43, z40) ∧ cause-01(z43) ∧ :ARG0(z43, z44) ∧ deserve-01(z44) ∧ :ARG0(z44, z41) ∧ :ARG1(z44, z45) ∧ survive-01(z45) ∧ :ARG0(z45, z41) ∧ :ARG1(z46, z44) ∧ contrast-01(z46) ∧ ¬(:ARG2(z46, z47) ∧ cause-01(z47) ∧ :ARG0(z47, z48) ∧ possible-01(z48) ∧ :ARG1(z48, z49) ∧ do-02(z49) ∧ :ARG0(z49, z41) ∧ :ARG1(z49, z50) ∧ good-02(z50) ∧ :ARG2(z49, z39) ∧ :ARG1(z47, z30)) ∧ :ARG1(z51, z38) ∧ instead-of-91(z51) ∧ :ARG2(z51, z52) ∧ strive-01(z52) ∧ :ARG0(z52, z39) ∧ :ARG1(z52, z40) ∧ :ARG1(z53, z52) ∧ cause-01(z53) ∧ :ARG0(z53, z54) ∧ deserve-01(z54) ∧ :ARG0(z54, z41) ∧ :ARG1(z54, z55) ∧ survive-01(z55) ∧ :ARG0(z55, z41) ∧ :ARG0(z64, z37) ∧ cause-01(z64) ∧ :ARG1(z64, z65) ∧ :condition(z65, z75) ∧ want-01(z75) ∧ :ARG0(z75, z57) ∧ :ARG1(z75, z76) ∧ ensure-01(z76) ∧ :ARG0(z76, z57) ∧ :ARG1(z76, z77) ∧ available-02(z77) ∧ :ARG2(z77, z78) ∧ chemical(z78) ∧ :source(z78, z79) ∧ plant(z79) ∧ :purpose(z77, z80) ∧ use-01(z80) ∧ :ARG1(z80, z78) ∧ :time(z80, z81) ∧ future(z81) ∧ obligate-01(z65) ∧ :ARG1(z65, z57) ∧ :ARG2(z65, z66) ∧ try-01(z66) ∧ :ARG0(z66, z57) ∧ :ARG1(z66, z67) ∧ preserve-01(z67) ∧ :ARG0(z67, z57) ∧ :ARG1(z67, z68) ∧ resource(z68) ∧ :ARG1(z69, z68) ∧ natural-03(z69) ∧ :poss(z68, z57) ∧ :duration(z67, z70) ∧ time(z70) ∧ :mod(z70, z71) ∧ all(z71) ∧ :ARG1(z72, z66) ∧ have-degree-91(z72) ∧ :ARG2(z72, z73) ∧ serious-01(z73) ∧ :ARG1(z73, z66) ∧ :ARG3(z72, z74) ∧ more(z74) ∧ :snt4(z1, z82) ∧ say-01(z82) ∧ :ARG0(z82, z83) ∧ person(z83) ∧ :wiki(z83, -) ∧ :name(z83, z84) ∧ name(z84) ∧ :op1(z84, "Y") ∧ :ARG1(z82, z85) ∧ contrast-01(z85) ∧ ¬(:ARG2(z85, z86) ∧ resource(z86) ∧ :poss(z86, z87) ∧ we(z87) ∧ :domain(z86, z88) ∧ thing(z88) ∧ :ARG0(z89, z88) ∧ live-01(z89)) ∧ :snt5(z1, z90) ∧ say-01(z90) ∧ :ARG0(z90, z91) ∧ person(z91) ∧ :wiki(z91, -) ∧ :name(z91, z92) ∧ name(z92) ∧ :op1(z92, "X") ∧ :ARG1(z90, z1000) ∧ likely-01(z1000) ∧ :ARG1(z1000, z1001) ∧ provide-01(z1001) ∧ :ARG0(z1001, z93) ∧ species(z93) ∧ :mod(z93, z94) ∧ plant(z94) ∧ :ARG1(z95, z93) ∧ rare-02(z95) ∧ :quant(z93, z96) ∧ many(z96) ∧ :ARG1(z97, z93) ∧ derive-01(z97) ∧ :ARG2(z97, z98) ∧ or(z98) ∧ :op1(z98, z99) ∧ or(z99) ∧ :op1(z99, z100) ∧ species(z100) ∧ :mod(z100, z101) ∧ plant(z101) ∧ :ARG1(z102, z100) ∧ rare-02(z102) ∧ :op2(z99, z103) ∧ species(z103) ∧ :ARG1(z104, z103) ∧ endanger-01(z104) ∧ :ARG1(z93, z1002) ∧ substance(z1002) ∧ :ARG0(z1003, z1002) ∧ boon(z1003) ∧ :beneficiary(z1003, z1004) ∧ humanity(z1004) ∧ :ARG2(z1002, z1005) ∧ we(z1005) ∧ :snt6(z1000, z1006) ∧ say-01(z1006) ∧ :ARG0(z1006, z1007) ∧ person(z1007) ∧ :wiki(z1007, -) ∧ :name(z1007, z1008) ∧ name(z1008) ∧ :op1(z1008, "Y") ∧ :ARG1(z1006, z1009) ∧ recommend-01(z1009) ∧ :ARG1(z1009, z1010) ∧ make-02(z1010) ∧ :ARG0(z1010, z1007) ∧ :ARG1(z1010, z1011) ∧ try-01(z1011) ∧ :ARG0(z1011, z1007) ∧ :ARG1(z1011, z1012) ∧ preserve-01(z1012) ∧ :ARG0(z1012, z1007) ∧ :ARG1(z1012, z1013) ∧ resource(z1013) ∧ :ARG1(z1014, z1013) ∧ natural-03(z1014) ∧ :poss(z1013, z1007) ∧ :ARG1(z1015, z1011) ∧ serious-01(z1015) ∧ :ARG2(z105, z1015) ∧ have-degree-91(z105) ∧ :ARG1(z105, z1007) ∧ :ARG3(z105, z106) ∧ more(z106) ∧ :snt7(z1000, z1016) ∧ say-01(z1016) ∧ :ARG0(z1016, z1017) ∧ person(z1017) ∧ :wiki(z1017, -) ∧ :name(z1017, z1018) ∧ name(z1018) ∧ :op1(z1018, "X") ∧ :ARG1(z1016, z1019) ∧ recommend-01(z1019) ∧ :ARG1(z1019, z1020) ∧ provide-01(z1020) ∧ :ARG0(z1020, z1007) ∧ :ARG1(z1020, z1021) ∧ substance(z1021) ∧ :ARG0(z1022, z1021) ∧ boon(z1022) ∧ :beneficiary(z1022, z1023) ∧ humanity(z1023) ∧ :ARG2(z1021, z1024) ∧ we(z1024) ∧ :ARG2(z1020, z1025) ∧ we(z1025) ∧ :snt8(z1000, z1026) ∧ say-01(z1026) ∧ :ARG0(z1026, z1027) ∧ person(z1027) ∧ :wiki(z1027, -) ∧ :name(z1027, z1028) ∧ name(z1028) ∧ :op1(z1028, "Y") ∧ :ARG1(z1026, z1029) ∧ provide-01(z1029) ∧ :ARG0(z1029, z1027) ∧ :ARG1(z1029, z1030) ∧ substance(z1030) ∧ :ARG0(z1031, z1030) ∧ boon(z1031) ∧ :beneficiary(z1031, z1023) ∧ :ARG2(z1029, z1032) ∧ we(z1032) ∧ :ARG2(z1026, z1033) ∧ we(z1033) ∧ :prep-as(z1000, z1034) ∧ person(z1034) ∧ :wiki(z1034, -) ∧ :name(z1034, z1035) ∧ name(z1035) ∧ :op1(z1035, "A") ∧ :op2(z1035, "Y") ∧ :snt9(z90, z1036) ∧ say-01(z1036) ∧ :ARG0(z1036, z1037) ∧ person(z1037) ∧ :wiki(z1037, -) ∧ :name(z1037, z107) ∧ name(z107) ∧ :op1(z107, "A") ∧ :op2(z107, "A") ∧ :op3(z107, "A") ∧ :op4(z107, "Y") ∧ :ARG1(z1036, z108) ∧ and(z108) ∧ :op1(z108, z1038) ∧ step-01(z1038) ∧ :ARG2(z1038, z1039) ∧ outgrowth(z1039) ∧ :op2(z108, z1040) ∧ outgrowth-00(z1040) ∧ :ARG0(z1040, z1027) ∧ :prep-to(z1036, z1041) ∧ future(z1041) ∧ :prep-to(z90, z1042) ∧ person(z1042) ∧ :wiki(z1042, -) ∧ :name(z1042, z1043) ∧ name(z1043) ∧ :op1(z1043, "A") ∧ :op2(z1043, "A") ∧ :op3(z1043, "A") ∧ :op4(z1043, "A") ∧ :op5(z1043, "A") ∧ :op6(z1043, ".") ∧ :op8(z1043, "A") ∧ :op9(z1043, "._A") ∧ :op10(z1043, "A") ∧ :op11(z1043, "._A") ∧ :op12(z1043, "A") ∧ :op13(z1043, "._A")


If Juan went to the party, it is highly unlikely that Maria would have enjoyed the party. But in fact it turned out that Maria did enjoy the party; ttherefore, it is highly unlikely that Juan was at the party.

Question: The pattern of reasoning in the argument above is most similar to that in which one of the following?

Choices:
- This year's election will probably be fair. But Popov probably will not win unless the election is unfair. So, Popov will not win the election.
- Kapinski, our new neighbor, is probably friendly, for Kapinski sells insurance and most people who sell insurance are friendly.
- If Clarissa missed the bus today, it is quite unlikely that she would have gotten to work on time. So, it is quite unlikely that Clarissa missed the bus, since she actually was at work on time today.
- If the lottery were fair, the person who won the lottery would not have been likely to win it. Thus, since this person would have been likely to win the lottery if it were unfair, the lottery was probably unfair.

(z0 / multi-sentence
    :snt1 (z1 / likely-01
              :polarity -
              :ARG1 (z2 / enjoy-01
                        :ARG0 (z3 / person
                                  :wiki -
                                  :name (z4 / name
                                            :op1 "Maria"))
                        :ARG1 (z5 / party))
              :degree (z6 / high-02)
              :condition (z7 / go-02
                             :ARG0 (z8 / person
                                       :wiki -
                                       :name (z9 / name
                                                 :op1 "Juan"))
                             :ARG4 z5))
    :snt2 (z10 / contrast-01
               :ARG1 (z11 / turn-out-11
                          :ARG1 (z12 / enjoy-01
                                     :ARG0 (z13 / person
                                                :wiki -
                                                :name (z14 / name
                                                           :op1 "Maria"))
                                     :ARG1 (z15 / party))
                          :mod (z16 / in-fact))
               :ARG2 (z17 / likely-01
                          :polarity -
                          :ARG1 (z18 / be-located-at-91
                                     :ARG1 z8
                                     :ARG2 (z19 / party))
                          :degree (z20 / high-02)))
    :snt3 (z21 / cause-01
               :ARG1 (z22 / likely-01
                          :polarity -
                          :ARG1 (z23 / be-located-at-91
                                     :ARG1 (z24 / person
                                                :wiki -
                                                :name (z25 / name
                                                           :op1 "Juan"))
                                     :ARG2 (z26 / party))
                          :degree (z27 / high-02)
                          :condition (z28 / go-02
                                          :ARG0 z24
                                          :ARG4 z26)))
    :snt4 (z29 / and
               :op1 (z30 / go-02
                         :ARG0 (z31 / person
                                    :wiki -
                                    :name (z32 / name
                                               :op1 "Juan"))
                         :ARG4 (z33 / party))
               :op2 (z34 / go-01
                         :ARG1 z31
                         :ARG4 z33))
    :snt5 (z35 / turn-out-11
               :ARG1 (z36 / enjoy-01
                          :ARG0 (z37 / person
                                     :wiki -
                                     :name (z38 / name
                                                :op1 "Maria"))
                          :ARG1 (z39 / party))
               :mod (z40 / in-fact))
    :snt6 (z41 / cause-01
               :ARG1 (z42 / likely-01
                          :polarity -
                          :ARG1 (z43 / be-located-at-91
                                     :ARG1 z24
                                     :ARG2 (z44 / party))
                          :degree (z45 / high-02))))


In recent years, community banks in some big cities have been closed frequently. At the same time, a series of new banks, such as unmanned banks, 5G banks and smart banks, keep emerging. Bank branches are bidding farewell to cold glass counters and metal benches. The traditional transaction processing functions of bank branches are weakened, and customized services, product experience, social interaction and other functions are increasingly prominent. As a result, some experts predict that traditional bank branches will disappear within 20 years.

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

Choices:
- Customers need to enter the door to take the number, wait for the number, to deal with a simple business cost a long time
- The introduction of artificial intelligence and other technological means has changed people's impression of bank branches
- Complex business must be signed face to face at the bank branch, such as account opening, account cancellation, etc., must be handled by myself and manual audit
- Online banking, mobile banking and other emerging, bank outlets as the main channel of service is weakening

(z0 / multi-sentence
    :snt1 (z1 / close-01
              :ARG1 (z2 / bank
                        :mod (z3 / community)
                        :location (z4 / city
                                      :mod (z5 / big)
                                      :quant (z6 / some)))
              :time (z7 / year
                        :mod (z8 / recent))
              :ARG1-of (z9 / frequent-02))
    :snt2 (z10 / keep-02
               :ARG1 (z11 / emerge-01
                          :ARG0 (z12 / bank
                                     :quant (z13 / series)
                                     :ARG1-of (z14 / new-01)
                                     :example (z15 / and
                                                   :op1 (z16 / bank
                                                             :ARG1-of (z17 / man-01
                                                                           :polarity -))
                                                   :op2 (z18 / bank
                                                             :mod (z19 / network
                                                                       :ARG1-of (z20 / mobile-02)))
                                                   :op3 (z21 / bank
                                                             :ARG1-of (z22 / smart-06)))))
               :time (z23 / time
                          :ARG1-of (z24 / same-01)))
    :snt3 (z25 / bid-01
               :ARG0 (z26 / branch
                          :mod (z27 / bank))
               :ARG1 (z28 / farewell)
               :ARG2 (z29 / and
                          :op1 (z30 / counter
                                    :ARG1-of (z31 / cold-01)
                                    :consist-of (z32 / glass)
                                    :ARG1-of (z33 / cold-01))
                          :op2 (z34 / bench
                                    :consist-of (z35 / metal))))
    :snt4 (z36 / and
               :op1 (z37 / weaken-01
                         :ARG1 (z38 / function-01
                                    :ARG0 (z39 / branch
                                               :mod (z40 / bank))
                                    :ARG1 (z41 / process-01
                                               :ARG1 (z42 / transact-01))
                                    :mod (z43 / tradition)))
               :op2 (z44 / prominent
                         :domain (z45 / and
                                      :op1 (z46 / service
                                                :ARG1-of (z47 / customize-01))
                                      :op2 (z48 / experience-01
                                                :ARG1 (z49 / product))
                                      :op3 (z50 / interact-01
                                                :ARG1 (z51 / society))
                                      :op4 (z52 / function
                                                :mod (z53 / other)))
                         :ARG1-of (z54 / increase-01))
               :snt5 (z55 / result-01
                          :ARG2 (z56 / predict-01
                                     :ARG0 (z57 / person
                                                :quant (z58 / some)
                                                :ARG1-of (z59 / expert-01))
                                     :ARG1 (z60 / disappear-01
                                                :ARG1 (z61 / branch
                                                           :mod (z62 / bank)
                                                           :mod (z63 / tradition))
                                                :time (z64 / after
                                                           :op1 (z65 / now)
                                                           :quant (z66 / up-to
                                                                       :op1 (z67 / temporal-quantity
                                                                                :quant 20
                                                                                :unit (z68 / year)))))))
               :snt6 (z69 / bid-04
                          :ARG0 (z70 / branch
                                     :mod (z71 / bank))
                          :ARG1 (z72 / farewell)
                          :ARG2 (z73 / and
                                     :op1 (z74 / counter
                                               :ARG1-of (z75 / cold-01)
                                               :consist-of (z76 / glass))
                                     :op2 (z77 / bench
                                               :consist-of (z78 / metal))))
               :snt7 (z79 / cause-01
                          :ARG1 (z80 / predict-01
                                     :ARG0 (z81 / person
                                                :ARG1-of (z82 / expert-01))
                                     :ARG1 (z83 / disappear-01
                                                :ARG1 (z84 / branch
                                                           :mod (z85 / bank)
                                                           :mod (z86 / tradition))
                                                :time (z87 / after
                                                           :op1 (z88 / now)
                                                           :quant (z89 / up-to
                                                                       :op1 (z90 / temporal-quantity
                                                                                :quant 20
                                                                                :unit (z91 / year)))))))
               :snt8 (z92 / close-01
                          :ARG1 (z93 / bank
                                     :location (z94 / city
                                                    :mod (z95 / big)
                                                    :quant (z1000 / some)))
                          :ARG1-of (z1001 / frequent-02)
                          :time (z1002 / year
                                       :mod (z1003 / recent)))
               :snt9 (z1004 / close-01
                            :ARG1 (z1005 / bank
                                         :location (z1006 / city
                                                          :mod (z1007 / big)))
                            :ARG1-of (z1008 / frequent-02))
               :snt10 (z1009 / cause-01
                             :ARG1 (z1010 / emerge-02
                                          :ARG0 (z1011 / bank
                                                       :ARG1-of (z1012 / new-01)
                                                       :quant (z1013 / series)
                                                       :example (z1014 / and
                                                                       :op1 (z1015 / bank
                                                                                :ARG1-of (z1016 / man-01
                                                                                :polarity -))
                                                                       :op2 (z1017 / bank
                                                                                :mod (z1018 / bank
                                                                                :ARG1-of (z1019 / man-01
                                                                                :polarity -)))
                                                                       :op3 (z1020 / bank
                                                                                :ARG1-of (z1021 / smart-06))))
                                          :time (z1022 / time
                                                       :ARG1-of (z1023 / same-01))))
               :snt11 (z1024 / bid-04
                             :ARG0 (z1025 / branch
                                          :mod (z1026 / bank))
                             :ARG1 (z1027 / farewell)
                             :ARG2 (z1028 / and
                                          :op1 (z1029 / counter
                                                      :ARG1-of (z1030 / cold-01)
                                                      :consist-of (z1031 / glass)))
                             :op2 (z1032 / experience
                                         :ARG1-of (z1033 / customize-01))
                             :op3 (z1034 / experience-01
                                         :ARG1 (z1035 / product))
                             :op4 (z1036 / function-01
                                         :ARG1 (z1037 / interact-01
                                                      :ARG1 (z1038 / society)))
                             :op5 (z1039 / function
                                         :mod (z1040 / other))
                             :ARG1-of (z1041 / increase-01)))
    :snt12 (z1042 / cause-01
                  :ARG1 (z1043 / predict-01
                               :ARG0 (z1044 / person
                                            :ARG1-of (z1045 / expert-01))
                               :ARG1 (z96 / disappear-01
                                          :ARG1 (z97 / branch
                                                     :mod (z98 / tradition))
                                          :time (z99 / after
                                                     :op1 (z100 / now)
                                                     :quant (z101 / up-to
                                                                  :op1 (z102 / temporal-quantity
                                                                             :quant 20
                                                                             :unit (z103 / year))))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ close-01(z1) ∧ :ARG1(z1, z2) ∧ bank(z2) ∧ :mod(z2, z3) ∧ community(z3) ∧ :location(z2, z4) ∧ city(z4) ∧ :mod(z4, z5) ∧ big(z5) ∧ :quant(z4, z6) ∧ some(z6) ∧ :time(z1, z7) ∧ year(z7) ∧ :mod(z7, z8) ∧ recent(z8) ∧ :ARG1(z9, z1) ∧ frequent-02(z9) ∧ :snt2(z0, z10) ∧ keep-02(z10) ∧ :ARG1(z10, z11) ∧ emerge-01(z11) ∧ :ARG0(z11, z12) ∧ bank(z12) ∧ :quant(z12, z13) ∧ series(z13) ∧ :ARG1(z14, z12) ∧ new-01(z14) ∧ :example(z12, z15) ∧ and(z15) ∧ :op1(z15, z16) ∧ bank(z16) ∧ ¬(:ARG1(z17, z16) ∧ man-01(z17)) ∧ :op2(z15, z18) ∧ bank(z18) ∧ :mod(z18, z19) ∧ network(z19) ∧ :ARG1(z20, z19) ∧ mobile-02(z20) ∧ :op3(z15, z21) ∧ bank(z21) ∧ :ARG1(z22, z21) ∧ smart-06(z22) ∧ :time(z10, z23) ∧ time(z23) ∧ :ARG1(z24, z23) ∧ same-01(z24) ∧ :snt3(z0, z25) ∧ bid-01(z25) ∧ :ARG0(z25, z26) ∧ branch(z26) ∧ :mod(z26, z27) ∧ bank(z27) ∧ :ARG1(z25, z28) ∧ farewell(z28) ∧ :ARG2(z25, z29) ∧ and(z29) ∧ :op1(z29, z30) ∧ counter(z30) ∧ :ARG1(z31, z30) ∧ cold-01(z31) ∧ :consist(z32, z30) ∧ glass(z32) ∧ :ARG1(z33, z30) ∧ cold-01(z33) ∧ :op2(z29, z34) ∧ bench(z34) ∧ :consist(z35, z34) ∧ metal(z35) ∧ :snt4(z0, z36) ∧ and(z36) ∧ :op1(z36, z37) ∧ weaken-01(z37) ∧ :ARG1(z37, z38) ∧ function-01(z38) ∧ :ARG0(z38, z39) ∧ branch(z39) ∧ :mod(z39, z40) ∧ bank(z40) ∧ :ARG1(z38, z41) ∧ process-01(z41) ∧ :ARG1(z41, z42) ∧ transact-01(z42) ∧ :mod(z38, z43) ∧ tradition(z43) ∧ :op2(z36, z44) ∧ prominent(z44) ∧ :domain(z44, z45) ∧ and(z45) ∧ :op1(z45, z46) ∧ service(z46) ∧ :ARG1(z47, z46) ∧ customize-01(z47) ∧ :op2(z45, z48) ∧ experience-01(z48) ∧ :ARG1(z48, z49) ∧ product(z49) ∧ :op3(z45, z50) ∧ interact-01(z50) ∧ :ARG1(z50, z51) ∧ society(z51) ∧ :op4(z45, z52) ∧ function(z52) ∧ :mod(z52, z53) ∧ other(z53) ∧ :ARG1(z54, z44) ∧ increase-01(z54) ∧ :snt5(z36, z55) ∧ result-01(z55) ∧ :ARG2(z55, z56) ∧ predict-01(z56) ∧ :ARG0(z56, z57) ∧ person(z57) ∧ :quant(z57, z58) ∧ some(z58) ∧ :ARG1(z59, z57) ∧ expert-01(z59) ∧ :ARG1(z56, z60) ∧ disappear-01(z60) ∧ :ARG1(z60, z61) ∧ branch(z61) ∧ :mod(z61, z62) ∧ bank(z62) ∧ :mod(z61, z63) ∧ tradition(z63) ∧ :time(z60, z64) ∧ after(z64) ∧ :op1(z64, z65) ∧ now(z65) ∧ :quant(z64, z66) ∧ up-to(z66) ∧ :op1(z66, z67) ∧ temporal-quantity(z67) ∧ :quant(z67, 20) ∧ :unit(z67, z68) ∧ year(z68) ∧ :snt6(z36, z69) ∧ bid-04(z69) ∧ :ARG0(z69, z70) ∧ branch(z70) ∧ :mod(z70, z71) ∧ bank(z71) ∧ :ARG1(z69, z72) ∧ farewell(z72) ∧ :ARG2(z69, z73) ∧ and(z73) ∧ :op1(z73, z74) ∧ counter(z74) ∧ :ARG1(z75, z74) ∧ cold-01(z75) ∧ :consist(z76, z74) ∧ glass(z76) ∧ :op2(z73, z77) ∧ bench(z77) ∧ :consist(z78, z77) ∧ metal(z78) ∧ :snt7(z36, z79) ∧ cause-01(z79) ∧ :ARG1(z79, z80) ∧ predict-01(z80) ∧ :ARG0(z80, z81) ∧ person(z81) ∧ :ARG1(z82, z81) ∧ expert-01(z82) ∧ :ARG1(z80, z83) ∧ disappear-01(z83) ∧ :ARG1(z83, z84) ∧ branch(z84) ∧ :mod(z84, z85) ∧ bank(z85) ∧ :mod(z84, z86) ∧ tradition(z86) ∧ :time(z83, z87) ∧ after(z87) ∧ :op1(z87, z88) ∧ now(z88) ∧ :quant(z87, z89) ∧ up-to(z89) ∧ :op1(z89, z90) ∧ temporal-quantity(z90) ∧ :quant(z90, 20) ∧ :unit(z90, z91) ∧ year(z91) ∧ :snt8(z36, z92) ∧ close-01(z92) ∧ :ARG1(z92, z93) ∧ bank(z93) ∧ :location(z93, z94) ∧ city(z94) ∧ :mod(z94, z95) ∧ big(z95) ∧ :quant(z94, z1000) ∧ some(z1000) ∧ :ARG1(z1001, z92) ∧ frequent-02(z1001) ∧ :time(z92, z1002) ∧ year(z1002) ∧ :mod(z1002, z1003) ∧ recent(z1003) ∧ :snt9(z36, z1004) ∧ close-01(z1004) ∧ :ARG1(z1004, z1005) ∧ bank(z1005) ∧ :location(z1005, z1006) ∧ city(z1006) ∧ :mod(z1006, z1007) ∧ big(z1007) ∧ :ARG1(z1008, z1004) ∧ frequent-02(z1008) ∧ :snt10(z36, z1009) ∧ cause-01(z1009) ∧ :ARG1(z1009, z1010) ∧ emerge-02(z1010) ∧ :ARG0(z1010, z1011) ∧ bank(z1011) ∧ :ARG1(z1012, z1011) ∧ new-01(z1012) ∧ :quant(z1011, z1013) ∧ series(z1013) ∧ :example(z1011, z1014) ∧ and(z1014) ∧ :op1(z1014, z1015) ∧ bank(z1015) ∧ ¬(:ARG1(z1016, z1015) ∧ man-01(z1016)) ∧ :op2(z1014, z1017) ∧ bank(z1017) ∧ :mod(z1017, z1018) ∧ bank(z1018) ∧ ¬(:ARG1(z1019, z1018) ∧ man-01(z1019)) ∧ :op3(z1014, z1020) ∧ bank(z1020) ∧ :ARG1(z1021, z1020) ∧ smart-06(z1021) ∧ :time(z1010, z1022) ∧ time(z1022) ∧ :ARG1(z1023, z1022) ∧ same-01(z1023) ∧ :snt11(z36, z1024) ∧ bid-04(z1024) ∧ :ARG0(z1024, z1025) ∧ branch(z1025) ∧ :mod(z1025, z1026) ∧ bank(z1026) ∧ :ARG1(z1024, z1027) ∧ farewell(z1027) ∧ :ARG2(z1024, z1028) ∧ and(z1028) ∧ :op1(z1028, z1029) ∧ counter(z1029) ∧ :ARG1(z1030, z1029) ∧ cold-01(z1030) ∧ :consist(z1031, z1029) ∧ glass(z1031) ∧ :op2(z1024, z1032) ∧ experience(z1032) ∧ :ARG1(z1033, z1032) ∧ customize-01(z1033) ∧ :op3(z1024, z1034) ∧ experience-01(z1034) ∧ :ARG1(z1034, z1035) ∧ product(z1035) ∧ :op4(z1024, z1036) ∧ function-01(z1036) ∧ :ARG1(z1036, z1037) ∧ interact-01(z1037) ∧ :ARG1(z1037, z1038) ∧ society(z1038) ∧ :op5(z1024, z1039) ∧ function(z1039) ∧ :mod(z1039, z1040) ∧ other(z1040) ∧ :ARG1(z1041, z1024) ∧ increase-01(z1041) ∧ :snt12(z0, z1042) ∧ cause-01(z1042) ∧ :ARG1(z1042, z1043) ∧ predict-01(z1043) ∧ :ARG0(z1043, z1044) ∧ person(z1044) ∧ :ARG1(z1045, z1044) ∧ expert-01(z1045) ∧ :ARG1(z1043, z96) ∧ disappear-01(z96) ∧ :ARG1(z96, z97) ∧ branch(z97) ∧ :mod(z97, z98) ∧ tradition(z98) ∧ :time(z96, z99) ∧ after(z99) ∧ :op1(z99, z100) ∧ now(z100) ∧ :quant(z99, z101) ∧ up-to(z101) ∧ :op1(z101, z102) ∧ temporal-quantity(z102) ∧ :quant(z102, 20) ∧ :unit(z102, z103) ∧ year(z103)