Scientists have discovered a new species of butterfly that lives only in a small region of Central America and is active only at night. During the day, it rests in treetops, where its green color matches the foliage perfectly. Ttherefore, the scientists must have discovered the butterfly at night.

Question: The argument depends on which of the following assumptions?

Choices:
- The butterfly cannot survive in areas outside of Central America.
- There is no way for the scientists to detect the butterfly during the day.
- No other butterfly species lives in this region of Central America.
- The foliage in the butterfly's habitat is completely green.

(z0 / multi-sentence
    :snt1 (z1 / discover-01
              :ARG0 (z2 / scientist)
              :ARG1 (z3 / species
                        :ARG1-of (z4 / new-01)
                        :mod (z5 / butterfly)
                        :ARG0-of (z6 / live-01
                                     :location (z7 / region
                                                   :mod (z8 / small)
                                                   :mod (z9 / only)
                                                   :part-of (z10 / world-region
                                                                 :wiki "Central_America"
                                                                 :name (z11 / name
                                                                            :op1 "Central"
                                                                            :op2 "America"))))
                        :ARG0-of (z12 / activity-06
                                      :time (z13 / date-entity
                                                 :dayperiod (z14 / night)
                                                 :mod (z15 / only)))))
    :snt2 (z16 / rest-01
               :ARG1 (z17 / it)
               :location (z18 / treetops
                              :location-of (z19 / match-01
                                                :ARG1 (z20 / color
                                                           :ARG1-of (z21 / green-02)
                                                           :poss z17)
                                                :ARG2 (z22 / foliage)
                                                :ARG1-of (z23 / perfect-02)))
               :time (z24 / day))
    :snt3 (z25 / infer-01
               :ARG1 (z26 / discover-01
                          :ARG0 (z27 / scientist)
                          :ARG1 (z28 / butterfly)
                          :time (z29 / date-entity
                                     :dayperiod (z30 / night))))
    :snt4 (z31 / cause-01
               :ARG1 (z32 / obligate-01
                          :ARG1 z27
                          :ARG2 (z33 / discover-01
                                     :ARG0 z27
                                     :ARG1 (z34 / butterfly)
                                     :time (z35 / date-entity
                                                :dayperiod (z36 / night)))))
    :snt5 (z37 / have-concession-91
               :ARG1 (z38 / rest-01
                          :ARG1 (z39 / it)
                          :location (z40 / treetops
                                         :location-of (z41 / match-01
                                                           :ARG1 (z42 / color
                                                                      :ARG1-of (z43 / green-02)
                                                                      :poss z39)
                                                           :ARG2 (z44 / foliage)
                                                           :ARG1-of (z45 / perfect-02))
                                         :time (z46 / day)))
               :ARG2 (z47 / go-01
                          :ARG1 (z48 / time
                                     :ARG1-of (z49 / pass-03))
                          :direction (z50 / ahead)))
    :snt6 (z51 / discover-01
               :ARG0 (z52 / scientist)
               :ARG1 (z53 / region
                          :mod (z54 / small)
                          :part-of (z55 / world-region
                                        :wiki "Central_America"
                                        :name (z56 / name
                                                   :op1 "Central"
                                                   :op2 "America"))
                          :mod (z57 / only)
                          :location-of (z58 / live-01
                                            :ARG0 (z59 / species
                                                       :mod (z60 / butterfly)
                                                       :ARG1-of (z61 / new-01)))))
    :time (z63 / date-entity
               :dayperiod (z64 / night)
               :mod (z65 / only)))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ discover-01(z1) ∧ :ARG0(z1, z2) ∧ scientist(z2) ∧ :ARG1(z1, z3) ∧ species(z3) ∧ :ARG1(z4, z3) ∧ new-01(z4) ∧ :mod(z3, z5) ∧ butterfly(z5) ∧ :ARG0(z6, z3) ∧ live-01(z6) ∧ :location(z6, z7) ∧ region(z7) ∧ :mod(z7, z8) ∧ small(z8) ∧ :mod(z7, z9) ∧ only(z9) ∧ :part(z10, z7) ∧ world-region(z10) ∧ :wiki(z10, "Central_America") ∧ :name(z10, z11) ∧ name(z11) ∧ :op1(z11, "Central") ∧ :op2(z11, "America") ∧ :ARG0(z12, z3) ∧ activity-06(z12) ∧ :time(z12, z13) ∧ date-entity(z13) ∧ :dayperiod(z13, z14) ∧ night(z14) ∧ :mod(z13, z15) ∧ only(z15) ∧ :snt2(z0, z16) ∧ rest-01(z16) ∧ :ARG1(z16, z17) ∧ it(z17) ∧ :location(z16, z18) ∧ treetops(z18) ∧ :location(z19, z18) ∧ match-01(z19) ∧ :ARG1(z19, z20) ∧ color(z20) ∧ :ARG1(z21, z20) ∧ green-02(z21) ∧ :poss(z20, z17) ∧ :ARG2(z19, z22) ∧ foliage(z22) ∧ :ARG1(z23, z19) ∧ perfect-02(z23) ∧ :time(z16, z24) ∧ day(z24) ∧ :snt3(z0, z25) ∧ infer-01(z25) ∧ :ARG1(z25, z26) ∧ discover-01(z26) ∧ :ARG0(z26, z27) ∧ scientist(z27) ∧ :ARG1(z26, z28) ∧ butterfly(z28) ∧ :time(z26, z29) ∧ date-entity(z29) ∧ :dayperiod(z29, z30) ∧ night(z30) ∧ :snt4(z0, z31) ∧ cause-01(z31) ∧ :ARG1(z31, z32) ∧ obligate-01(z32) ∧ :ARG1(z32, z27) ∧ :ARG2(z32, z33) ∧ discover-01(z33) ∧ :ARG0(z33, z27) ∧ :ARG1(z33, z34) ∧ butterfly(z34) ∧ :time(z33, z35) ∧ date-entity(z35) ∧ :dayperiod(z35, z36) ∧ night(z36) ∧ :snt5(z0, z37) ∧ have-concession-91(z37) ∧ :ARG1(z37, z38) ∧ rest-01(z38) ∧ :ARG1(z38, z39) ∧ it(z39) ∧ :location(z38, z40) ∧ treetops(z40) ∧ :location(z41, z40) ∧ match-01(z41) ∧ :ARG1(z41, z42) ∧ color(z42) ∧ :ARG1(z43, z42) ∧ green-02(z43) ∧ :poss(z42, z39) ∧ :ARG2(z41, z44) ∧ foliage(z44) ∧ :ARG1(z45, z41) ∧ perfect-02(z45) ∧ :time(z40, z46) ∧ day(z46) ∧ :ARG2(z37, z47) ∧ go-01(z47) ∧ :ARG1(z47, z48) ∧ time(z48) ∧ :ARG1(z49, z48) ∧ pass-03(z49) ∧ :direction(z47, z50) ∧ ahead(z50) ∧ :snt6(z0, z51) ∧ discover-01(z51) ∧ :ARG0(z51, z52) ∧ scientist(z52) ∧ :ARG1(z51, z53) ∧ region(z53) ∧ :mod(z53, z54) ∧ small(z54) ∧ :part(z55, z53) ∧ world-region(z55) ∧ :wiki(z55, "Central_America") ∧ :name(z55, z56) ∧ name(z56) ∧ :op1(z56, "Central") ∧ :op2(z56, "America") ∧ :mod(z53, z57) ∧ only(z57) ∧ :location(z58, z53) ∧ live-01(z58) ∧ :ARG0(z58, z59) ∧ species(z59) ∧ :mod(z59, z60) ∧ butterfly(z60) ∧ :ARG1(z61, z59) ∧ new-01(z61) ∧ :time(z0, z63) ∧ date-entity(z63) ∧ :dayperiod(z63, z64) ∧ night(z64) ∧ :mod(z63, z65) ∧ only(z65)


Whether a person is drowsy or refreshed after a meal has something to do with the protein in the food they eat. Most proteins contain an amino acid called tyrosine, which enters the brain to stimulate the formation of dopamine and neo-adrenaline. Birds and fish contain the most tyrosine, but not all foods containing tyrosine excite the brain. Meat contains tyrosine, but fat interferes with its absorption.

Question: Which of the following can be inferred from the above description?

Choices:
- Foods with more protein are more conducive to intellectual development
- Protein in fish is easy to digest and absorb
- Fish are rich in dopamines
- There is more fat in meat than in fish

(z0 / multi-sentence
    :snt1 (z1 / have-to-do-with-04
              :ARG0 (z2 / truth-value
                        :polarity-of (z3 / or
                                         :op1 (z4 / sleepy
                                                  :domain (z5 / person))
                                         :op2 (z6 / refresh-01
                                                  :ARG1 z5)
                                         :time (z7 / after
                                                   :op1 (z8 / meal))))
              :ARG1 (z9 / protein
                        :part-of (z10 / food
                                      :ARG1-of (z11 / eat-01
                                                    :ARG0 z5)))
              :ARG2 (z12 / something))
    :snt2 (z13 / contain-01
               :ARG0 (z14 / protein
                          :quant (z15 / most))
               :ARG1 (z16 / amino-acid
                          :ARG1-of (z17 / call-01
                                        :ARG2 (z18 / tyrosine))
                          :ARG0-of (z19 / enter-01
                                        :ARG1 (z20 / brain)
                                        :purpose (z21 / stimulate-01
                                                      :ARG0 z16
                                                      :ARG1 (z22 / form-01
                                                                 :ARG1 (z23 / and
                                                                            :op1 (z24 / dopamine)
                                                                            :op2 (z25 / noreadaline)))))))
    :snt3 (z26 / contrast-01
               :ARG1 (z27 / contain-01
                          :ARG0 (z28 / and
                                     :op1 (z29 / bird)
                                     :op2 (z30 / fish))
                          :ARG1 (z31 / have-degree-91
                                     :ARG1 (z32 / tyrosine)
                                     :ARG2 (z33 / have-quant-91
                                                :ARG1 z32
                                                :ARG3 (z34 / most))))
               :ARG2 (z35 / excite-01
                          :ARG0 (z36 / food
                                     :ARG0-of (z37 / contain-01
                                                   :ARG1 z31)
                                     :mod (z38 / all
                                               :polarity -))
                          :ARG1 (z39 / brain)))
    :snt4 (z40 / contrast-01
               :ARG1 (z41 / contain-01
                          :ARG0 (z42 / meat)
                          :ARG1 (z43 / tyrosine))
               :ARG2 (z44 / interfere-01
                          :ARG0 (z45 / fat)
                          :ARG1 (z46 / absorb-01
                                     :ARG1 z43)))
    :snt5 (z47 / contrast-01
               :ARG1 (z48 / contain-01
                          :ARG0 (z49 / meat)
                          :ARG1 (z50 / tyrosine))
               :ARG2 (z51 / interfere-01
                          :ARG0 (z52 / fat)
                          :ARG1 (z53 / absorb-01
                                     :ARG1 z50)))
    :snt6 (z54 / or
               :op1 (z55 / age-01
                         :ARG1 (z56 / person)
                         :ARG2 (z57 / drowsy))
               :op2 (z58 / refresh-01
                         :ARG1 z56)
               :time (z59 / after
                          :op1 (z60 / meal)))
    :snt7 (z61 / contain-01
               :ARG0 (z62 / protein
                          :quant (z63 / most))
               :ARG1 (z64 / amino-acid
                          :wiki "Tyrrosine"
                          :name (z65 / name
                                     :op1 "tyrosine")
                          :ARG0-of (z66 / enter-01
                                        :ARG1 (z67 / brain)
                                        :purpose (z68 / stimulate-01
                                                      :ARG0 z64
                                                      :ARG1 (z69 / form-01
                                                                 :ARG1 (z70 / and
                                                                            :op1 (z71 / dopamine)
                                                                            :op2 (z72 / noreadaline)))))))
    :snt8 (z73 / contain-01
               :ARG0 (z74 / protein
                          :quant (z75 / most))
               :ARG1 (z76 / amino-acid
                          :wiki "Tyrrosine"
                          :name (z77 / name
                                     :op1 "tyrosine")
                          :ARG0-of (z78 / enter-01
                                        :ARG1 z67
                                        :purpose (z79 / stimulate-01
                                                      :ARG0 z76
                                                      :ARG1 (z80 / form-01
                                                                 :ARG1 (z81 / and
                                                                            :op1 (z82 / dopamine)
                                                                            :op2 (z83 / noreadaline))))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ have-to-do-with-04(z1) ∧ :ARG0(z1, z2) ∧ truth-value(z2) ∧ :polarity(z3, z2) ∧ or(z3) ∧ :op1(z3, z4) ∧ sleepy(z4) ∧ :domain(z4, z5) ∧ person(z5) ∧ :op2(z3, z6) ∧ refresh-01(z6) ∧ :ARG1(z6, z5) ∧ :time(z3, z7) ∧ after(z7) ∧ :op1(z7, z8) ∧ meal(z8) ∧ :ARG1(z1, z9) ∧ protein(z9) ∧ :part(z10, z9) ∧ food(z10) ∧ :ARG1(z11, z10) ∧ eat-01(z11) ∧ :ARG0(z11, z5) ∧ :ARG2(z1, z12) ∧ something(z12) ∧ :snt2(z0, z13) ∧ contain-01(z13) ∧ :ARG0(z13, z14) ∧ protein(z14) ∧ :quant(z14, z15) ∧ most(z15) ∧ :ARG1(z13, z16) ∧ amino-acid(z16) ∧ :ARG1(z17, z16) ∧ call-01(z17) ∧ :ARG2(z17, z18) ∧ tyrosine(z18) ∧ :ARG0(z19, z16) ∧ enter-01(z19) ∧ :ARG1(z19, z20) ∧ brain(z20) ∧ :purpose(z19, z21) ∧ stimulate-01(z21) ∧ :ARG0(z21, z16) ∧ :ARG1(z21, z22) ∧ form-01(z22) ∧ :ARG1(z22, z23) ∧ and(z23) ∧ :op1(z23, z24) ∧ dopamine(z24) ∧ :op2(z23, z25) ∧ noreadaline(z25) ∧ :snt3(z0, z26) ∧ contrast-01(z26) ∧ :ARG1(z26, z27) ∧ contain-01(z27) ∧ :ARG0(z27, z28) ∧ and(z28) ∧ :op1(z28, z29) ∧ bird(z29) ∧ :op2(z28, z30) ∧ fish(z30) ∧ :ARG1(z27, z31) ∧ have-degree-91(z31) ∧ :ARG1(z31, z32) ∧ tyrosine(z32) ∧ :ARG2(z31, z33) ∧ have-quant-91(z33) ∧ :ARG1(z33, z32) ∧ :ARG3(z33, z34) ∧ most(z34) ∧ :ARG2(z26, z35) ∧ excite-01(z35) ∧ :ARG0(z35, z36) ∧ food(z36) ∧ :ARG0(z37, z36) ∧ contain-01(z37) ∧ :ARG1(z37, z31) ∧ ¬(:mod(z36, z38) ∧ all(z38)) ∧ :ARG1(z35, z39) ∧ brain(z39) ∧ :snt4(z0, z40) ∧ contrast-01(z40) ∧ :ARG1(z40, z41) ∧ contain-01(z41) ∧ :ARG0(z41, z42) ∧ meat(z42) ∧ :ARG1(z41, z43) ∧ tyrosine(z43) ∧ :ARG2(z40, z44) ∧ interfere-01(z44) ∧ :ARG0(z44, z45) ∧ fat(z45) ∧ :ARG1(z44, z46) ∧ absorb-01(z46) ∧ :ARG1(z46, z43) ∧ :snt5(z0, z47) ∧ contrast-01(z47) ∧ :ARG1(z47, z48) ∧ contain-01(z48) ∧ :ARG0(z48, z49) ∧ meat(z49) ∧ :ARG1(z48, z50) ∧ tyrosine(z50) ∧ :ARG2(z47, z51) ∧ interfere-01(z51) ∧ :ARG0(z51, z52) ∧ fat(z52) ∧ :ARG1(z51, z53) ∧ absorb-01(z53) ∧ :ARG1(z53, z50) ∧ :snt6(z0, z54) ∧ or(z54) ∧ :op1(z54, z55) ∧ age-01(z55) ∧ :ARG1(z55, z56) ∧ person(z56) ∧ :ARG2(z55, z57) ∧ drowsy(z57) ∧ :op2(z54, z58) ∧ refresh-01(z58) ∧ :ARG1(z58, z56) ∧ :time(z54, z59) ∧ after(z59) ∧ :op1(z59, z60) ∧ meal(z60) ∧ :snt7(z0, z61) ∧ contain-01(z61) ∧ :ARG0(z61, z62) ∧ protein(z62) ∧ :quant(z62, z63) ∧ most(z63) ∧ :ARG1(z61, z64) ∧ amino-acid(z64) ∧ :wiki(z64, "Tyrrosine") ∧ :name(z64, z65) ∧ name(z65) ∧ :op1(z65, "tyrosine") ∧ :ARG0(z66, z64) ∧ enter-01(z66) ∧ :ARG1(z66, z67) ∧ brain(z67) ∧ :purpose(z66, z68) ∧ stimulate-01(z68) ∧ :ARG0(z68, z64) ∧ :ARG1(z68, z69) ∧ form-01(z69) ∧ :ARG1(z69, z70) ∧ and(z70) ∧ :op1(z70, z71) ∧ dopamine(z71) ∧ :op2(z70, z72) ∧ noreadaline(z72) ∧ :snt8(z0, z73) ∧ contain-01(z73) ∧ :ARG0(z73, z74) ∧ protein(z74) ∧ :quant(z74, z75) ∧ most(z75) ∧ :ARG1(z73, z76) ∧ amino-acid(z76) ∧ :wiki(z76, "Tyrrosine") ∧ :name(z76, z77) ∧ name(z77) ∧ :op1(z77, "tyrosine") ∧ :ARG0(z78, z76) ∧ enter-01(z78) ∧ :ARG1(z78, z67) ∧ :purpose(z78, z79) ∧ stimulate-01(z79) ∧ :ARG0(z79, z76) ∧ :ARG1(z79, z80) ∧ form-01(z80) ∧ :ARG1(z80, z81) ∧ and(z81) ∧ :op1(z81, z82) ∧ dopamine(z82) ∧ :op2(z81, z83) ∧ noreadaline(z83)


With people's life and work gradually entering high-rise buildings, people have less chance to contact with sunlight. The study found that sunlight is a necessary condition for the synthesis of vitamin D, and vitamin D is the key factor to promote calcium absorption. Therefore, it was concluded that modern people are more likely to suffer from diseases caused by calcium deficiency such as osteoporosis.

Question: Which of the followings, if true, questions the above conclusion most?

Choices:
- Patients with osteoporosis can be relieved or cured by more exposure to the sun
- Calcium containing foods in modern people's diet are much richer than before
- Oral vitamin D tablet is a synthetic formula with absorbent
- Osteoporosis patients are exposed to sunlight for the same length of time as others

(z0 / multi-sentence
    :snt1 (z1 / cause-01
              :ARG0 (z2 / enter-01
                        :ARG0 (z3 / and
                                  :op1 (z4 / live-01
                                           :ARG0 (z5 / person))
                                  :op2 (z6 / work-01
                                           :ARG0 z5))
                        :ARG1 (z7 / building
                                  :ARG1-of (z8 / rise-01
                                               :ARG2 (z9 / high)))
                        :manner (z10 / gradual))
              :ARG1 (z11 / chance-02
                         :ARG0 z5
                         :ARG1 (z12 / contact-01
                                    :ARG0 z5
                                    :ARG1 (z13 / sunlight))
                         :ARG2 (z14 / less)))
    :snt2 (z15 / find-01
               :ARG0 (z16 / study)
               :ARG1 (z17 / and
                          :op1 (z18 / need-01
                                    :ARG0 (z19 / sunlight)
                                    :ARG1 (z20 / synthesize-01
                                               :ARG1 (z21 / small-molecule
                                                          :wiki "Vitamin_D"
                                                          :name (z22 / name
                                                                     :op1 "vitamin"
                                                                     :op2 "D"))))
                          :op2 (z23 / factor
                                    :ARG1-of (z24 / key-02)
                                    :domain z21
                                    :ARG0-of (z25 / promote-02
                                                  :ARG1 (z26 / absorb-01
                                                             :ARG1 (z27 / calcium))))))
    :snt3 (z28 / cause-01
               :ARG1 (z29 / conclude-01
                          :ARG1 (z30 / likely-01
                                     :ARG1 (z31 / suffer-01
                                                :ARG0 (z32 / person
                                                           :ARG1-of (z33 / modern-02))
                                                :ARG1 (z34 / disease
                                                           :ARG1-of (z35 / cause-01
                                                                         :ARG0 (z36 / deficiency
                                                                                :mod z27
                                                                                :example (z37 / disease
                                                                                :wiki "Osteoporosis"
                                                                                :name (z38 / name
                                                                                :op1 "osteoporosis"))))))
                                     :ARG2-of (z39 / have-degree-91
                                                   :ARG1 z31
                                                   :ARG3 (z40 / more)))))
    :snt4 (z41 / cause-01
               :ARG1 (z42 / conclude-01
                          :ARG1 (z43 / likely-01
                                     :ARG1 (z44 / suffer-01
                                                :ARG0 (z45 / person
                                                           :ARG1-of (z46 / modern-02))
                                                :ARG1 (z47 / disease
                                                           :ARG1-of (z48 / cause-01
                                                                         :ARG0 (z49 / deficiency
                                                                                :mod (z50 / calcium)))))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ cause-01(z1) ∧ :ARG0(z1, z2) ∧ enter-01(z2) ∧ :ARG0(z2, z3) ∧ and(z3) ∧ :op1(z3, z4) ∧ live-01(z4) ∧ :ARG0(z4, z5) ∧ person(z5) ∧ :op2(z3, z6) ∧ work-01(z6) ∧ :ARG0(z6, z5) ∧ :ARG1(z2, z7) ∧ building(z7) ∧ :ARG1(z8, z7) ∧ rise-01(z8) ∧ :ARG2(z8, z9) ∧ high(z9) ∧ :manner(z2, z10) ∧ gradual(z10) ∧ :ARG1(z1, z11) ∧ chance-02(z11) ∧ :ARG0(z11, z5) ∧ :ARG1(z11, z12) ∧ contact-01(z12) ∧ :ARG0(z12, z5) ∧ :ARG1(z12, z13) ∧ sunlight(z13) ∧ :ARG2(z11, z14) ∧ less(z14) ∧ :snt2(z0, z15) ∧ find-01(z15) ∧ :ARG0(z15, z16) ∧ study(z16) ∧ :ARG1(z15, z17) ∧ and(z17) ∧ :op1(z17, z18) ∧ need-01(z18) ∧ :ARG0(z18, z19) ∧ sunlight(z19) ∧ :ARG1(z18, z20) ∧ synthesize-01(z20) ∧ :ARG1(z20, z21) ∧ small-molecule(z21) ∧ :wiki(z21, "Vitamin_D") ∧ :name(z21, z22) ∧ name(z22) ∧ :op1(z22, "vitamin") ∧ :op2(z22, "D") ∧ :op2(z17, z23) ∧ factor(z23) ∧ :ARG1(z24, z23) ∧ key-02(z24) ∧ :domain(z23, z21) ∧ :ARG0(z25, z23) ∧ promote-02(z25) ∧ :ARG1(z25, z26) ∧ absorb-01(z26) ∧ :ARG1(z26, z27) ∧ calcium(z27) ∧ :snt3(z0, z28) ∧ cause-01(z28) ∧ :ARG1(z28, z29) ∧ conclude-01(z29) ∧ :ARG1(z29, z30) ∧ likely-01(z30) ∧ :ARG1(z30, z31) ∧ suffer-01(z31) ∧ :ARG0(z31, z32) ∧ person(z32) ∧ :ARG1(z33, z32) ∧ modern-02(z33) ∧ :ARG1(z31, z34) ∧ disease(z34) ∧ :ARG1(z35, z34) ∧ cause-01(z35) ∧ :ARG0(z35, z36) ∧ deficiency(z36) ∧ :mod(z36, z27) ∧ :example(z36, z37) ∧ disease(z37) ∧ :wiki(z37, "Osteoporosis") ∧ :name(z37, z38) ∧ name(z38) ∧ :op1(z38, "osteoporosis") ∧ :ARG2(z39, z30) ∧ have-degree-91(z39) ∧ :ARG1(z39, z31) ∧ :ARG3(z39, z40) ∧ more(z40) ∧ :snt4(z0, z41) ∧ cause-01(z41) ∧ :ARG1(z41, z42) ∧ conclude-01(z42) ∧ :ARG1(z42, z43) ∧ likely-01(z43) ∧ :ARG1(z43, z44) ∧ suffer-01(z44) ∧ :ARG0(z44, z45) ∧ person(z45) ∧ :ARG1(z46, z45) ∧ modern-02(z46) ∧ :ARG1(z44, z47) ∧ disease(z47) ∧ :ARG1(z48, z47) ∧ cause-01(z48) ∧ :ARG0(z48, z49) ∧ deficiency(z49) ∧ :mod(z49, z50) ∧ calcium(z50)


Among the seven members of the newly elected school student union of a school, there are one from Dalian, two from the north of China, one from Fuzhou, two special students (that is, students with special expertise), and three Communist Party members. Assuming that the above introduction involves All the members of the student council.

Question: Except which of the followings, the student council members' judgments are not inconsistent with the question?

Choices:
- Both special students are members of the Communist Party.
- The Communists are not all from the south.
- All the special students are from the south.
- The one from Dalian is a special student.

(z0 / multi-sentence
    :snt1 (z1 / include-91
              :ARG1 (z2 / and
                        :op1 (z3 / person
                                 :quant 1
                                 :source (z4 / city
                                             :wiki "Dalian"
                                             :name (z5 / name
                                                       :op1 "Dalian")))
                        :op2 (z6 / person
                                 :quant 2
                                 :source (z7 / north
                                             :part-of (z8 / country
                                                          :wiki "China"
                                                          :name (z9 / name
                                                                    :op1 "China"))))
                        :op3 (z10 / person
                                  :quant 1
                                  :source (z11 / city
                                               :wiki "Fuzhou"
                                               :name (z12 / name
                                                          :op1 "Fuzhou")))
                        :op4 (z13 / person
                                  :quant 2
                                  :ARG1-of (z14 / special-02)
                                  :ARG1-of (z15 / mean-01
                                                :ARG2 (z16 / person
                                                           :ARG0-of (z17 / study-01)
                                                           :ARG0-of (z18 / have-03
                                                                         :ARG1 (z19 / expertise
                                                                                :ARG1-of (z20 / special-02))))))
                        :op5 (z21 / person
                                  :quant 3
                                  :ARG0-of (z22 / have-org-role-91
                                                :ARG1 (z23 / political-party
                                                           :wiki "Communist_Party_of_China"
                                                           :name (z24 / name
                                                                      :op1 "Communist"
                                                                      :op2 "Party"))
                                                :ARG2 (z25 / member))))
              :ARG2 (z26 / person
                         :quant 7
                         :ARG0-of (z27 / have-org-role-91
                                       :ARG1 (z28 / union
                                                  :mod (z29 / person
                                                            :ARG0-of (z30 / study-01))
                                                  :mod (z31 / school
                                                            :part z28)
                                                  :ARG1-of (z32 / elect-01
                                                                :ARG1-of (z33 / new-01)))
                                       :ARG2 (z34 / member))))
    :snt2 (z35 / assume-02
               :ARG1 (z36 / involve-01
                          :ARG1 (z37 / person
                                     :mod (z38 / all)
                                     :ARG0-of (z39 / have-org-role-91
                                                   :ARG1 (z40 / council
                                                              :mod (z41 / person
                                                                        :ARG0-of (z42 / study-01)))
                                                   :ARG2 (z43 / member)))
                          :ARG2 (z44 / introduce-02
                                     :location (z45 / above))))
    :snt3 (z46 / be-destined-for-91
               :ARG1 (z47 / come-upon-26
                          :ARG1 (z48 / bouquet))
               :ARG2 (z49 / here)))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ include-91(z1) ∧ :ARG1(z1, z2) ∧ and(z2) ∧ :op1(z2, z3) ∧ person(z3) ∧ :quant(z3, 1) ∧ :source(z3, z4) ∧ city(z4) ∧ :wiki(z4, "Dalian") ∧ :name(z4, z5) ∧ name(z5) ∧ :op1(z5, "Dalian") ∧ :op2(z2, z6) ∧ person(z6) ∧ :quant(z6, 2) ∧ :source(z6, z7) ∧ north(z7) ∧ :part(z8, z7) ∧ country(z8) ∧ :wiki(z8, "China") ∧ :name(z8, z9) ∧ name(z9) ∧ :op1(z9, "China") ∧ :op3(z2, z10) ∧ person(z10) ∧ :quant(z10, 1) ∧ :source(z10, z11) ∧ city(z11) ∧ :wiki(z11, "Fuzhou") ∧ :name(z11, z12) ∧ name(z12) ∧ :op1(z12, "Fuzhou") ∧ :op4(z2, z13) ∧ person(z13) ∧ :quant(z13, 2) ∧ :ARG1(z14, z13) ∧ special-02(z14) ∧ :ARG1(z15, z13) ∧ mean-01(z15) ∧ :ARG2(z15, z16) ∧ person(z16) ∧ :ARG0(z17, z16) ∧ study-01(z17) ∧ :ARG0(z18, z16) ∧ have-03(z18) ∧ :ARG1(z18, z19) ∧ expertise(z19) ∧ :ARG1(z20, z19) ∧ special-02(z20) ∧ :op5(z2, z21) ∧ person(z21) ∧ :quant(z21, 3) ∧ :ARG0(z22, z21) ∧ have-org-role-91(z22) ∧ :ARG1(z22, z23) ∧ political-party(z23) ∧ :wiki(z23, "Communist_Party_of_China") ∧ :name(z23, z24) ∧ name(z24) ∧ :op1(z24, "Communist") ∧ :op2(z24, "Party") ∧ :ARG2(z22, z25) ∧ member(z25) ∧ :ARG2(z1, z26) ∧ person(z26) ∧ :quant(z26, 7) ∧ :ARG0(z27, z26) ∧ have-org-role-91(z27) ∧ :ARG1(z27, z28) ∧ union(z28) ∧ :mod(z28, z29) ∧ person(z29) ∧ :ARG0(z30, z29) ∧ study-01(z30) ∧ :mod(z28, z31) ∧ school(z31) ∧ :part(z31, z28) ∧ :ARG1(z32, z28) ∧ elect-01(z32) ∧ :ARG1(z33, z32) ∧ new-01(z33) ∧ :ARG2(z27, z34) ∧ member(z34) ∧ :snt2(z0, z35) ∧ assume-02(z35) ∧ :ARG1(z35, z36) ∧ involve-01(z36) ∧ :ARG1(z36, z37) ∧ person(z37) ∧ :mod(z37, z38) ∧ all(z38) ∧ :ARG0(z39, z37) ∧ have-org-role-91(z39) ∧ :ARG1(z39, z40) ∧ council(z40) ∧ :mod(z40, z41) ∧ person(z41) ∧ :ARG0(z42, z41) ∧ study-01(z42) ∧ :ARG2(z39, z43) ∧ member(z43) ∧ :ARG2(z36, z44) ∧ introduce-02(z44) ∧ :location(z44, z45) ∧ above(z45) ∧ :snt3(z0, z46) ∧ be-destined-for-91(z46) ∧ :ARG1(z46, z47) ∧ come-upon-26(z47) ∧ :ARG1(z47, z48) ∧ bouquet(z48) ∧ :ARG2(z46, z49) ∧ here(z49)


Modern science and technology began in the 19th century, when there was an organized, large-scale scientific and technological research units. There are internal and external reasons for this. The internal reason is that science and technology to this period more complex professional. The external cause was a technological revolution.

Question: According to the above conclusion, which of the following options is correct?

Choices:
- Modern science and technology came into being at the end of the 19th century
- Scientific and technological research units have emerged in modern science and technology
- Modern science and technology is the result of internal and external factors
- The external cause of modern science and technology is greater than the internal cause

(z0 / multi-sentence
    :snt1 (z1 / begin-01
              :ARG1 (z2 / and
                        :op1 (z3 / science)
                        :op2 (z4 / technology)
                        :ARG1-of (z5 / modern-02))
              :time (z6 / date-entity
                        :century 19
                        :time-of (z7 / unit
                                     :ARG0-of (z8 / research-01
                                                  :ARG1 (z9 / and
                                                            :op1 z3
                                                            :op2 z4))
                                     :ARG1-of (z10 / organize-01)
                                     :mod (z11 / large-scale)
                                     :mod (z12 / science)
                                     :mod (z13 / technology)))
              :time (z14 / date-entity
                         :century 19
                         :time-of (z15 / snap-04
                                       :ARG1 (z16 / and
                                                  :op1 z3
                                                  :op2 z4)
                                       :ARG2 (z17 / pass-03
                                                  :ARG1 z16))))
    :snt2 (z18 / cause-01
               :ARG0 (z19 / and
                          :op1 (z20 / reason
                                    :ARG1-of (z21 / internal-02))
                          :op2 (z22 / reason
                                    :mod (z23 / external)))
               :ARG1 (z24 / this))
    :snt3 (z25 / cause-01
               :ARG0 (z26 / revolution-03
                          :ARG0 (z27 / technology))
               :ARG1 (z28 / have-degree-91
                          :ARG1 (z29 / and
                                     :op1 (z30 / science)
                                     :op2 (z31 / technology)
                                     :time (z32 / period
                                                :mod (z33 / this)))
                          :ARG2 (z34 / professional)
                          :ARG3 (z35 / more))
               :mod (z36 / external))
    :snt4 (z37 / cause-01
               :ARG0 (z38 / revolution-03
                          :ARG0 (z39 / technology))
               :ARG1 (z40 / this)
               :mod (z41 / external))
    :snt5 (z42 / cause-01
               :ARG0 (z43 / reason
                          :ARG1-of (z44 / internal-02))
               :ARG1 (z45 / this))
    :snt6 (z46 / be-temporally-at-91
               :ARG1 (z47 / unit
                          :ARG0-of (z48 / research-01
                                        :ARG1 (z49 / and
                                                   :op1 (z50 / science)
                                                   :op2 (z51 / technology)))
                          :ARG1-of (z52 / organize-01)
                          :mod (z53 / large-scale)
                          :mod (z54 / science)
                          :mod (z55 / science))
               :ARG2 (z56 / date-entity
                          :century 19))
    :snt7 (z57 / be-temporally-at-91
               :ARG1 (z58 / now)
               :ARG2 (z59 / after
                          :op1 (z60 / now)
                          :quant (z61 / temporal-quantity
                                      :quant 1
                                      :unit (z62 / century))))
    :snt8 (z63 / cause-01
               :ARG0 (z64 / reason
                          :ARG1-of (z65 / internal-02))
               :ARG1 (z66 / this))
    :snt9 (z67 / have-degree-91
               :ARG1 (z68 / and
                          :op1 (z69 / science)
                          :op2 (z70 / technology)
                          :time (z71 / period
                                     :mod (z72 / this)))
               :ARG2 (z73 / complex)
               :ARG3 (z74 / more)
               :ARG4 (z75 / professional))
    :snt10 (z76 / have-degree-91
                :ARG1 (z77 / and
                           :op1 (z78 / science)
                           :op2 (z79 / technology))
                :ARG2 (z80 / complex)
                :ARG3 (z81 / more)
                :ARG4 (z82 / era
                           :mod (z83 / this)))
    :snt11 (z84 / cause-01
                :ARG0 (z85 / and
                           :op1 (z86 / internal)
                           :op2 (z87 / reason
                                     :mod (z88 / external)))
                :ARG1 (z89 / this)))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ begin-01(z1) ∧ :ARG1(z1, z2) ∧ and(z2) ∧ :op1(z2, z3) ∧ science(z3) ∧ :op2(z2, z4) ∧ technology(z4) ∧ :ARG1(z5, z2) ∧ modern-02(z5) ∧ :time(z1, z6) ∧ date-entity(z6) ∧ :century(z6, 19) ∧ :time(z7, z6) ∧ unit(z7) ∧ :ARG0(z8, z7) ∧ research-01(z8) ∧ :ARG1(z8, z9) ∧ and(z9) ∧ :op1(z9, z3) ∧ :op2(z9, z4) ∧ :ARG1(z10, z7) ∧ organize-01(z10) ∧ :mod(z7, z11) ∧ large-scale(z11) ∧ :mod(z7, z12) ∧ science(z12) ∧ :mod(z7, z13) ∧ technology(z13) ∧ :time(z1, z14) ∧ date-entity(z14) ∧ :century(z14, 19) ∧ :time(z15, z14) ∧ snap-04(z15) ∧ :ARG1(z15, z16) ∧ and(z16) ∧ :op1(z16, z3) ∧ :op2(z16, z4) ∧ :ARG2(z15, z17) ∧ pass-03(z17) ∧ :ARG1(z17, z16) ∧ :snt2(z0, z18) ∧ cause-01(z18) ∧ :ARG0(z18, z19) ∧ and(z19) ∧ :op1(z19, z20) ∧ reason(z20) ∧ :ARG1(z21, z20) ∧ internal-02(z21) ∧ :op2(z19, z22) ∧ reason(z22) ∧ :mod(z22, z23) ∧ external(z23) ∧ :ARG1(z18, z24) ∧ this(z24) ∧ :snt3(z0, z25) ∧ cause-01(z25) ∧ :ARG0(z25, z26) ∧ revolution-03(z26) ∧ :ARG0(z26, z27) ∧ technology(z27) ∧ :ARG1(z25, z28) ∧ have-degree-91(z28) ∧ :ARG1(z28, z29) ∧ and(z29) ∧ :op1(z29, z30) ∧ science(z30) ∧ :op2(z29, z31) ∧ technology(z31) ∧ :time(z29, z32) ∧ period(z32) ∧ :mod(z32, z33) ∧ this(z33) ∧ :ARG2(z28, z34) ∧ professional(z34) ∧ :ARG3(z28, z35) ∧ more(z35) ∧ :mod(z25, z36) ∧ external(z36) ∧ :snt4(z0, z37) ∧ cause-01(z37) ∧ :ARG0(z37, z38) ∧ revolution-03(z38) ∧ :ARG0(z38, z39) ∧ technology(z39) ∧ :ARG1(z37, z40) ∧ this(z40) ∧ :mod(z37, z41) ∧ external(z41) ∧ :snt5(z0, z42) ∧ cause-01(z42) ∧ :ARG0(z42, z43) ∧ reason(z43) ∧ :ARG1(z44, z43) ∧ internal-02(z44) ∧ :ARG1(z42, z45) ∧ this(z45) ∧ :snt6(z0, z46) ∧ be-temporally-at-91(z46) ∧ :ARG1(z46, z47) ∧ unit(z47) ∧ :ARG0(z48, z47) ∧ research-01(z48) ∧ :ARG1(z48, z49) ∧ and(z49) ∧ :op1(z49, z50) ∧ science(z50) ∧ :op2(z49, z51) ∧ technology(z51) ∧ :ARG1(z52, z47) ∧ organize-01(z52) ∧ :mod(z47, z53) ∧ large-scale(z53) ∧ :mod(z47, z54) ∧ science(z54) ∧ :mod(z47, z55) ∧ science(z55) ∧ :ARG2(z46, z56) ∧ date-entity(z56) ∧ :century(z56, 19) ∧ :snt7(z0, z57) ∧ be-temporally-at-91(z57) ∧ :ARG1(z57, z58) ∧ now(z58) ∧ :ARG2(z57, z59) ∧ after(z59) ∧ :op1(z59, z60) ∧ now(z60) ∧ :quant(z59, z61) ∧ temporal-quantity(z61) ∧ :quant(z61, 1) ∧ :unit(z61, z62) ∧ century(z62) ∧ :snt8(z0, z63) ∧ cause-01(z63) ∧ :ARG0(z63, z64) ∧ reason(z64) ∧ :ARG1(z65, z64) ∧ internal-02(z65) ∧ :ARG1(z63, z66) ∧ this(z66) ∧ :snt9(z0, z67) ∧ have-degree-91(z67) ∧ :ARG1(z67, z68) ∧ and(z68) ∧ :op1(z68, z69) ∧ science(z69) ∧ :op2(z68, z70) ∧ technology(z70) ∧ :time(z68, z71) ∧ period(z71) ∧ :mod(z71, z72) ∧ this(z72) ∧ :ARG2(z67, z73) ∧ complex(z73) ∧ :ARG3(z67, z74) ∧ more(z74) ∧ :ARG4(z67, z75) ∧ professional(z75) ∧ :snt10(z0, z76) ∧ have-degree-91(z76) ∧ :ARG1(z76, z77) ∧ and(z77) ∧ :op1(z77, z78) ∧ science(z78) ∧ :op2(z77, z79) ∧ technology(z79) ∧ :ARG2(z76, z80) ∧ complex(z80) ∧ :ARG3(z76, z81) ∧ more(z81) ∧ :ARG4(z76, z82) ∧ era(z82) ∧ :mod(z82, z83) ∧ this(z83) ∧ :snt11(z0, z84) ∧ cause-01(z84) ∧ :ARG0(z84, z85) ∧ and(z85) ∧ :op1(z85, z86) ∧ internal(z86) ∧ :op2(z85, z87) ∧ reason(z87) ∧ :mod(z87, z88) ∧ external(z88) ∧ :ARG1(z84, z89) ∧ this(z89)


If an artist receives a public subsidy to support work on a specific project -- e. g. , making a film -- and if this project then proves successful enough to allow the artist to repay the subsidy, is the artist morally obliged to do so? The answer is clearly yes, since the money returned to the agency distributing the subsidies will be welcome as a source of support for other artists deserving of public subsidies.

Question: The passage tries to establish an artist's obligation by arguing that

Choices:
- acting this way would allow others to obtain a benefit such as the one that this artist has obtained in the past
- this person had in fact, at an earlier time, made a tacit promise to act this way
- this person has benefited from other people's acting in just this way in the past
- this person, by acting this way, would provide general benefits with a value exceeding the cost to the person of acting this way

(z0 / multi-sentence
    :snt1 (z1 / yes
              :domain (z2 / oblige-02
                          :ARG1 (z3 / artist)
                          :ARG2 (z4 / do-02
                                    :ARG0 z3
                                    :ARG1 (z5 / so))
                          :polarity (z6 / amr-unknown)
                          :ARG1-of (z7 / moral-02)
                          :condition (z8 / and
                                         :op1 (z9 / receive-01
                                                  :ARG0 z3
                                                  :ARG1 (z10 / subsidize-01
                                                             :ARG0 (z11 / public)
                                                             :ARG1 z3
                                                             :purpose (z12 / support-01
                                                                           :ARG0 z10
                                                                           :ARG1 (z13 / work-01
                                                                                :ARG0 z3
                                                                                :ARG1 (z14 / project
                                                                                :ARG1-of (z15 / specific-02)
                                                                                :example (z16 / make-01
                                                                                :ARG0 z3
                                                                                :ARG1 (z17 / film)))))))
                                         :op2 (z18 / prove-01
                                                   :ARG0 z14
                                                   :ARG1 (z19 / succeed-01
                                                              :ARG0 z14
                                                              :ARG2-of (z20 / have-degree-91
                                                                            :ARG1 z14
                                                                            :ARG3 (z21 / enough)
                                                                            :ARG6 (z22 / allow-01
                                                                                :ARG0 z14
                                                                                :ARG1 (z23 / repay-01
                                                                                :ARG0 z3
                                                                                :ARG1 z10))))
                                                   :time (z24 / then))
                                         :condition-of (z25 / prove-01
                                                            :ARG1 (z26 / succeed-01
                                                                       :ARG0 z14
                                                                       :ARG1-of (z27 / have-degree-91
                                                                                :ARG2 (z28 / succeed-01
                                                                                :ARG0 z14)
                                                                                :ARG3 (z29 / enough)
                                                                                :ARG6 (z30 / allow-01
                                                                                :ARG0 z14
                                                                                :ARG1 (z31 / repay-01
                                                                                :ARG0 z3
                                                                                :ARG1 z10)))))))
              :polarity (z32 / amr-unknown))
    :snt2 (z33 / yes
               :ARG2-of (z34 / answer-01
                             :ARG1-of (z35 / clear-06))
               :ARG1-of (z36 / cause-01
                             :ARG0 (z37 / welcome-01
                                        :ARG1 (z38 / money
                                                   :ARG1-of (z39 / return-02
                                                                 :ARG2 (z40 / agency
                                                                            :ARG0-of (z41 / distribute-01
                                                                                :ARG1 (z42 / subsidize-01)))))
                                        :ARG2 (z43 / source-02
                                                   :ARG0 z38
                                                   :ARG1 (z44 / support-01
                                                              :ARG1 (z45 / artist
                                                                         :mod (z46 / other)
                                                                         :ARG0-of (z47 / deserve-01
                                                                                :ARG1 (z48 / subsidize-01
                                                                                :ARG0 z11
                                                                                :ARG1 z45)))))
                                        :ARG1-of (z49 / cause-01
                                                      :ARG0 (z50 / return-01
                                                                 :ARG1 (z51 / money)
                                                                 :ARG4 (z52 / agency
                                                                            :ARG0-of (z53 / distribute-01
                                                                                :ARG1 z42))))))))


The public square was an important tool of democracy in days past because it provided a forum for disparate citizens to discuss the important issues of the day. Today, a person with Internet access can discuss important issues with millions of people across the nation, allowing the Internet to play the role once played by the public square. Hence, we should ensure that Internet users have at least as much freedom of expression as did people speaking in the public square.

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

Choices:
- All citizens have the same level of access to the Internet.
- The Internet is more often used to discuss important issues than to discuss frivolous issues.
- People speaking in the public square of days past had complete freedom of expression.
- A public forum can lose effectiveness as a tool of democracy if participants cannot discuss issues freely.

(z0 / multi-sentence
    :snt1 (z1 / tool
              :ARG1-of (z2 / important-01)
              :poss (z3 / democracy)
              :domain (z4 / square
                          :ARG1-of (z5 / public-02))
              :time (z6 / past
                        :mod (z7 / day))
              :ARG1-of (z8 / cause-01
                           :ARG0 (z9 / provide-01
                                     :ARG0 z4
                                     :ARG1 (z10 / forum
                                                :purpose (z11 / discuss-01
                                                              :ARG0 (z12 / citizen
                                                                         :mod (z13 / disparate))
                                                              :ARG1 (z14 / issue
                                                                         :ARG1-of (z15 / important-01)
                                                                         :time (z16 / day))))
                                     :ARG2 (z17 / citizen))))
    :snt2 (z18 / possible-01
               :ARG1 (z19 / discuss-01
                          :ARG0 (z20 / person
                                     :ARG0-of (z21 / access-01
                                                   :ARG1 (z22 / internet)))
                          :ARG1 (z23 / issue-02
                                     :ARG1-of (z24 / important-01))
                          :ARG2 (z25 / person
                                     :quant (z26 / multiple
                                                 :op1 1000000)
                                     :location (z27 / across
                                                    :op1 (z28 / nation)))
                          :ARG0-of (z29 / allow-01
                                        :ARG1 (z30 / play-02
                                                   :ARG0 (z31 / internet)
                                                   :ARG1 (z32 / role
                                                              :ARG1-of (z33 / play-02
                                                                            :ARG0 (z34 / square
                                                                                :ARG1-of (z35 / public-02))
                                                                            :time (z36 / once))))))
               :time (z37 / today))
    :snt3 (z38 / cause-01
               :ARG1 (z39 / recommend-01
                          :ARG1 (z40 / ensure-01
                                     :ARG0 (z41 / we)
                                     :ARG1 (z42 / have-03
                                                :ARG0 (z43 / person
                                                           :ARG0-of (z44 / use-01
                                                                         :ARG1 (z45 / internet)))
                                                :ARG1 (z46 / free-04
                                                           :ARG1 z43
                                                           :ARG3 (z47 / express-01
                                                                      :ARG0 z43)
                                                           :ARG1-of (z48 / have-quant-91
                                                                         :ARG2 (z49 / at-least)
                                                                         :ARG3 (z50 / equal)
                                                                         :ARG4 (z51 / free-04
                                                                                :ARG1 (z52 / person
                                                                                :ARG0-of (z53 / speak-01
                                                                                :location (z54 / square
                                                                                :ARG1-of (z55 / public-02))))))))
                                     :ARG1-of (z56 / cause-01
                                                   :ARG0 (z57 / recommend-01
                                                              :ARG1 (z58 / ensure-01
                                                                         :ARG0 z41
                                                                         :ARG1 (z59 / have-03
                                                                                :ARG0 z43
                                                                                :ARG1 (z60 / free-04
                                                                                :ARG1 z43
                                                                                :ARG3 (z61 / express-01
                                                                                :ARG0 z43)
                                                                                :ARG1-of (z62 / have-quant-91
                                                                                :ARG2 (z63 / at-least)
                                                                                :ARG3 (z64 / equal)
                                                                                :ARG4 (z65 / free-04
                                                                                :ARG1 (z66 / person
                                                                                :ARG0-of (z67 / speak-01
                                                                                :location z54))))))))))))
    :snt4 (z68 / have-concession-91
               :ARG1 (z69 / possible-01
                          :ARG1 (z70 / discuss-01
                                     :ARG0 (z71 / person
                                                :ARG0-of (z72 / access-01
                                                              :ARG1 (z73 / internet)))
                                     :ARG1 (z74 / issue-02
                                                :ARG1-of (z75 / important-01))
                                     :ARG2 (z76 / person
                                                :quant (z77 / multiple
                                                            :op1 1000000)
                                                :location (z78 / across
                                                               :op1 (z79 / nation)))))
               :ARG2 (z80 / and
                          :op1 (z81 / provide-01
                                    :ARG0 (z82 / square
                                               :ARG1-of (z83 / public-02))
                                    :ARG1 (z84 / forum
                                               :purpose (z85 / discuss-01
                                                             :ARG0 (z86 / citizen
                                                                        :mod (z87 / disparate))
                                                             :ARG1 (z88 / issue
                                                                        :ARG1-of (z89 / important-01)
                                                                        :time (z90 / day)))))
                          :op2 (z91 / go-01
                                    :ARG1 (z92 / spring-01)
                                    :direction (z93 / out)
                                    :time (z94 / before
                                               :op1 (z95 / now)))))
    :snt5 (z96 / cause-01
               :ARG1 (z97 / recommend-01
                          :ARG1 (z98 / ensure-01
                                     :ARG0 (z99 / we)
                                     :ARG1 (z100 / have-03
                                                 :ARG0 (z101 / person
                                                             :ARG0-of (z102 / use-01
                                                                            :ARG1 (z1000 / internet)))
                                                 :ARG1 (z1001 / free-04
                                                              :ARG1 z101
                                                              :ARG3 (z1002 / express-01
                                                                           :ARG0 z101)
                                                              :ARG1-of (z1003 / have-quant-91
                                                                              :ARG2 (z1004 / at-least)
                                                                              :ARG3 (z1005 / equal)
                                                                              :ARG4 (z1006 / free-04
                                                                                :ARG1 z101))))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ tool(z1) ∧ :ARG1(z2, z1) ∧ important-01(z2) ∧ :poss(z1, z3) ∧ democracy(z3) ∧ :domain(z1, z4) ∧ square(z4) ∧ :ARG1(z5, z4) ∧ public-02(z5) ∧ :time(z1, z6) ∧ past(z6) ∧ :mod(z6, z7) ∧ day(z7) ∧ :ARG1(z8, z1) ∧ cause-01(z8) ∧ :ARG0(z8, z9) ∧ provide-01(z9) ∧ :ARG0(z9, z4) ∧ :ARG1(z9, z10) ∧ forum(z10) ∧ :purpose(z10, z11) ∧ discuss-01(z11) ∧ :ARG0(z11, z12) ∧ citizen(z12) ∧ :mod(z12, z13) ∧ disparate(z13) ∧ :ARG1(z11, z14) ∧ issue(z14) ∧ :ARG1(z15, z14) ∧ important-01(z15) ∧ :time(z14, z16) ∧ day(z16) ∧ :ARG2(z9, z17) ∧ citizen(z17) ∧ :snt2(z0, z18) ∧ possible-01(z18) ∧ :ARG1(z18, z19) ∧ discuss-01(z19) ∧ :ARG0(z19, z20) ∧ person(z20) ∧ :ARG0(z21, z20) ∧ access-01(z21) ∧ :ARG1(z21, z22) ∧ internet(z22) ∧ :ARG1(z19, z23) ∧ issue-02(z23) ∧ :ARG1(z24, z23) ∧ important-01(z24) ∧ :ARG2(z19, z25) ∧ person(z25) ∧ :quant(z25, z26) ∧ multiple(z26) ∧ :op1(z26, 1000000) ∧ :location(z25, z27) ∧ across(z27) ∧ :op1(z27, z28) ∧ nation(z28) ∧ :ARG0(z29, z19) ∧ allow-01(z29) ∧ :ARG1(z29, z30) ∧ play-02(z30) ∧ :ARG0(z30, z31) ∧ internet(z31) ∧ :ARG1(z30, z32) ∧ role(z32) ∧ :ARG1(z33, z32) ∧ play-02(z33) ∧ :ARG0(z33, z34) ∧ square(z34) ∧ :ARG1(z35, z34) ∧ public-02(z35) ∧ :time(z33, z36) ∧ once(z36) ∧ :time(z18, z37) ∧ today(z37) ∧ :snt3(z0, z38) ∧ cause-01(z38) ∧ :ARG1(z38, z39) ∧ recommend-01(z39) ∧ :ARG1(z39, z40) ∧ ensure-01(z40) ∧ :ARG0(z40, z41) ∧ we(z41) ∧ :ARG1(z40, z42) ∧ have-03(z42) ∧ :ARG0(z42, z43) ∧ person(z43) ∧ :ARG0(z44, z43) ∧ use-01(z44) ∧ :ARG1(z44, z45) ∧ internet(z45) ∧ :ARG1(z42, z46) ∧ free-04(z46) ∧ :ARG1(z46, z43) ∧ :ARG3(z46, z47) ∧ express-01(z47) ∧ :ARG0(z47, z43) ∧ :ARG1(z48, z46) ∧ have-quant-91(z48) ∧ :ARG2(z48, z49) ∧ at-least(z49) ∧ :ARG3(z48, z50) ∧ equal(z50) ∧ :ARG4(z48, z51) ∧ free-04(z51) ∧ :ARG1(z51, z52) ∧ person(z52) ∧ :ARG0(z53, z52) ∧ speak-01(z53) ∧ :location(z53, z54) ∧ square(z54) ∧ :ARG1(z55, z54) ∧ public-02(z55) ∧ :ARG1(z56, z40) ∧ cause-01(z56) ∧ :ARG0(z56, z57) ∧ recommend-01(z57) ∧ :ARG1(z57, z58) ∧ ensure-01(z58) ∧ :ARG0(z58, z41) ∧ :ARG1(z58, z59) ∧ have-03(z59) ∧ :ARG0(z59, z43) ∧ :ARG1(z59, z60) ∧ free-04(z60) ∧ :ARG1(z60, z43) ∧ :ARG3(z60, z61) ∧ express-01(z61) ∧ :ARG0(z61, z43) ∧ :ARG1(z62, z60) ∧ have-quant-91(z62) ∧ :ARG2(z62, z63) ∧ at-least(z63) ∧ :ARG3(z62, z64) ∧ equal(z64) ∧ :ARG4(z62, z65) ∧ free-04(z65) ∧ :ARG1(z65, z66) ∧ person(z66) ∧ :ARG0(z67, z66) ∧ speak-01(z67) ∧ :location(z67, z54) ∧ :snt4(z0, z68) ∧ have-concession-91(z68) ∧ :ARG1(z68, z69) ∧ possible-01(z69) ∧ :ARG1(z69, z70) ∧ discuss-01(z70) ∧ :ARG0(z70, z71) ∧ person(z71) ∧ :ARG0(z72, z71) ∧ access-01(z72) ∧ :ARG1(z72, z73) ∧ internet(z73) ∧ :ARG1(z70, z74) ∧ issue-02(z74) ∧ :ARG1(z75, z74) ∧ important-01(z75) ∧ :ARG2(z70, z76) ∧ person(z76) ∧ :quant(z76, z77) ∧ multiple(z77) ∧ :op1(z77, 1000000) ∧ :location(z76, z78) ∧ across(z78) ∧ :op1(z78, z79) ∧ nation(z79) ∧ :ARG2(z68, z80) ∧ and(z80) ∧ :op1(z80, z81) ∧ provide-01(z81) ∧ :ARG0(z81, z82) ∧ square(z82) ∧ :ARG1(z83, z82) ∧ public-02(z83) ∧ :ARG1(z81, z84) ∧ forum(z84) ∧ :purpose(z84, z85) ∧ discuss-01(z85) ∧ :ARG0(z85, z86) ∧ citizen(z86) ∧ :mod(z86, z87) ∧ disparate(z87) ∧ :ARG1(z85, z88) ∧ issue(z88) ∧ :ARG1(z89, z88) ∧ important-01(z89) ∧ :time(z88, z90) ∧ day(z90) ∧ :op2(z80, z91) ∧ go-01(z91) ∧ :ARG1(z91, z92) ∧ spring-01(z92) ∧ :direction(z91, z93) ∧ out(z93) ∧ :time(z91, z94) ∧ before(z94) ∧ :op1(z94, z95) ∧ now(z95) ∧ :snt5(z0, z96) ∧ cause-01(z96) ∧ :ARG1(z96, z97) ∧ recommend-01(z97) ∧ :ARG1(z97, z98) ∧ ensure-01(z98) ∧ :ARG0(z98, z99) ∧ we(z99) ∧ :ARG1(z98, z100) ∧ have-03(z100) ∧ :ARG0(z100, z101) ∧ person(z101) ∧ :ARG0(z102, z101) ∧ use-01(z102) ∧ :ARG1(z102, z1000) ∧ internet(z1000) ∧ :ARG1(z100, z1001) ∧ free-04(z1001) ∧ :ARG1(z1001, z101) ∧ :ARG3(z1001, z1002) ∧ express-01(z1002) ∧ :ARG0(z1002, z101) ∧ :ARG1(z1003, z1001) ∧ have-quant-91(z1003) ∧ :ARG2(z1003, z1004) ∧ at-least(z1004) ∧ :ARG3(z1003, z1005) ∧ equal(z1005) ∧ :ARG4(z1003, z1006) ∧ free-04(z1006) ∧ :ARG1(z1006, z101)


According to historical records, in the 19th year of Zhenguan, Tang Dynasty, after returning from India, Xuanzang personally designed and built the Dayan Pagoda to worship the Buddhist scriptures, gold and silver Buddha statues, relic and other treasures brought back by Xuanzang. But until now, no one knows where the treasures brought back by Xuanzang are hidden. Archaeologists believe that, just as there is an underground palace under the ancient pagoda of Famen Temple, there must be an underground palace under the Dayan Pagoda, but it hasn't been excavated yet. It is speculated that the underground palace under the Dayan Pagoda may contain the treasures brought back by Xuanzang.

Question: Which of the followings, if true, cannot questioned the above speculation most?

Choices:
- There is no underground palace on the drawings of the Dayan Pagoda drawn by Xuanzang.
- No treasures were found in the underground palaces under several other ancient towers that have been excavated.
- Archaeologists have found Buddhist scriptures brought back by Xuanzang in other places.
- According to historical records, all the treasures brought back by Xuanzang have been dedicated to the imperial palace.

(z0 / multi-sentence
    :snt1 (z1 / say-01
              :ARG0 (z2 / record
                        :mod (z3 / history))
              :ARG1 (z4 / and
                        :op1 (z5 / design-01
                                 :ARG0 (z6 / person
                                           :wiki "Xuanzang"
                                           :name (z7 / name
                                                     :op1 "Xuanzang"))
                                 :ARG1 (z8 / worship-place
                                           :wiki "Gautama_Buddha"
                                           :name (z9 / name
                                                     :op1 "Dayan"
                                                     :op2 "Pagoda"))
                                 :ARG1-of (z10 / personal-02))
                        :op2 (z11 / build-01
                                  :ARG0 z6
                                  :ARG1 z8)
                        :purpose (z12 / worship-01
                                      :ARG0 z6
                                      :ARG1 (z13 / and
                                                 :op1 (z14 / scripture
                                                           :mod (z15 / religious-group
                                                                     :wiki "Buddhism"
                                                                     :name (z16 / name
                                                                                :op1 "Buddhist")))
                                                 :op2 (z17 / statue
                                                           :mod (z18 / person
                                                                     :wiki "Gautama_Buddha"
                                                                     :name (z19 / name
                                                                                :op1 "Buddha"))
                                                           :consist-of (z20 / and
                                                                            :op1 (z21 / gold)
                                                                            :op2 (z22 / silver)))
                                                 :op3 (z23 / relic)
                                                 :op4 (z24 / treasure
                                                           :mod (z25 / other)
                                                           :ARG1-of (z26 / bring-01
                                                                         :ARG0 z6
                                                                         :direction (z27 / back)))))
                        :time (z28 / date-entity
                                   :century 19
                                   :range (z29 / dynasty
                                               :wiki "Tang_dynasty"
                                               :name (z30 / name
                                                          :op1 "Zhenguan")
                                               :mod (z31 / dynasty
                                                         :wiki "Tang_dynasty"
                                                         :name (z32 / name
                                                                    :op1 "Tang"))))
                        :time (z33 / after
                                   :op1 (z34 / return-01
                                             :ARG1 z6
                                             :ARG3 (z35 / country
                                                        :wiki "India"
                                                        :name (z36 / name
                                                                   :op1 "India"))))))
    :snt2 (z37 / contrast-01
               :ARG1 (z38 / believe-01
                          :ARG0 (z39 / archaeologist)
                          :ARG1 (z40 / obligate-01
                                     :ARG1 (z41 / palace
                                                :location (z42 / under
                                                               :op1 (z43 / worship-place
                                                                         :wiki "Gautama_Buddha"
                                                                         :name (z44 / name
                                                                                :op1 "Pagoda"
                                                                                :op2 "of"
                                                                                :op3 "Famen"
                                                                                :op4 "Temple")
                                                                         :mod (z45 / ancient)))
                                                :mod (z46 / underground))
                                     :mod (z47 / just)
                                     :ARG1-of (z48 / resemble-01
                                                   :ARG2 (z49 / palace
                                                              :location (z50 / under
                                                                             :op1 (z51 / worship-place
                                                                                :wiki "Gautama_Buddha"
                                                                                :name (z52 / name
                                                                                :op1 "Pagoda"
                                                                                :op2 "of"
                                                                                :op3 "Famen"
                                                                                :op4 "Temple")
                                                                                :mod (z53 / ancient)))))))
               :ARG2 (z54 / excavate-01
                          :polarity -
                          :ARG1 z41
                          :time (z55 / yet)))
    :snt3 (z56 / speculate-01
               :ARG1 (z57 / possible-01
                          :ARG1 (z58 / contain-01
                                     :ARG0 (z59 / palace
                                                :location (z60 / under
                                                               :op1 (z61 / worship-place
                                                                         :wiki "Gautama_Buddha"
                                                                         :name (z62 / name
                                                                                :op1 "Dayan"
                                                                                :op2 "Pagoda")))
                                                :mod (z63 / underground))
                                     :ARG1 (z64 / treasure
                                                :ARG1-of (z65 / bring-01
                                                              :ARG0 (z66 / person
                                                                         :wiki "Xuanzang"
                                                                         :name (z67 / name
                                                                                :op1 "Xuanzang"))
                                                              :direction (z68 / back))))))
    :snt4 (z69 / contrast-01
               :ARG2 (z70 / know-01
                          :ARG0 (z71 / no-one)
                          :ARG1 (z72 / location
                                     :location-of (z73 / hide-01
                                                       :ARG1 (z74 / treasure
                                                                  :ARG1-of (z75 / bring-01
                                                                                :ARG0 (z76 / person
                                                                                :wiki "Xuanzang"
                                                                                :name (z77 / name
                                                                                :op1 "Xuanzang"))
                                                                                :direction (z78 / back)))))
                          :time (z79 / until
                                     :op1 (z80 / now)))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ say-01(z1) ∧ :ARG0(z1, z2) ∧ record(z2) ∧ :mod(z2, z3) ∧ history(z3) ∧ :ARG1(z1, z4) ∧ and(z4) ∧ :op1(z4, z5) ∧ design-01(z5) ∧ :ARG0(z5, z6) ∧ person(z6) ∧ :wiki(z6, "Xuanzang") ∧ :name(z6, z7) ∧ name(z7) ∧ :op1(z7, "Xuanzang") ∧ :ARG1(z5, z8) ∧ worship-place(z8) ∧ :wiki(z8, "Gautama_Buddha") ∧ :name(z8, z9) ∧ name(z9) ∧ :op1(z9, "Dayan") ∧ :op2(z9, "Pagoda") ∧ :ARG1(z10, z5) ∧ personal-02(z10) ∧ :op2(z4, z11) ∧ build-01(z11) ∧ :ARG0(z11, z6) ∧ :ARG1(z11, z8) ∧ :purpose(z4, z12) ∧ worship-01(z12) ∧ :ARG0(z12, z6) ∧ :ARG1(z12, z13) ∧ and(z13) ∧ :op1(z13, z14) ∧ scripture(z14) ∧ :mod(z14, z15) ∧ religious-group(z15) ∧ :wiki(z15, "Buddhism") ∧ :name(z15, z16) ∧ name(z16) ∧ :op1(z16, "Buddhist") ∧ :op2(z13, z17) ∧ statue(z17) ∧ :mod(z17, z18) ∧ person(z18) ∧ :wiki(z18, "Gautama_Buddha") ∧ :name(z18, z19) ∧ name(z19) ∧ :op1(z19, "Buddha") ∧ :consist(z20, z17) ∧ and(z20) ∧ :op1(z20, z21) ∧ gold(z21) ∧ :op2(z20, z22) ∧ silver(z22) ∧ :op3(z13, z23) ∧ relic(z23) ∧ :op4(z13, z24) ∧ treasure(z24) ∧ :mod(z24, z25) ∧ other(z25) ∧ :ARG1(z26, z24) ∧ bring-01(z26) ∧ :ARG0(z26, z6) ∧ :direction(z26, z27) ∧ back(z27) ∧ :time(z4, z28) ∧ date-entity(z28) ∧ :century(z28, 19) ∧ :range(z28, z29) ∧ dynasty(z29) ∧ :wiki(z29, "Tang_dynasty") ∧ :name(z29, z30) ∧ name(z30) ∧ :op1(z30, "Zhenguan") ∧ :mod(z29, z31) ∧ dynasty(z31) ∧ :wiki(z31, "Tang_dynasty") ∧ :name(z31, z32) ∧ name(z32) ∧ :op1(z32, "Tang") ∧ :time(z4, z33) ∧ after(z33) ∧ :op1(z33, z34) ∧ return-01(z34) ∧ :ARG1(z34, z6) ∧ :ARG3(z34, z35) ∧ country(z35) ∧ :wiki(z35, "India") ∧ :name(z35, z36) ∧ name(z36) ∧ :op1(z36, "India") ∧ :snt2(z0, z37) ∧ contrast-01(z37) ∧ :ARG1(z37, z38) ∧ believe-01(z38) ∧ :ARG0(z38, z39) ∧ archaeologist(z39) ∧ :ARG1(z38, z40) ∧ obligate-01(z40) ∧ :ARG1(z40, z41) ∧ palace(z41) ∧ :location(z41, z42) ∧ under(z42) ∧ :op1(z42, z43) ∧ worship-place(z43) ∧ :wiki(z43, "Gautama_Buddha") ∧ :name(z43, z44) ∧ name(z44) ∧ :op1(z44, "Pagoda") ∧ :op2(z44, "of") ∧ :op3(z44, "Famen") ∧ :op4(z44, "Temple") ∧ :mod(z43, z45) ∧ ancient(z45) ∧ :mod(z41, z46) ∧ underground(z46) ∧ :mod(z40, z47) ∧ just(z47) ∧ :ARG1(z48, z40) ∧ resemble-01(z48) ∧ :ARG2(z48, z49) ∧ palace(z49) ∧ :location(z49, z50) ∧ under(z50) ∧ :op1(z50, z51) ∧ worship-place(z51) ∧ :wiki(z51, "Gautama_Buddha") ∧ :name(z51, z52) ∧ name(z52) ∧ :op1(z52, "Pagoda") ∧ :op2(z52, "of") ∧ :op3(z52, "Famen") ∧ :op4(z52, "Temple") ∧ :mod(z51, z53) ∧ ancient(z53) ∧ ¬(:ARG2(z37, z54) ∧ excavate-01(z54) ∧ :ARG1(z54, z41) ∧ :time(z54, z55) ∧ yet(z55)) ∧ :snt3(z0, z56) ∧ speculate-01(z56) ∧ :ARG1(z56, z57) ∧ possible-01(z57) ∧ :ARG1(z57, z58) ∧ contain-01(z58) ∧ :ARG0(z58, z59) ∧ palace(z59) ∧ :location(z59, z60) ∧ under(z60) ∧ :op1(z60, z61) ∧ worship-place(z61) ∧ :wiki(z61, "Gautama_Buddha") ∧ :name(z61, z62) ∧ name(z62) ∧ :op1(z62, "Dayan") ∧ :op2(z62, "Pagoda") ∧ :mod(z59, z63) ∧ underground(z63) ∧ :ARG1(z58, z64) ∧ treasure(z64) ∧ :ARG1(z65, z64) ∧ bring-01(z65) ∧ :ARG0(z65, z66) ∧ person(z66) ∧ :wiki(z66, "Xuanzang") ∧ :name(z66, z67) ∧ name(z67) ∧ :op1(z67, "Xuanzang") ∧ :direction(z65, z68) ∧ back(z68) ∧ :snt4(z0, z69) ∧ contrast-01(z69) ∧ :ARG2(z69, z70) ∧ know-01(z70) ∧ :ARG0(z70, z71) ∧ no-one(z71) ∧ :ARG1(z70, z72) ∧ location(z72) ∧ :location(z73, z72) ∧ hide-01(z73) ∧ :ARG1(z73, z74) ∧ treasure(z74) ∧ :ARG1(z75, z74) ∧ bring-01(z75) ∧ :ARG0(z75, z76) ∧ person(z76) ∧ :wiki(z76, "Xuanzang") ∧ :name(z76, z77) ∧ name(z77) ∧ :op1(z77, "Xuanzang") ∧ :direction(z75, z78) ∧ back(z78) ∧ :time(z70, z79) ∧ until(z79) ∧ :op1(z79, z80) ∧ now(z80)


The phenomenon of cashless society has attracted people's attention, mainly due to the rapid development of mobile payment in recent years, covering people's clothing, food, housing and transportation, spreading to the corners of cities and towns, and making some people change the habit of using cash. Actively promoting the construction of a cashless society is of far-reaching significance: first, it will help to lower the threshold of financial services and better promote economic development; second, it will help to reduce and reduce the utilization rate and management costs of cash, and reduce the cost of issuing money. It will also accelerate the flow of funds. Third, it helps to establish an integrity system, identify, prevent and crack down on all kinds of illegal and criminal acts related to cash transactions, bribery and bribery, and effectively curb corruption.

Question: With regard to a cashless society, which of the following is not mentioned?

Choices:
- Benefits for the financial industry
- The reason why it has attracted a lot of attention
- Relationship with currency issuance
- The impact on interpersonal relationships

(z0 / multi-sentence
    :snt1 (z1 / attract-01
              :ARG0 (z2 / phenomenon
                        :mod (z3 / society
                                 :mod (z4 / cash
                                          :polarity -)))
              :ARG1 (z5 / attend-02
                        :ARG0 (z6 / person)
                        :ARG1 z2)
              :ARG1-of (z7 / cause-01
                           :ARG0 (z8 / develop-02
                                     :ARG1 (z9 / pay-01
                                               :ARG1-of (z10 / mobile-02))
                                     :manner (z11 / rapid)
                                     :time (z12 / year
                                                :mod (z13 / recent))
                                     :ARG0-of (z14 / cover-01
                                                   :ARG1 (z15 / and
                                                              :op1 (z16 / clothe-01
                                                                        :ARG1 (z17 / person))
                                                              :op2 (z18 / food)
                                                              :op3 (z19 / house-01
                                                                        :ARG1 z17)
                                                              :op4 (z20 / transport-01
                                                                        :ARG1 z17)))
                                     :ARG0-of (z21 / spread-02
                                                   :ARG4 (z22 / corner
                                                              :part-of (z23 / and
                                                                            :op1 (z24 / city)
                                                                            :op2 (z25 / town))))
                                     :ARG0-of (z26 / make-02
                                                   :ARG1 (z27 / change-01
                                                              :ARG0 (z28 / person
                                                                         :mod (z29 / some))
                                                              :ARG1 (z30 / habit
                                                                         :mod (z31 / use-01
                                                                                :ARG1 z4)))))
                           :mod (z32 / main)))
    :snt2 (z33 / significant-02
               :ARG1 (z34 / promote-02
                          :ARG1 (z35 / construct-01
                                     :ARG1 (z36 / society
                                                :mod (z37 / cash
                                                          :polarity -)))
                          :ARG1-of (z38 / activity-06))
               :ARG0-of (z39 / reach-01
                             :ARG1 (z40 / far))
               :ARG1-of (z41 / mean-01
                             :ARG2 (z42 / and
                                        :op1 (z43 / help-01
                                                  :li 1
                                                  :ARG0 z34
                                                  :ARG1 (z44 / and
                                                             :op1 (z45 / lower-05
                                                                       :ARG1 (z46 / threshold
                                                                                :mod (z47 / serve-01
                                                                                :ARG1 (z48 / finance))))
                                                             :op2 (z49 / promote-01
                                                                       :ARG1 (z50 / develop-02
                                                                                :ARG1 (z51 / economy))
                                                                       :ARG1-of (z52 / have-degree-91
                                                                                :ARG2 (z53 / good-02
                                                                                :ARG1 z49)
                                                                                :ARG3 (z54 / more)))))
                                        :op2 (z55 / help-01
                                                  :li 2
                                                  :ARG0 z34
                                                  :ARG1 (z56 / and
                                                             :op1 (z57 / reduce-01
                                                                       :ARG1 (z58 / and
                                                                                :op1 (z59 / rate
                                                                                :mod (z60 / utilize-01
                                                                                :ARG1 (z61 / cash)))
                                                                                :op2 (z62 / cost-01
                                                                                :ARG1 (z63 / manage-01
                                                                                :ARG1 z33))))
                                                             :op2 (z64 / reduce-01
                                                                       :ARG1 (z65 / cost-01
                                                                                :ARG1 (z66 / issue-01
                                                                                :ARG1 (z67 / money))))))
                                        :op3 (z68 / help-01
                                                  :li 3
                                                  :ARG0 z34
                                                  :ARG1 (z1000 / and
                                                               :op1 (z1001 / establish-01
                                                                           :ARG1 (z1002 / system
                                                                                :mod (z1003 / integrity)))
                                                               :op2 (z1004 / and
                                                                           :op1 (z1005 / identify-01
                                                                                :ARG1 (z1006 / act-02
                                                                                :ARG1-of (z1007 / legal-02
                                                                                :polarity -)
                                                                                :mod (z1008 / kind
                                                                                :mod (z1009 / all))
                                                                                :ARG1-of (z1010 / relate-01
                                                                                :ARG2 (z1011 / and
                                                                                :op1 (z1012 / transact-01
                                                                                :ARG1 (z1013 / cash))
                                                                                :op2 (z1014 / bribe-01)
                                                                                :op3 (z1015 / bribe-01))))
                                                                                :op2 (z1016 / crack-down-06
                                                                                :ARG1 z1006))
                                                                           :op3 (z1017 / curb-01
                                                                                :ARG1 (z1018 / corrupt-01)
                                                                                :ARG1-of (z1019 / effective-04)))
                                                               :op4 (z1020 / accelerate-01
                                                                           :ARG1 (z1021 / flow-01
                                                                                :ARG1 (z1022 / money))
                                                                           :mod (z1023 / also))))))))


The transfer of the right to use assets refers to the behavior of the owner of the asset temporarily transferring the right to use the asset to others in order to obtain relevant benefits, but not to transfer the ownership of the asset.

Question: According to the above definition, which of the following does not belong to the transfer of the right to use assets?

Choices:
- A housekeeping company contracts the cleaning of an office building at a price of 30 yuan per square meter per month
- A city commercial bank issued a loan of 200 million yuan to a company at an annual interest rate of 6.8%
- A university rents out the idle office building to a vocational skill training school at a price of 500,000 yuan per year
- A company is responsible for the construction of a smart city in a city using a self-developed operating system at a price of 50 million yuan per year

(z0 / refer-01
    :ARG1 (z1 / transfer-01
              :ARG1 (z2 / right-05
                        :ARG2 (z3 / use-01
                                  :ARG1 (z4 / asset))))
    :ARG2 (z5 / behave-01
              :ARG0 (z6 / person
                        :ARG0-of (z7 / own-01
                                     :ARG1 z4))
              :ARG1 (z8 / transfer-01
                        :ARG0 z6
                        :ARG1 (z9 / right-05
                                  :ARG2 (z10 / use-01
                                             :ARG1 z4))
                        :ARG2 (z11 / person
                                   :mod (z12 / other))
                        :purpose (z13 / contrast-01
                                      :ARG1 (z14 / obtain-01
                                                 :ARG0 z6
                                                 :ARG1 (z15 / benefit-01
                                                            :ARG1-of (z16 / relevant-01)))
                                      :ARG2 (z17 / transfer-01
                                                 :polarity -
                                                 :ARG0 z6
                                                 :ARG1 (z18 / own-01
                                                            :ARG1 z4)))
                        :duration (z19 / temporary)
                        :purpose (z20 / obtain-01
                                      :ARG0 z6
                                      :ARG1 z15))))

refer-01(z0) ∧ :ARG1(z0, z1) ∧ transfer-01(z1) ∧ :ARG1(z1, z2) ∧ right-05(z2) ∧ :ARG2(z2, z3) ∧ use-01(z3) ∧ :ARG1(z3, z4) ∧ asset(z4) ∧ :ARG2(z0, z5) ∧ behave-01(z5) ∧ :ARG0(z5, z6) ∧ person(z6) ∧ :ARG0(z7, z6) ∧ own-01(z7) ∧ :ARG1(z7, z4) ∧ :ARG1(z5, z8) ∧ transfer-01(z8) ∧ :ARG0(z8, z6) ∧ :ARG1(z8, z9) ∧ right-05(z9) ∧ :ARG2(z9, z10) ∧ use-01(z10) ∧ :ARG1(z10, z4) ∧ :ARG2(z8, z11) ∧ person(z11) ∧ :mod(z11, z12) ∧ other(z12) ∧ :purpose(z8, z13) ∧ contrast-01(z13) ∧ :ARG1(z13, z14) ∧ obtain-01(z14) ∧ :ARG0(z14, z6) ∧ :ARG1(z14, z15) ∧ benefit-01(z15) ∧ :ARG1(z16, z15) ∧ relevant-01(z16) ∧ ¬(:ARG2(z13, z17) ∧ transfer-01(z17) ∧ :ARG0(z17, z6) ∧ :ARG1(z17, z18) ∧ own-01(z18) ∧ :ARG1(z18, z4)) ∧ :duration(z8, z19) ∧ temporary(z19) ∧ :purpose(z8, z20) ∧ obtain-01(z20) ∧ :ARG0(z20, z6) ∧ :ARG1(z20, z15)