It takes 365. 25 days for the Earth to make one complete revolution around the Sun. Long-standing convention makes a year 365 days long, with an extra day added every fourth year, and the year is divided into 52 seven-day weeks. But since 52 times 7 is only 364, anniversaries do not fall on the same day of the week each year. Many scheduling problems could be avoided if the last day of each year and an additional day every fourth year belonged to no week, so that January 1 would be a Sunday every year.

Question: The proposal above, once put into effect, would be most likely to result in continued scheduling conflicts for which one of the following groups?

Choices:
- employed people whose strict religious observances require that they refrain from working every seventh day
- people who have birthdays or other anniversaries on December 30 or 31
- people who have to plan events several years before those events occur
- employed people who have three-day breaks from work when holidays are celebrated on Mondays or Fridays

(z0 / multi-sentence
    :snt1 (z1 / take-10
              :ARG0 (z2 / make-01
                        :ARG0 (z3 / planet
                                  :wiki "Earth"
                                  :name (z4 / name
                                            :op1 "Earth"))
                        :ARG1 (z5 / revolution-03
                                  :quant 1
                                  :ARG0 z3
                                  :ARG1-of (z6 / complete-02)
                                  :location (z7 / around
                                                :op1 (z8 / sun))))
              :ARG1 (z9 / temporal-quantity
                        :quant "365.25"
                        :unit (z10 / day))
              :ARG2 (z11 / make-01
                         :ARG0 (z12 / convention
                                    :ARG1-of (z13 / stand-04
                                                  :ARG1-of (z14 / long-03)))
                         :ARG1 (z15 / and
                                    :op1 (z16 / year
                                              :ARG1-of (z17 / long-03
                                                            :ARG2 (z18 / temporal-quantity
                                                                       :quant 365
                                                                       :unit (z19 / day)))
                                              :ARG2-of (z20 / add-02
                                                            :ARG1 (z21 / day
                                                                       :mod (z22 / extra))
                                                            :frequency (z23 / rate-entity-91
                                                                            :ARG4 (z24 / temporal-quantity
                                                                                :quant 4
                                                                                :ord (z25 / ordinal-entity
                                                                                :value 4)
                                                                                :unit (z26 / year)))))
                                    :op2 (z27 / divide-02
                                              :ARG1 z16
                                              :ARG2 (z28 / week
                                                         :quant 52
                                                         :duration (z29 / temporal-quantity
                                                                        :quant 7
                                                                        :unit (z30 / day)))))))
    :snt2 (z31 / contrast-01
               :ARG2 (z32 / cause-01
                          :ARG0 (z33 / equal-01
                                     :ARG1 (z34 / temporal-quantity
                                                :quant 52
                                                :unit (z35 / day))
                                     :ARG2 (z36 / temporal-quantity
                                                :quant 7
                                                :unit (z37 / day))
                                     :ARG1-of (z38 / equal-01
                                                   :ARG2 (z39 / temporal-quantity
                                                              :quant 364
                                                              :unit (z40 / day))
                                                   :mod (z41 / only)))
                          :ARG1 (z42 / fall-01
                                     :polarity -
                                     :ARG1 (z43 / anniversary)
                                     :ARG4 (z44 / day
                                                :ARG1-of (z45 / same-01
                                                              :ARG2 (z46 / day
                                                                         :part-of (z47 / week))))
                                     :frequency (z48 / rate-entity-91
                                                     :ARG3 (z49 / temporal-quantity
                                                                :quant 1
                                                                :unit (z50 / year
                                                                           :mod (z51 / each))))))
               :snt3 (z52 / possible-01
                          :ARG1 (z53 / avoid-01
                                     :ARG1 (z54 / problem
                                                :topic (z55 / schedule-01)
                                                :quant (z56 / many))
                                     :condition (z57 / belong-01
                                                     :ARG0 (z58 / and
                                                                :op1 (z59 / day
                                                                          :ord (z60 / ordinal-entity
                                                                                :value "-1")
                                                                          :part-of (z61 / year
                                                                                :mod (z62 / each)))
                                                                :op2 (z63 / day
                                                                          :mod (z64 / additional)
                                                                          :frequency (z65 / rate-entity-91
                                                                                :ARG4 (z66 / temporal-quantity
                                                                                :quant 4
                                                                                :ord (z67 / ordinal-entity
                                                                                :value 4)
                                                                                :unit (z68 / year)))))
                                                     :ARG1 (z69 / week
                                                                :polarity -)
                                                     :ARG0-of (z70 / cause-01
                                                                   :ARG1 (z71 / be-temporally-at-91
                                                                              :ARG1 (z72 / date-entity
                                                                                :month 1
                                                                                :day 1
                                                                                :weekday (z73 / sunday))
                                                                              :ARG2 (z74 / date-entity
                                                                                :weekday (z75 / sunday))
                                                                              :frequency (z76 / rate-entity-91
                                                                                :ARG3 (z77 / temporal-quantity
                                                                                :quant 1
                                                                                :unit (z78 / year
                                                                                :mod (z79 / every)))))))))
               :snt4 (z80 / contrast-01
                          :ARG2 (z81 / cause-01
                                     :ARG0 (z82 / equal-01
                                                :ARG1 (z83 / temporal-quantity
                                                           :quant 52
                                                           :unit (z84 / day))
                                                :ARG2 (z85 / temporal-quantity
                                                           :quant 7
                                                           :unit (z86 / day)))
                                     :ARG1 (z87 / fall-04
                                                :polarity -
                                                :ARG1 (z88 / anniversary)
                                                :time (z89 / day
                                                           :part-of (z90 / week)
                                                           :ARG1-of (z91 / same-01))))))
    :ARG1 (z93 / it)
    :ARG2 (z94 / temporal-quantity
               :quant 1
               :unit (z95 / day))
    :ARG3 (z96 / temporal-quantity
               :quant 1
               :unit (z97 / year
                          :mod (z98 / each))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ take-10(z1) ∧ :ARG0(z1, z2) ∧ make-01(z2) ∧ :ARG0(z2, z3) ∧ planet(z3) ∧ :wiki(z3, "Earth") ∧ :name(z3, z4) ∧ name(z4) ∧ :op1(z4, "Earth") ∧ :ARG1(z2, z5) ∧ revolution-03(z5) ∧ :quant(z5, 1) ∧ :ARG0(z5, z3) ∧ :ARG1(z6, z5) ∧ complete-02(z6) ∧ :location(z5, z7) ∧ around(z7) ∧ :op1(z7, z8) ∧ sun(z8) ∧ :ARG1(z1, z9) ∧ temporal-quantity(z9) ∧ :quant(z9, "365.25") ∧ :unit(z9, z10) ∧ day(z10) ∧ :ARG2(z1, z11) ∧ make-01(z11) ∧ :ARG0(z11, z12) ∧ convention(z12) ∧ :ARG1(z13, z12) ∧ stand-04(z13) ∧ :ARG1(z14, z13) ∧ long-03(z14) ∧ :ARG1(z11, z15) ∧ and(z15) ∧ :op1(z15, z16) ∧ year(z16) ∧ :ARG1(z17, z16) ∧ long-03(z17) ∧ :ARG2(z17, z18) ∧ temporal-quantity(z18) ∧ :quant(z18, 365) ∧ :unit(z18, z19) ∧ day(z19) ∧ :ARG2(z20, z16) ∧ add-02(z20) ∧ :ARG1(z20, z21) ∧ day(z21) ∧ :mod(z21, z22) ∧ extra(z22) ∧ :frequency(z20, z23) ∧ rate-entity-91(z23) ∧ :ARG4(z23, z24) ∧ temporal-quantity(z24) ∧ :quant(z24, 4) ∧ :ord(z24, z25) ∧ ordinal-entity(z25) ∧ :value(z25, 4) ∧ :unit(z24, z26) ∧ year(z26) ∧ :op2(z15, z27) ∧ divide-02(z27) ∧ :ARG1(z27, z16) ∧ :ARG2(z27, z28) ∧ week(z28) ∧ :quant(z28, 52) ∧ :duration(z28, z29) ∧ temporal-quantity(z29) ∧ :quant(z29, 7) ∧ :unit(z29, z30) ∧ day(z30) ∧ :snt2(z0, z31) ∧ contrast-01(z31) ∧ :ARG2(z31, z32) ∧ cause-01(z32) ∧ :ARG0(z32, z33) ∧ equal-01(z33) ∧ :ARG1(z33, z34) ∧ temporal-quantity(z34) ∧ :quant(z34, 52) ∧ :unit(z34, z35) ∧ day(z35) ∧ :ARG2(z33, z36) ∧ temporal-quantity(z36) ∧ :quant(z36, 7) ∧ :unit(z36, z37) ∧ day(z37) ∧ :ARG1(z38, z33) ∧ equal-01(z38) ∧ :ARG2(z38, z39) ∧ temporal-quantity(z39) ∧ :quant(z39, 364) ∧ :unit(z39, z40) ∧ day(z40) ∧ :mod(z38, z41) ∧ only(z41) ∧ ¬(:ARG1(z32, z42) ∧ fall-01(z42) ∧ :ARG1(z42, z43) ∧ anniversary(z43) ∧ :ARG4(z42, z44) ∧ day(z44) ∧ :ARG1(z45, z44) ∧ same-01(z45) ∧ :ARG2(z45, z46) ∧ day(z46) ∧ :part(z47, z46) ∧ week(z47) ∧ :frequency(z42, z48) ∧ rate-entity-91(z48) ∧ :ARG3(z48, z49) ∧ temporal-quantity(z49) ∧ :quant(z49, 1) ∧ :unit(z49, z50) ∧ year(z50) ∧ :mod(z50, z51) ∧ each(z51)) ∧ :snt3(z31, z52) ∧ possible-01(z52) ∧ :ARG1(z52, z53) ∧ :condition(z53, z57) ∧ belong-01(z57) ∧ :ARG0(z57, z58) ∧ and(z58) ∧ :op1(z58, z59) ∧ day(z59) ∧ :ord(z59, z60) ∧ ordinal-entity(z60) ∧ :value(z60, "-1") ∧ :part(z61, z59) ∧ year(z61) ∧ :mod(z61, z62) ∧ each(z62) ∧ :op2(z58, z63) ∧ day(z63) ∧ :mod(z63, z64) ∧ additional(z64) ∧ :frequency(z63, z65) ∧ rate-entity-91(z65) ∧ :ARG4(z65, z66) ∧ temporal-quantity(z66) ∧ :quant(z66, 4) ∧ :ord(z66, z67) ∧ ordinal-entity(z67) ∧ :value(z67, 4) ∧ :unit(z66, z68) ∧ year(z68) ∧ ¬(:ARG1(z57, z69) ∧ week(z69)) ∧ :ARG0(z70, z57) ∧ cause-01(z70) ∧ :ARG1(z70, z71) ∧ be-temporally-at-91(z71) ∧ :ARG1(z71, z72) ∧ date-entity(z72) ∧ :month(z72, 1) ∧ :day(z72, 1) ∧ :weekday(z72, z73) ∧ sunday(z73) ∧ :ARG2(z71, z74) ∧ date-entity(z74) ∧ :weekday(z74, z75) ∧ sunday(z75) ∧ :frequency(z71, z76) ∧ rate-entity-91(z76) ∧ :ARG3(z76, z77) ∧ temporal-quantity(z77) ∧ :quant(z77, 1) ∧ :unit(z77, z78) ∧ year(z78) ∧ :mod(z78, z79) ∧ every(z79) ∧ avoid-01(z53) ∧ :ARG1(z53, z54) ∧ problem(z54) ∧ :topic(z54, z55) ∧ schedule-01(z55) ∧ :quant(z54, z56) ∧ many(z56) ∧ :snt4(z31, z80) ∧ contrast-01(z80) ∧ :ARG2(z80, z81) ∧ cause-01(z81) ∧ :ARG0(z81, z82) ∧ equal-01(z82) ∧ :ARG1(z82, z83) ∧ temporal-quantity(z83) ∧ :quant(z83, 52) ∧ :unit(z83, z84) ∧ day(z84) ∧ :ARG2(z82, z85) ∧ temporal-quantity(z85) ∧ :quant(z85, 7) ∧ :unit(z85, z86) ∧ day(z86) ∧ ¬(:ARG1(z81, z87) ∧ fall-04(z87) ∧ :ARG1(z87, z88) ∧ anniversary(z88) ∧ :time(z87, z89) ∧ day(z89) ∧ :part(z90, z89) ∧ week(z90) ∧ :ARG1(z91, z89) ∧ same-01(z91)) ∧ :ARG1(z0, z93) ∧ it(z93) ∧ :ARG2(z0, z94) ∧ temporal-quantity(z94) ∧ :quant(z94, 1) ∧ :unit(z94, z95) ∧ day(z95) ∧ :ARG3(z0, z96) ∧ temporal-quantity(z96) ∧ :quant(z96, 1) ∧ :unit(z96, z97) ∧ year(z97) ∧ :mod(z97, z98) ∧ each(z98)


The cleaning and restoration of Michelangelo murals on the ceiling of the Sistine Chapel were carried out by some of the world's best art restoration experts under the close supervision of a group of international artists and historians. However, there was a great deal of controversy in the result. Most modern visitors seem to be used to looking at murals whose colors have been overshadowed by yellowing glue and dust, and the contours of the characters have been blurred by dirt accumulated over half a century.

Question: Which of the following is correct about the murals of Michelangelo?

Choices:
- Become the subject of intense controversy about his artistic achievements
- Been left out for centuries until today
- Was dusted in the recent restoration work
- People prefer the original mural, although it is eroded by the years, but you can feel more enjoyment from it

(z0 / multi-sentence
    :snt1 (z1 / carry-out-03
              :ARG0 (z2 / person
                        :ARG1-of (z3 / include-91
                                     :ARG2 (z4 / person
                                               :ARG1-of (z5 / expert-01
                                                            :ARG2 (z6 / restore-02
                                                                      :ARG1 (z7 / art)))
                                               :ARG1-of (z8 / have-degree-91
                                                            :ARG2 (z9 / good-03
                                                                      :ARG1 z4)
                                                            :ARG3 (z10 / most)
                                                            :ARG5 (z11 / world)))
                                     :ARG3 (z12 / some)))
              :ARG1 (z13 / and
                         :op1 (z14 / clean-01
                                   :ARG0 z2
                                   :ARG1 (z15 / mural
                                              :poss (z16 / person
                                                         :wiki "Michelangelo"
                                                         :name (z17 / name
                                                                    :op1 "Michelangelo"))
                                              :location (z18 / ceiling
                                                             :part-of (z19 / building
                                                                           :wiki "Sistine_Chapel"
                                                                           :name (z20 / name
                                                                                :op1 "Sistine"
                                                                                :op2 "Chapel"))))
                                   :op2 (z21 / restore-02
                                             :ARG0 z2
                                             :ARG1 z15))
                         :ARG1-of (z22 / supervise-01
                                       :ARG0 (z23 / group
                                                  :consist-of (z24 / and
                                                                   :op1 (z25 / artist)
                                                                   :op2 (z26 / historian)
                                                                   :mod (z27 / international)))
                                       :ARG1-of (z28 / close-10)))
              :snt2 (z29 / result-01
                         :ARG2 (z30 / controversy
                                    :quant (z31 / deal
                                                :mod (z32 / great))))
              :snt3 (z33 / seem-01
                         :ARG1 (z34 / use-02
                                    :ARG0 (z35 / person
                                               :ARG0-of (z36 / visit-01)
                                               :ARG1-of (z37 / modern-02)
                                               :quant (z38 / most))
                                    :ARG1 (z39 / look-01
                                               :ARG0 z35
                                               :ARG1 (z40 / and
                                                          :op1 (z41 / mural
                                                                    :poss-of (z42 / color
                                                                                :ARG1-of (z43 / eclipse-01
                                                                                :ARG0 (z44 / and
                                                                                :op1 (z45 / glue
                                                                                :ARG1-of (z46 / yellow-01))
                                                                                :op2 (z47 / dust)))))
                                                          :op2 (z48 / blur-01
                                                                    :ARG0 (z49 / dirt
                                                                               :ARG1-of (z50 / accumulate-01
                                                                                :duration (z51 / over
                                                                                :op1 (z52 / temporal-quantity
                                                                                :quant "0.5"
                                                                                :unit (z53 / century)))))
                                                                    :ARG1 (z54 / contour
                                                                               :poss (z55 / character)))
                                                          :op3 (z56 / blur-01
                                                                    :ARG0 (z57 / dirt
                                                                               :ARG1-of (z58 / accumulate-01
                                                                                :duration (z59 / over
                                                                                :op1 (z60 / temporal-quantity
                                                                                :quant "0.5"
                                                                                :unit (z61 / century)))))
                                                                    :ARG1 z54)))))
              :snt4 (z62 / contrast-01
                         :ARG2 (z63 / result-01
                                    :ARG2 (z64 / controversy
                                               :quant (z65 / deal
                                                           :mod (z66 / great)))))
              :snt5 (z67 / carry-out-03
                         :ARG0 (z68 / person
                                    :ARG1-of (z69 / include-91
                                                  :ARG2 (z70 / person
                                                             :ARG1-of (z71 / expert-01
                                                                           :ARG2 (z72 / restore-02
                                                                                :ARG1 (z73 / art)))
                                                             :ARG1-of (z74 / have-degree-91
                                                                           :ARG2 (z75 / good-03
                                                                                :ARG1 z70)
                                                                           :ARG3 (z76 / most)
                                                                           :ARG5 (z77 / person
                                                                                :location (z78 / world))))
                                                  :ARG3 (z79 / some))
                                    :ARG1 (z80 / and
                                               :op1 (z81 / clean-01
                                                         :ARG1 (z82 / mural
                                                                    :poss (z83 / person
                                                                               :wiki "Michelangelo"
                                                                               :name (z84 / name
                                                                                :op1 "Michelangelo"))
                                                                    :location (z85 / ceiling
                                                                                :part-of (z86 / building
                                                                                :wiki "Sistine_Chapel"
                                                                                :name (z87 / name
                                                                                :op1 "Sistine"
                                                                                :op2 "Chapel")))))
                                               :op2 (z88 / restore-02
                                                         :ARG1 z74))
                                    :snt6 (z89 / and
                                               :op1 (z90 / clean-01
                                                         :ARG1 (z91 / mural
                                                                    :poss (z92 / person
                                                                               :wiki "Michelangelo"
                                                                               :name (z93 / name
                                                                                :op1 "Michelangelo"))
                                                                    :location (z94 / ceiling
                                                                                :part-of z86)))
                                               :op2 (z95 / repair-01
                                                         :ARG1 z91)
                                               :prep-under (z96 / supervise-01
                                                                :ARG0 (z97 / person
                                                                           :ARG1-of (z98 / include-91
                                                                                :ARG2 (z99 / person
                                                                                :ARG0-of (z100 / have-org-role-91
                                                                                :ARG2 (z101 / and
                                                                                :op1 (z102 / artist)
                                                                                :op2 (z103 / historian)
                                                                                :mod (z1000 / international))))
                                                                                :ARG3 (z1001 / some)))
                                                                :ARG1 (z1002 / and
                                                                             :op1 (z1003 / clean-01
                                                                                :ARG1 z36)
                                                                             :op2 (z1004 / repair-01
                                                                                :ARG1 z36)))))
                         :ARG1 (z1006 / use-02
                                      :ARG0 (z1007 / person
                                                   :ARG0-of (z1008 / visit-01
                                                                   :ARG1 z36))
                                      :ARG1 (z1009 / look-01
                                                   :ARG1 (z1010 / mural
                                                                :ARG1-of (z1011 / color-01
                                                                                :ARG2-of (z1012 / eclipse-01
                                                                                :ARG0 (z1013 / and
                                                                                :op1 (z1014 / glue
                                                                                :ARG1-of (z1015 / yellow-01))
                                                                                :op2 (z1016 / dust)
                                                                                :ARG1-of (z1017 / yellow-01))))))))
              :snt7 (z1018 / blur-01
                           :ARG0 (z1019 / dirt
                                        :ARG1-of (z1020 / accumulate-01
                                                        :duration (z1021 / over
                                                                         :op1 (z104 / temporal-quantity
                                                                                :quant "0.5"
                                                                                :unit (z1022 / century)))))
                           :ARG1 (z1023 / contour
                                        :poss (z1024 / character))))
    :snt8 (z1025 / blur-01
                 :ARG0 (z1026 / dirt
                              :ARG1-of (z1027 / accumulate-01
                                              :duration (z1028 / over
                                                               :op1 (z1029 / temporal-quantity
                                                                           :quant "0.5"
                                                                           :unit (z1030 / century))))))
    :ARG1 (z1031 / contour
                 :poss (z1032 / character)))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ carry-out-03(z1) ∧ :ARG0(z1, z2) ∧ person(z2) ∧ :ARG1(z3, z2) ∧ include-91(z3) ∧ :ARG2(z3, z4) ∧ person(z4) ∧ :ARG1(z5, z4) ∧ expert-01(z5) ∧ :ARG2(z5, z6) ∧ restore-02(z6) ∧ :ARG1(z6, z7) ∧ art(z7) ∧ :ARG1(z8, z4) ∧ have-degree-91(z8) ∧ :ARG2(z8, z9) ∧ good-03(z9) ∧ :ARG1(z9, z4) ∧ :ARG3(z8, z10) ∧ most(z10) ∧ :ARG5(z8, z11) ∧ world(z11) ∧ :ARG3(z3, z12) ∧ some(z12) ∧ :ARG1(z1, z13) ∧ and(z13) ∧ :op1(z13, z14) ∧ clean-01(z14) ∧ :ARG0(z14, z2) ∧ :ARG1(z14, z15) ∧ mural(z15) ∧ :poss(z15, z16) ∧ person(z16) ∧ :wiki(z16, "Michelangelo") ∧ :name(z16, z17) ∧ name(z17) ∧ :op1(z17, "Michelangelo") ∧ :location(z15, z18) ∧ ceiling(z18) ∧ :part(z19, z18) ∧ building(z19) ∧ :wiki(z19, "Sistine_Chapel") ∧ :name(z19, z20) ∧ name(z20) ∧ :op1(z20, "Sistine") ∧ :op2(z20, "Chapel") ∧ :op2(z14, z21) ∧ restore-02(z21) ∧ :ARG0(z21, z2) ∧ :ARG1(z21, z15) ∧ :ARG1(z22, z13) ∧ supervise-01(z22) ∧ :ARG0(z22, z23) ∧ group(z23) ∧ :consist(z24, z23) ∧ and(z24) ∧ :op1(z24, z25) ∧ artist(z25) ∧ :op2(z24, z26) ∧ historian(z26) ∧ :mod(z24, z27) ∧ international(z27) ∧ :ARG1(z28, z22) ∧ close-10(z28) ∧ :snt2(z1, z29) ∧ result-01(z29) ∧ :ARG2(z29, z30) ∧ controversy(z30) ∧ :quant(z30, z31) ∧ deal(z31) ∧ :mod(z31, z32) ∧ great(z32) ∧ :snt3(z1, z33) ∧ seem-01(z33) ∧ :ARG1(z33, z34) ∧ use-02(z34) ∧ :ARG0(z34, z35) ∧ person(z35) ∧ :ARG0(z36, z35) ∧ visit-01(z36) ∧ :ARG1(z37, z35) ∧ modern-02(z37) ∧ :quant(z35, z38) ∧ most(z38) ∧ :ARG1(z34, z39) ∧ look-01(z39) ∧ :ARG0(z39, z35) ∧ :ARG1(z39, z40) ∧ and(z40) ∧ :op1(z40, z41) ∧ mural(z41) ∧ :poss(z42, z41) ∧ color(z42) ∧ :ARG1(z43, z42) ∧ eclipse-01(z43) ∧ :ARG0(z43, z44) ∧ and(z44) ∧ :op1(z44, z45) ∧ glue(z45) ∧ :ARG1(z46, z45) ∧ yellow-01(z46) ∧ :op2(z44, z47) ∧ dust(z47) ∧ :op2(z40, z48) ∧ blur-01(z48) ∧ :ARG0(z48, z49) ∧ dirt(z49) ∧ :ARG1(z50, z49) ∧ accumulate-01(z50) ∧ :duration(z50, z51) ∧ over(z51) ∧ :op1(z51, z52) ∧ temporal-quantity(z52) ∧ :quant(z52, "0.5") ∧ :unit(z52, z53) ∧ century(z53) ∧ :ARG1(z48, z54) ∧ contour(z54) ∧ :poss(z54, z55) ∧ character(z55) ∧ :op3(z40, z56) ∧ blur-01(z56) ∧ :ARG0(z56, z57) ∧ dirt(z57) ∧ :ARG1(z58, z57) ∧ accumulate-01(z58) ∧ :duration(z58, z59) ∧ over(z59) ∧ :op1(z59, z60) ∧ temporal-quantity(z60) ∧ :quant(z60, "0.5") ∧ :unit(z60, z61) ∧ century(z61) ∧ :ARG1(z56, z54) ∧ :snt4(z1, z62) ∧ contrast-01(z62) ∧ :ARG2(z62, z63) ∧ result-01(z63) ∧ :ARG2(z63, z64) ∧ controversy(z64) ∧ :quant(z64, z65) ∧ deal(z65) ∧ :mod(z65, z66) ∧ great(z66) ∧ :snt5(z1, z67) ∧ carry-out-03(z67) ∧ :ARG0(z67, z68) ∧ person(z68) ∧ :ARG1(z69, z68) ∧ include-91(z69) ∧ :ARG2(z69, z70) ∧ person(z70) ∧ :ARG1(z71, z70) ∧ expert-01(z71) ∧ :ARG2(z71, z72) ∧ restore-02(z72) ∧ :ARG1(z72, z73) ∧ art(z73) ∧ :ARG1(z74, z70) ∧ have-degree-91(z74) ∧ :ARG2(z74, z75) ∧ good-03(z75) ∧ :ARG1(z75, z70) ∧ :ARG3(z74, z76) ∧ most(z76) ∧ :ARG5(z74, z77) ∧ person(z77) ∧ :location(z77, z78) ∧ world(z78) ∧ :ARG3(z69, z79) ∧ some(z79) ∧ :ARG1(z68, z80) ∧ and(z80) ∧ :op1(z80, z81) ∧ clean-01(z81) ∧ :ARG1(z81, z82) ∧ mural(z82) ∧ :poss(z82, z83) ∧ person(z83) ∧ :wiki(z83, "Michelangelo") ∧ :name(z83, z84) ∧ name(z84) ∧ :op1(z84, "Michelangelo") ∧ :location(z82, z85) ∧ ceiling(z85) ∧ :part(z86, z85) ∧ building(z86) ∧ :wiki(z86, "Sistine_Chapel") ∧ :name(z86, z87) ∧ name(z87) ∧ :op1(z87, "Sistine") ∧ :op2(z87, "Chapel") ∧ :op2(z80, z88) ∧ restore-02(z88) ∧ :ARG1(z88, z74) ∧ :snt6(z68, z89) ∧ and(z89) ∧ :op1(z89, z90) ∧ clean-01(z90) ∧ :ARG1(z90, z91) ∧ mural(z91) ∧ :poss(z91, z92) ∧ person(z92) ∧ :wiki(z92, "Michelangelo") ∧ :name(z92, z93) ∧ name(z93) ∧ :op1(z93, "Michelangelo") ∧ :location(z91, z94) ∧ ceiling(z94) ∧ :part(z86, z94) ∧ :op2(z89, z95) ∧ repair-01(z95) ∧ :ARG1(z95, z91) ∧ :prep-under(z89, z96) ∧ supervise-01(z96) ∧ :ARG0(z96, z97) ∧ person(z97) ∧ :ARG1(z98, z97) ∧ include-91(z98) ∧ :ARG2(z98, z99) ∧ person(z99) ∧ :ARG0(z100, z99) ∧ have-org-role-91(z100) ∧ :ARG2(z100, z101) ∧ and(z101) ∧ :op1(z101, z102) ∧ artist(z102) ∧ :op2(z101, z103) ∧ historian(z103) ∧ :mod(z101, z1000) ∧ international(z1000) ∧ :ARG3(z98, z1001) ∧ some(z1001) ∧ :ARG1(z96, z1002) ∧ and(z1002) ∧ :op1(z1002, z1003) ∧ clean-01(z1003) ∧ :ARG1(z1003, z36) ∧ :op2(z1002, z1004) ∧ repair-01(z1004) ∧ :ARG1(z1004, z36) ∧ :ARG1(z67, z1006) ∧ use-02(z1006) ∧ :ARG0(z1006, z1007) ∧ person(z1007) ∧ :ARG0(z1008, z1007) ∧ visit-01(z1008) ∧ :ARG1(z1008, z36) ∧ :ARG1(z1006, z1009) ∧ look-01(z1009) ∧ :ARG1(z1009, z1010) ∧ mural(z1010) ∧ :ARG1(z1011, z1010) ∧ color-01(z1011) ∧ :ARG2(z1012, z1011) ∧ eclipse-01(z1012) ∧ :ARG0(z1012, z1013) ∧ and(z1013) ∧ :op1(z1013, z1014) ∧ glue(z1014) ∧ :ARG1(z1015, z1014) ∧ yellow-01(z1015) ∧ :op2(z1013, z1016) ∧ dust(z1016) ∧ :ARG1(z1017, z1013) ∧ yellow-01(z1017) ∧ :snt7(z1, z1018) ∧ blur-01(z1018) ∧ :ARG0(z1018, z1019) ∧ dirt(z1019) ∧ :ARG1(z1020, z1019) ∧ accumulate-01(z1020) ∧ :duration(z1020, z1021) ∧ over(z1021) ∧ :op1(z1021, z104) ∧ temporal-quantity(z104) ∧ :quant(z104, "0.5") ∧ :unit(z104, z1022) ∧ century(z1022) ∧ :ARG1(z1018, z1023) ∧ contour(z1023) ∧ :poss(z1023, z1024) ∧ character(z1024) ∧ :snt8(z0, z1025) ∧ blur-01(z1025) ∧ :ARG0(z1025, z1026) ∧ dirt(z1026) ∧ :ARG1(z1027, z1026) ∧ accumulate-01(z1027) ∧ :duration(z1027, z1028) ∧ over(z1028) ∧ :op1(z1028, z1029) ∧ temporal-quantity(z1029) ∧ :quant(z1029, "0.5") ∧ :unit(z1029, z1030) ∧ century(z1030) ∧ :ARG1(z0, z1031) ∧ contour(z1031) ∧ :poss(z1031, z1032) ∧ character(z1032)


Operational activities refer to the process of investing a certain amount of resources. After a series of various forms of transformation, its value is increased, and finally a certain form of output is provided to the society.

Question: Which of the following is not an operational activity?

Choices:
- Banks provide financial services
- Housewife cleans up household hygiene
- Consulting company provides design solutions
- Shoe factory produces shoes

(z0 / multi-sentence
    :snt1 (z1 / refer-01
              :ARG1 (z2 / activity-06
                        :ARG1-of (z3 / operate-01))
              :ARG2 (z4 / process-02
                        :ARG1 (z5 / invest-01
                                  :ARG1 (z6 / amount
                                            :mod (z7 / certain)
                                            :quant-of (z8 / resource)))))
    :snt2 (z9 / and
              :op1 (z10 / increase-01
                        :ARG1 (z11 / value-01
                                   :ARG1 (z12 / it)))
              :op2 (z13 / provide-01
                        :ARG1 (z14 / form
                                   :mod (z15 / output)
                                   :mod (z16 / certain))
                        :ARG2 (z17 / society)
                        :time (z18 / final))
              :time (z19 / after
                         :op1 (z20 / series
                                   :consist-of (z21 / transform-01
                                                    :ARG2 (z22 / form
                                                               :mod (z23 / various))))))
    :snt3 (z24 / go-01
               :ARG1 (z25 / break-out)
               :time (z26 / after
                          :op1 (z27 / start-01
                                    :ARG1 (z28 / work-01)))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ refer-01(z1) ∧ :ARG1(z1, z2) ∧ activity-06(z2) ∧ :ARG1(z3, z2) ∧ operate-01(z3) ∧ :ARG2(z1, z4) ∧ process-02(z4) ∧ :ARG1(z4, z5) ∧ invest-01(z5) ∧ :ARG1(z5, z6) ∧ amount(z6) ∧ :mod(z6, z7) ∧ certain(z7) ∧ :quant(z8, z6) ∧ resource(z8) ∧ :snt2(z0, z9) ∧ and(z9) ∧ :op1(z9, z10) ∧ increase-01(z10) ∧ :ARG1(z10, z11) ∧ value-01(z11) ∧ :ARG1(z11, z12) ∧ it(z12) ∧ :op2(z9, z13) ∧ provide-01(z13) ∧ :ARG1(z13, z14) ∧ form(z14) ∧ :mod(z14, z15) ∧ output(z15) ∧ :mod(z14, z16) ∧ certain(z16) ∧ :ARG2(z13, z17) ∧ society(z17) ∧ :time(z13, z18) ∧ final(z18) ∧ :time(z9, z19) ∧ after(z19) ∧ :op1(z19, z20) ∧ series(z20) ∧ :consist(z21, z20) ∧ transform-01(z21) ∧ :ARG2(z21, z22) ∧ form(z22) ∧ :mod(z22, z23) ∧ various(z23) ∧ :snt3(z0, z24) ∧ go-01(z24) ∧ :ARG1(z24, z25) ∧ break-out(z25) ∧ :time(z24, z26) ∧ after(z26) ∧ :op1(z26, z27) ∧ start-01(z27) ∧ :ARG1(z27, z28) ∧ work-01(z28)


In Sweden, known as the model of a high-welfare country, the benefits of non-working people are almost the same as their wages, and they do not have to pay taxes. Generous sick pay means that workers can get 90% of their wages even if they are sick. Although the Swedes are the healthiest citizens in Europe, the average annual sick leave for employees is no less than 50 days, accounting for almost one-fifth of the working time of the year.

Question: Which of the following statements does not fit the context?

Choices:
- The welfare system of some countries represented by Sweden needs to be reformed.
- The welfare system is not a system conducive to promoting social progress.
- The welfare system has become a heavy burden on the governments of some European countries.
- The pursuit of fairness will affect social development to some extent.

(z0 / multi-sentence
    :snt1 (z1 / and
              :op1 (z2 / same-01
                       :ARG1 (z3 / benefit-01
                                 :ARG1 (z4 / person
                                           :ARG0-of (z5 / work-01
                                                        :polarity -)))
                       :ARG2 (z6 / wage
                                 :poss z4)
                       :mod (z7 / almost))
              :op2 (z8 / obligate-01
                       :polarity -
                       :ARG1 z4
                       :ARG2 (z9 / pay-01
                                 :ARG0 z4
                                 :ARG3 (z10 / tax)))
              :location (z11 / country
                             :wiki "Sweden"
                             :name (z12 / name
                                        :op1 "Sweden")
                             :ARG1-of (z13 / know-02
                                           :ARG2 (z14 / model-01
                                                      :ARG1 (z15 / country
                                                                 :mod (z16 / welfare
                                                                           :ARG1-of (z17 / high-02)))))))
    :snt2 (z18 / mean-01
               :ARG1 (z19 / pay-01
                          :ARG1-of (z20 / generous-01)
                          :mod (z21 / sick-05))
               :ARG2 (z22 / possible-01
                          :ARG1 (z23 / get-01
                                     :ARG0 (z24 / person
                                                :ARG0-of (z25 / work-01))
                                     :ARG1 (z26 / percentage-entity
                                                :value 90
                                                :ARG3-of (z27 / include-91
                                                              :ARG2 (z28 / wage
                                                                         :poss z24)))
                                     :concession (z29 / even-if
                                                      :op1 (z30 / sick-05
                                                                :ARG1 z24)))))
    :snt3 (z31 / have-concession-91
               :ARG1 (z32 / leave-05
                          :ARG0 (z33 / person
                                     :ARG1-of (z34 / employ-01))
                          :ARG1 (z35 / sick-05)
                          :ARG1-of (z36 / average-01
                                        :ARG2 (z37 / less-than
                                                   :op1 (z38 / temporal-quantity
                                                             :quant 50
                                                             :unit (z39 / day))))
                          :frequency (z40 / rate-entity-91
                                          :ARG2 (z41 / temporal-quantity
                                                     :quant 1
                                                     :unit (z42 / year)))
                          :ARG0-of (z43 / account-01
                                        :ARG1 (z44 / almost
                                                   :op1 (z45 / percentage-entity
                                                             :value "1/5"
                                                             :ARG3-of (z46 / include-91
                                                                           :ARG2 (z47 / time
                                                                                :time-of (z48 / work-01)
                                                                                :part-of (z49 / year)))))))
               :ARG2 (z50 / have-degree-91
                          :ARG1 (z51 / citizen
                                     :mod (z52 / country
                                               :wiki "Sweden"
                                               :name (z53 / name
                                                          :op1 "Sweden")))
                          :ARG2 (z54 / healthy)
                          :ARG3 (z55 / most)
                          :ARG5 (z56 / citizen
                                     :location (z57 / continent
                                                    :wiki "Europe"
                                                    :name (z58 / name
                                                               :op1 "Europe")))))
    :snt4 (z59 / rate-entity-91
               :ARG1 (z60 / leave-05
                          :ARG1 (z61 / sick-05)
                          :ARG2 (z62 / temporal-quantity
                                     :quant 1
                                     :unit (z63 / year))
                          :ARG1-of (z64 / average-04))
               :ARG2 (z65 / less-than
                          :op1 (z66 / temporal-quantity
                                    :quant 50
                                    :unit (z67 / day)))
               :ARG0-of (z68 / account-01
                             :ARG1 (z69 / time
                                        :part-of z49
                                        :ARG1-of (z70 / include-91
                                                      :ARG2 (z71 / time
                                                                 :time-of (z72 / work-01))
                                                      :ARG3 (z73 / almost
                                                                 :op1 "1/5")))))
    :snt5 (z74 / have-degree-91
               :ARG1 (z75 / citizen
                          :mod (z76 / country
                                    :wiki "Sweden"
                                    :name (z77 / name
                                               :op1 "Sweden")))
               :ARG2 (z78 / healthy)
               :ARG3 (z79 / most)
               :ARG5 (z80 / citizen
                          :location (z81 / continent
                                         :wiki "Europe"
                                         :name (z82 / name
                                                    :op1 "Europe")))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ and(z1) ∧ :op1(z1, z2) ∧ same-01(z2) ∧ :ARG1(z2, z3) ∧ benefit-01(z3) ∧ :ARG1(z3, z4) ∧ person(z4) ∧ ¬(:ARG0(z5, z4) ∧ work-01(z5)) ∧ :ARG2(z2, z6) ∧ wage(z6) ∧ :poss(z6, z4) ∧ :mod(z2, z7) ∧ almost(z7) ∧ ¬(:op2(z1, z8) ∧ obligate-01(z8) ∧ :ARG1(z8, z4) ∧ :ARG2(z8, z9) ∧ pay-01(z9) ∧ :ARG0(z9, z4) ∧ :ARG3(z9, z10) ∧ tax(z10)) ∧ :location(z1, z11) ∧ country(z11) ∧ :wiki(z11, "Sweden") ∧ :name(z11, z12) ∧ name(z12) ∧ :op1(z12, "Sweden") ∧ :ARG1(z13, z11) ∧ know-02(z13) ∧ :ARG2(z13, z14) ∧ model-01(z14) ∧ :ARG1(z14, z15) ∧ country(z15) ∧ :mod(z15, z16) ∧ welfare(z16) ∧ :ARG1(z17, z16) ∧ high-02(z17) ∧ :snt2(z0, z18) ∧ mean-01(z18) ∧ :ARG1(z18, z19) ∧ pay-01(z19) ∧ :ARG1(z20, z19) ∧ generous-01(z20) ∧ :mod(z19, z21) ∧ sick-05(z21) ∧ :ARG2(z18, z22) ∧ possible-01(z22) ∧ :ARG1(z22, z23) ∧ get-01(z23) ∧ :ARG0(z23, z24) ∧ person(z24) ∧ :ARG0(z25, z24) ∧ work-01(z25) ∧ :ARG1(z23, z26) ∧ percentage-entity(z26) ∧ :value(z26, 90) ∧ :ARG3(z27, z26) ∧ include-91(z27) ∧ :ARG2(z27, z28) ∧ wage(z28) ∧ :poss(z28, z24) ∧ :concession(z23, z29) ∧ even-if(z29) ∧ :op1(z29, z30) ∧ sick-05(z30) ∧ :ARG1(z30, z24) ∧ :snt3(z0, z31) ∧ have-concession-91(z31) ∧ :ARG1(z31, z32) ∧ leave-05(z32) ∧ :ARG0(z32, z33) ∧ person(z33) ∧ :ARG1(z34, z33) ∧ employ-01(z34) ∧ :ARG1(z32, z35) ∧ sick-05(z35) ∧ :ARG1(z36, z32) ∧ average-01(z36) ∧ :ARG2(z36, z37) ∧ less-than(z37) ∧ :op1(z37, z38) ∧ temporal-quantity(z38) ∧ :quant(z38, 50) ∧ :unit(z38, z39) ∧ day(z39) ∧ :frequency(z32, z40) ∧ rate-entity-91(z40) ∧ :ARG2(z40, z41) ∧ temporal-quantity(z41) ∧ :quant(z41, 1) ∧ :unit(z41, z42) ∧ year(z42) ∧ :ARG0(z43, z32) ∧ account-01(z43) ∧ :ARG1(z43, z44) ∧ almost(z44) ∧ :op1(z44, z45) ∧ percentage-entity(z45) ∧ :value(z45, "1/5") ∧ :ARG3(z46, z45) ∧ include-91(z46) ∧ :ARG2(z46, z47) ∧ time(z47) ∧ :time(z48, z47) ∧ work-01(z48) ∧ :part(z49, z47) ∧ year(z49) ∧ :ARG2(z31, z50) ∧ have-degree-91(z50) ∧ :ARG1(z50, z51) ∧ citizen(z51) ∧ :mod(z51, z52) ∧ country(z52) ∧ :wiki(z52, "Sweden") ∧ :name(z52, z53) ∧ name(z53) ∧ :op1(z53, "Sweden") ∧ :ARG2(z50, z54) ∧ healthy(z54) ∧ :ARG3(z50, z55) ∧ most(z55) ∧ :ARG5(z50, z56) ∧ citizen(z56) ∧ :location(z56, z57) ∧ continent(z57) ∧ :wiki(z57, "Europe") ∧ :name(z57, z58) ∧ name(z58) ∧ :op1(z58, "Europe") ∧ :snt4(z0, z59) ∧ rate-entity-91(z59) ∧ :ARG1(z59, z60) ∧ leave-05(z60) ∧ :ARG1(z60, z61) ∧ sick-05(z61) ∧ :ARG2(z60, z62) ∧ temporal-quantity(z62) ∧ :quant(z62, 1) ∧ :unit(z62, z63) ∧ year(z63) ∧ :ARG1(z64, z60) ∧ average-04(z64) ∧ :ARG2(z59, z65) ∧ less-than(z65) ∧ :op1(z65, z66) ∧ temporal-quantity(z66) ∧ :quant(z66, 50) ∧ :unit(z66, z67) ∧ day(z67) ∧ :ARG0(z68, z59) ∧ account-01(z68) ∧ :ARG1(z68, z69) ∧ time(z69) ∧ :part(z49, z69) ∧ :ARG1(z70, z69) ∧ include-91(z70) ∧ :ARG2(z70, z71) ∧ time(z71) ∧ :time(z72, z71) ∧ work-01(z72) ∧ :ARG3(z70, z73) ∧ almost(z73) ∧ :op1(z73, "1/5") ∧ :snt5(z0, z74) ∧ have-degree-91(z74) ∧ :ARG1(z74, z75) ∧ citizen(z75) ∧ :mod(z75, z76) ∧ country(z76) ∧ :wiki(z76, "Sweden") ∧ :name(z76, z77) ∧ name(z77) ∧ :op1(z77, "Sweden") ∧ :ARG2(z74, z78) ∧ healthy(z78) ∧ :ARG3(z74, z79) ∧ most(z79) ∧ :ARG5(z74, z80) ∧ citizen(z80) ∧ :location(z80, z81) ∧ continent(z81) ∧ :wiki(z81, "Europe") ∧ :name(z81, z82) ∧ name(z82) ∧ :op1(z82, "Europe")


Leibniz was a great philosopher in the 17th century. He published his calculus research results before Newton. But at that time Newton published his personal notes, indicating that he has used the principle of calculus at least 10 years before Leibniz published his results. Newton also said that shortly before Leibniz published his results, he talked about his thoughts on calculus in a letter to Leibniz. However, the research afterwards showed that in Newton's letter, the few lines about calculus hardly involve any important aspects of this theory. Therefore, it can be concluded that Leibniz and Newton independently published calculus.

Question: Which of the following must be assumed in the above argument?

Choices:
- Leibniz's mathematics talent is no less than Newton's
- Leibniz and Newton are honest people
- There is no a third person independently invented calculus no later than Leibniz and Newton
- Neither Leibniz nor Newton got the key details about calculus from the third channel

(z0 / multi-sentence
    :snt1 (z1 / philosopher
              :mod (z2 / great)
              :time (z3 / date-entity
                        :century 17)
              :domain (z4 / person
                          :wiki "Blaise_Pascal"
                          :name (z5 / name
                                    :op1 "Leibniz"))
              :time (z6 / date-entity
                        :century 17))
    :snt2 (z7 / multi-sentence
              :snt1 (z8 / publish-01
                        :ARG0 (z9 / person
                                  :wiki "Blaise_Pascal"
                                  :name (z10 / name
                                             :op1 "Leibniz"))
                        :ARG1 (z11 / thing
                                   :ARG2-of (z12 / result-01
                                                 :ARG1 (z13 / research-01
                                                            :ARG0 z9
                                                            :ARG1 (z14 / calculus))))
                        :time (z15 / before
                                   :op1 (z16 / publish-01
                                             :ARG0 (z17 / person
                                                        :wiki "Newton"
                                                        :name (z18 / name
                                                                   :op1 "Newton"))
                                             :ARG1 z11)))
              :snt3 (z19 / contrast-01
                         :ARG2 (z20 / publish-01
                                    :ARG0 (z21 / person
                                               :wiki "Newton"
                                               :name (z22 / name
                                                          :op1 "Newton"))
                                    :ARG1 (z23 / note
                                               :ARG1-of (z24 / personal-02
                                                             :ARG2 z21))
                                    :time (z25 / time
                                               :mod (z26 / that))
                                    :ARG0-of (z27 / indicate-01
                                                  :ARG1 (z28 / use-01
                                                             :ARG0 z17
                                                             :ARG1 (z29 / principle
                                                                        :mod (z30 / calculus))
                                                             :time (z31 / before
                                                                        :op1 (z32 / publish-01
                                                                                :ARG0 z4
                                                                                :ARG1 (z33 / thing
                                                                                :ARG2-of (z34 / result-01
                                                                                :ARG1 z30)))
                                                                        :quant (z35 / at-least
                                                                                :op1 (z36 / temporal-quantity
                                                                                :quant 10
                                                                                :unit (z37 / year))))))))
              :snt4 (z38 / say-01
                         :ARG0 (z39 / person
                                    :wiki "Thomas_Newton"
                                    :name (z40 / name
                                               :op1 "Newton"))
                         :ARG1 (z41 / talk-01
                                    :ARG0 z39
                                    :ARG1 (z42 / think-01
                                               :ARG0 z39
                                               :ARG1 (z43 / calculus))
                                    :medium (z44 / letter
                                                 :ARG1-of (z45 / write-01
                                                               :ARG0 z39
                                                               :ARG2 z4))
                                    :time (z46 / before
                                               :op1 (z47 / publish-01
                                                         :ARG0 (z48 / person
                                                                    :wiki "Blaise_Pascal"
                                                                    :name (z49 / name
                                                                               :op1 "Leibniz"))
                                                         :ARG1 (z50 / thing
                                                                    :ARG2-of (z51 / result-01
                                                                                :ARG1 (z52 / mathematics))))
                                               :ARG1-of (z53 / short-07)))
                         :mod (z54 / also))
              :snt5 (z55 / contrast-01
                         :ARG1 (z56 / show-01
                                    :ARG0 (z57 / research-01
                                               :time (z58 / afterwards))
                                    :ARG1 (z59 / involve-01
                                               :ARG0 (z60 / line
                                                          :quant (z61 / few)
                                                          :topic (z62 / calculus)
                                                          :location (z63 / letter
                                                                         :poss (z64 / person
                                                                                :wiki "Newton"
                                                                                :name (z65 / name
                                                                                :op1 "Newton"))))
                                               :ARG1 (z66 / aspect
                                                          :ARG1-of (z67 / important-01)
                                                          :mod (z68 / any)
                                                          :part-of (z69 / theory
                                                                        :mod (z70 / this)))
                                               :degree (z71 / hardly)))
                         :ARG2 (z72 / research-01
                                    :time (z73 / afterwards)))
              :snt6 (z74 / cause-01
                         :ARG1 (z75 / possible-01
                                    :ARG1 (z76 / conclude-01
                                               :ARG1 (z77 / publish-01
                                                          :ARG0 (z78 / and
                                                                     :op1 (z79 / person
                                                                               :wiki "Blaise_Pascal"
                                                                               :name (z80 / name
                                                                                :op1 "Leibniz"))
                                                                     :op2 z17)
                                                          :ARG1 (z81 / thing
                                                                     :ARG2-of (z82 / result-01
                                                                                :ARG1 z39))
                                                          :manner (z83 / independent)))))
              :snt7 (z84 / contrast-01
                         :ARG2 (z85 / publish-01
                                    :ARG0 (z86 / person
                                               :wiki "Newton"
                                               :name (z87 / name
                                                          :op1 "Newton"))
                                    :ARG1 (z88 / note
                                               :poss z86
                                               :ARG1-of (z89 / personal-02
                                                             :ARG2 z86))
                                    :time (z90 / time
                                               :mod (z91 / that))))
              :snt8 (z92 / have-concession-91
                         :ARG1 (z1000 / cause-01
                                      :ARG1 (z1001 / possible-01
                                                   :ARG1 (z93 / conclude-01
                                                              :ARG1 (z94 / publish-01
                                                                         :ARG0 (z95 / and
                                                                                :op1 (z96 / person
                                                                                :wiki "Blaise_Pascal"
                                                                                :name (z97 / name
                                                                                :op1 "Leibniz"))
                                                                                :op2 z17)
                                                                         :ARG1 (z98 / thing
                                                                                :ARG2-of (z99 / result-01
                                                                                :ARG1 z69))))))))
    :ARG0 (z101 / person
                :wiki "Thomas_Newton"
                :name (z102 / name
                            :op1 "Newton"))
    :ARG1 (z103 / talk-01
                :ARG0 z101
                :ARG1 (z1002 / think-01
                             :ARG0 z101
                             :ARG1 (z1003 / thing
                                          :ARG1-of (z1004 / think-01
                                                          :ARG0 z101)))
                :medium (z1005 / letter))
    :time (z1006 / before
                 :op1 (z1007 / publish-01
                             :ARG0 z96
                             :ARG1 (z1008 / thing
                                          :ARG2-of (z1009 / result-01
                                                          :ARG1 (z1010 / mathematics))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ philosopher(z1) ∧ :mod(z1, z2) ∧ great(z2) ∧ :time(z1, z3) ∧ date-entity(z3) ∧ :century(z3, 17) ∧ :domain(z1, z4) ∧ person(z4) ∧ :wiki(z4, "Blaise_Pascal") ∧ :name(z4, z5) ∧ name(z5) ∧ :op1(z5, "Leibniz") ∧ :time(z1, z6) ∧ date-entity(z6) ∧ :century(z6, 17) ∧ :snt2(z0, z7) ∧ multi-sentence(z7) ∧ :snt1(z7, z8) ∧ publish-01(z8) ∧ :ARG0(z8, z9) ∧ person(z9) ∧ :wiki(z9, "Blaise_Pascal") ∧ :name(z9, z10) ∧ name(z10) ∧ :op1(z10, "Leibniz") ∧ :ARG1(z8, z11) ∧ thing(z11) ∧ :ARG2(z12, z11) ∧ result-01(z12) ∧ :ARG1(z12, z13) ∧ research-01(z13) ∧ :ARG0(z13, z9) ∧ :ARG1(z13, z14) ∧ calculus(z14) ∧ :time(z8, z15) ∧ before(z15) ∧ :op1(z15, z16) ∧ publish-01(z16) ∧ :ARG0(z16, z17) ∧ person(z17) ∧ :wiki(z17, "Newton") ∧ :name(z17, z18) ∧ name(z18) ∧ :op1(z18, "Newton") ∧ :ARG1(z16, z11) ∧ :snt3(z7, z19) ∧ contrast-01(z19) ∧ :ARG2(z19, z20) ∧ publish-01(z20) ∧ :ARG0(z20, z21) ∧ person(z21) ∧ :wiki(z21, "Newton") ∧ :name(z21, z22) ∧ name(z22) ∧ :op1(z22, "Newton") ∧ :ARG1(z20, z23) ∧ note(z23) ∧ :ARG1(z24, z23) ∧ personal-02(z24) ∧ :ARG2(z24, z21) ∧ :time(z20, z25) ∧ time(z25) ∧ :mod(z25, z26) ∧ that(z26) ∧ :ARG0(z27, z20) ∧ indicate-01(z27) ∧ :ARG1(z27, z28) ∧ use-01(z28) ∧ :ARG0(z28, z17) ∧ :ARG1(z28, z29) ∧ principle(z29) ∧ :mod(z29, z30) ∧ calculus(z30) ∧ :time(z28, z31) ∧ before(z31) ∧ :op1(z31, z32) ∧ publish-01(z32) ∧ :ARG0(z32, z4) ∧ :ARG1(z32, z33) ∧ thing(z33) ∧ :ARG2(z34, z33) ∧ result-01(z34) ∧ :ARG1(z34, z30) ∧ :quant(z31, z35) ∧ at-least(z35) ∧ :op1(z35, z36) ∧ temporal-quantity(z36) ∧ :quant(z36, 10) ∧ :unit(z36, z37) ∧ year(z37) ∧ :snt4(z7, z38) ∧ say-01(z38) ∧ :ARG0(z38, z39) ∧ person(z39) ∧ :wiki(z39, "Thomas_Newton") ∧ :name(z39, z40) ∧ name(z40) ∧ :op1(z40, "Newton") ∧ :ARG1(z38, z41) ∧ talk-01(z41) ∧ :ARG0(z41, z39) ∧ :ARG1(z41, z42) ∧ think-01(z42) ∧ :ARG0(z42, z39) ∧ :ARG1(z42, z43) ∧ calculus(z43) ∧ :medium(z41, z44) ∧ letter(z44) ∧ :ARG1(z45, z44) ∧ write-01(z45) ∧ :ARG0(z45, z39) ∧ :ARG2(z45, z4) ∧ :time(z41, z46) ∧ before(z46) ∧ :op1(z46, z47) ∧ publish-01(z47) ∧ :ARG0(z47, z48) ∧ person(z48) ∧ :wiki(z48, "Blaise_Pascal") ∧ :name(z48, z49) ∧ name(z49) ∧ :op1(z49, "Leibniz") ∧ :ARG1(z47, z50) ∧ thing(z50) ∧ :ARG2(z51, z50) ∧ result-01(z51) ∧ :ARG1(z51, z52) ∧ mathematics(z52) ∧ :ARG1(z53, z46) ∧ short-07(z53) ∧ :mod(z38, z54) ∧ also(z54) ∧ :snt5(z7, z55) ∧ contrast-01(z55) ∧ :ARG1(z55, z56) ∧ show-01(z56) ∧ :ARG0(z56, z57) ∧ research-01(z57) ∧ :time(z57, z58) ∧ afterwards(z58) ∧ :ARG1(z56, z59) ∧ involve-01(z59) ∧ :ARG0(z59, z60) ∧ line(z60) ∧ :quant(z60, z61) ∧ few(z61) ∧ :topic(z60, z62) ∧ calculus(z62) ∧ :location(z60, z63) ∧ letter(z63) ∧ :poss(z63, z64) ∧ person(z64) ∧ :wiki(z64, "Newton") ∧ :name(z64, z65) ∧ name(z65) ∧ :op1(z65, "Newton") ∧ :ARG1(z59, z66) ∧ aspect(z66) ∧ :ARG1(z67, z66) ∧ important-01(z67) ∧ :mod(z66, z68) ∧ any(z68) ∧ :part(z69, z66) ∧ theory(z69) ∧ :mod(z69, z70) ∧ this(z70) ∧ :degree(z59, z71) ∧ hardly(z71) ∧ :ARG2(z55, z72) ∧ research-01(z72) ∧ :time(z72, z73) ∧ afterwards(z73) ∧ :snt6(z7, z74) ∧ cause-01(z74) ∧ :ARG1(z74, z75) ∧ possible-01(z75) ∧ :ARG1(z75, z76) ∧ conclude-01(z76) ∧ :ARG1(z76, z77) ∧ publish-01(z77) ∧ :ARG0(z77, z78) ∧ and(z78) ∧ :op1(z78, z79) ∧ person(z79) ∧ :wiki(z79, "Blaise_Pascal") ∧ :name(z79, z80) ∧ name(z80) ∧ :op1(z80, "Leibniz") ∧ :op2(z78, z17) ∧ :ARG1(z77, z81) ∧ thing(z81) ∧ :ARG2(z82, z81) ∧ result-01(z82) ∧ :ARG1(z82, z39) ∧ :manner(z77, z83) ∧ independent(z83) ∧ :snt7(z7, z84) ∧ contrast-01(z84) ∧ :ARG2(z84, z85) ∧ publish-01(z85) ∧ :ARG0(z85, z86) ∧ person(z86) ∧ :wiki(z86, "Newton") ∧ :name(z86, z87) ∧ name(z87) ∧ :op1(z87, "Newton") ∧ :ARG1(z85, z88) ∧ note(z88) ∧ :poss(z88, z86) ∧ :ARG1(z89, z88) ∧ personal-02(z89) ∧ :ARG2(z89, z86) ∧ :time(z85, z90) ∧ time(z90) ∧ :mod(z90, z91) ∧ that(z91) ∧ :snt8(z7, z92) ∧ have-concession-91(z92) ∧ :ARG1(z92, z1000) ∧ cause-01(z1000) ∧ :ARG1(z1000, z1001) ∧ possible-01(z1001) ∧ :ARG1(z1001, z93) ∧ conclude-01(z93) ∧ :ARG1(z93, z94) ∧ publish-01(z94) ∧ :ARG0(z94, z95) ∧ and(z95) ∧ :op1(z95, z96) ∧ person(z96) ∧ :wiki(z96, "Blaise_Pascal") ∧ :name(z96, z97) ∧ name(z97) ∧ :op1(z97, "Leibniz") ∧ :op2(z95, z17) ∧ :ARG1(z94, z98) ∧ thing(z98) ∧ :ARG2(z99, z98) ∧ result-01(z99) ∧ :ARG1(z99, z69) ∧ :ARG0(z0, z101) ∧ person(z101) ∧ :wiki(z101, "Thomas_Newton") ∧ :name(z101, z102) ∧ name(z102) ∧ :op1(z102, "Newton") ∧ :ARG1(z0, z103) ∧ talk-01(z103) ∧ :ARG0(z103, z101) ∧ :ARG1(z103, z1002) ∧ think-01(z1002) ∧ :ARG0(z1002, z101) ∧ :ARG1(z1002, z1003) ∧ thing(z1003) ∧ :ARG1(z1004, z1003) ∧ think-01(z1004) ∧ :ARG0(z1004, z101) ∧ :medium(z103, z1005) ∧ letter(z1005) ∧ :time(z0, z1006) ∧ before(z1006) ∧ :op1(z1006, z1007) ∧ publish-01(z1007) ∧ :ARG0(z1007, z96) ∧ :ARG1(z1007, z1008) ∧ thing(z1008) ∧ :ARG2(z1009, z1008) ∧ result-01(z1009) ∧ :ARG1(z1009, z1010) ∧ mathematics(z1010)


The number of fat grams in a cup of butter is the same as in an equal amount of margarine. Ttherefore, any baked good made with a given amount of butter is no higher in fat than a baked good made with an equal amount of margarine.

Question: The reasoning in the argument is flawed because the argument

Choices:
- fails to realize that butter or margarine might not be the only fat-containing ingredient in a baked good
- fails to consider that baked goods differ in the amount of protein and carbohydrates they contain
- mistakenly believes that all baked goods contain the same amount of butter or margarine
- tries to differentiate between two type of ingredients that are in fact too similar to be distinguishable

(z0 / multi-sentence
    :snt1 (z1 / same-01
              :ARG1 (z2 / number
                        :quant-of (z3 / gram
                                      :consist-of (z4 / fat))
                        :prep-in (z5 / butter
                                     :quant (z6 / volume-quantity
                                                :quant 1
                                                :unit (z7 / cup))))
              :ARG2 (z8 / number
                        :quant-of (z9 / fat)
                        :prep-in (z10 / margarine
                                      :quant (z11 / amount
                                                  :ARG1-of (z12 / equal-01)))))
    :snt2 (z13 / cause-01
               :ARG1 (z14 / have-degree-91
                          :polarity -
                          :ARG1 (z15 / good
                                     :ARG1-of (z16 / bake-01)
                                     :mod (z17 / any)
                                     :ARG1-of (z18 / make-01
                                                   :ARG2 (z19 / amount
                                                              :quant-of (z20 / butter)
                                                              :ARG1-of (z21 / give-01))))
                          :ARG2 (z22 / high-02
                                     :ARG1 z15
                                     :topic (z23 / fat))
                          :ARG3 (z24 / more)
                          :ARG4 (z25 / good
                                     :ARG1-of (z26 / bake-01)
                                     :ARG1-of (z27 / make-01
                                                   :ARG2 (z28 / amount
                                                              :quant-of (z29 / margarine)
                                                              :ARG1-of (z30 / equal-01))))))
    :snt3 (z31 / cause-01
               :ARG1 (z32 / have-degree-91
                          :polarity -
                          :ARG1 (z33 / go-01
                                     :ARG1 (z34 / fat))
                          :ARG2 (z35 / high-02
                                     :ARG1 z34)
                          :ARG3 (z36 / more)
                          :ARG4 (z37 / go-01
                                     :ARG1 (z38 / fat)
                                     :time (z39 / make-01
                                                :ARG1 (z40 / good
                                                           :ARG1-of (z41 / bake-01))
                                                :ARG2 (z42 / amount
                                                           :quant-of (z43 / margarine)
                                                           :ARG1-of (z44 / equal-01)))))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ same-01(z1) ∧ :ARG1(z1, z2) ∧ number(z2) ∧ :quant(z3, z2) ∧ gram(z3) ∧ :consist(z4, z3) ∧ fat(z4) ∧ :prep-in(z2, z5) ∧ butter(z5) ∧ :quant(z5, z6) ∧ volume-quantity(z6) ∧ :quant(z6, 1) ∧ :unit(z6, z7) ∧ cup(z7) ∧ :ARG2(z1, z8) ∧ number(z8) ∧ :quant(z9, z8) ∧ fat(z9) ∧ :prep-in(z8, z10) ∧ margarine(z10) ∧ :quant(z10, z11) ∧ amount(z11) ∧ :ARG1(z12, z11) ∧ equal-01(z12) ∧ :snt2(z0, z13) ∧ cause-01(z13) ∧ ¬(:ARG1(z13, z14) ∧ have-degree-91(z14) ∧ :ARG1(z14, z15) ∧ good(z15) ∧ :ARG1(z16, z15) ∧ bake-01(z16) ∧ :mod(z15, z17) ∧ any(z17) ∧ :ARG1(z18, z15) ∧ make-01(z18) ∧ :ARG2(z18, z19) ∧ amount(z19) ∧ :quant(z20, z19) ∧ butter(z20) ∧ :ARG1(z21, z19) ∧ give-01(z21) ∧ :ARG2(z14, z22) ∧ high-02(z22) ∧ :ARG1(z22, z15) ∧ :topic(z22, z23) ∧ fat(z23) ∧ :ARG3(z14, z24) ∧ more(z24) ∧ :ARG4(z14, z25) ∧ good(z25) ∧ :ARG1(z26, z25) ∧ bake-01(z26) ∧ :ARG1(z27, z25) ∧ make-01(z27) ∧ :ARG2(z27, z28) ∧ amount(z28) ∧ :quant(z29, z28) ∧ margarine(z29) ∧ :ARG1(z30, z28) ∧ equal-01(z30)) ∧ :snt3(z0, z31) ∧ cause-01(z31) ∧ ¬(:ARG1(z31, z32) ∧ have-degree-91(z32) ∧ :ARG1(z32, z33) ∧ go-01(z33) ∧ :ARG1(z33, z34) ∧ fat(z34) ∧ :ARG2(z32, z35) ∧ high-02(z35) ∧ :ARG1(z35, z34) ∧ :ARG3(z32, z36) ∧ more(z36) ∧ :ARG4(z32, z37) ∧ go-01(z37) ∧ :ARG1(z37, z38) ∧ fat(z38) ∧ :time(z37, z39) ∧ make-01(z39) ∧ :ARG1(z39, z40) ∧ good(z40) ∧ :ARG1(z41, z40) ∧ bake-01(z41) ∧ :ARG2(z39, z42) ∧ amount(z42) ∧ :quant(z43, z42) ∧ margarine(z43) ∧ :ARG1(z44, z42) ∧ equal-01(z44))


In a university, graduates majoring in mathematics, physics, chemistry, management, secretarial science and law need to be employed. At present, Fengyun, Jardine and Hongyu come to the school for recruitment. It is known that each company only recruits graduates from the above two or three majors, and the following conditions need to be met: (1) companies that recruit chemistry majors also recruit mathematics majors; (2) Jardines recruit majors. Fengyun company also recruits; (3) only one company recruits secretarial majors, and the company does not recruit physics majors. (4) if Jardine recruits a management major, then it also recruits a secretarial major; (5) if Hongyu does not recruit a secretarial major, then Jardine recruits a secretarial major.

Question: If there is only one company recruiting a physics major, which of the following can be derived?

Choices:
- Hongyu Company recruits maths major
- Jardine recruits management majors
- Jardine recruits physics majors
- Fengyun Company recruits physics majors

(z0 / multi-sentence
    :snt1 (z1 / need-01
              :ARG1 (z2 / employ-01
                        :ARG1 (z3 / person
                                  :ARG1-of (z4 / graduate-01
                                               :ARG2 (z5 / or
                                                         :op1 (z6 / mathematics)
                                                         :op2 (z7 / physics)
                                                         :op3 (z8 / chemistry)
                                                         :op4 (z9 / manage-01)
                                                         :op5 (z10 / science
                                                                   :mod (z11 / secretarial))
                                                         :op6 (z12 / law))))
                        :location (z13 / university)))
    :snt2 (z14 / come-01
               :ARG1 (z15 / and
                          :op1 (z16 / company
                                    :wiki "FGE_Group"
                                    :name (z17 / name
                                               :op1 "Fengyun"))
                          :op2 (z18 / company
                                    :wiki "BP"
                                    :name (z19 / name
                                               :op1 "Jardine"))
                          :op3 (z20 / company
                                    :wiki -
                                    :name (z21 / name
                                               :op1 "Hongyu")))
               :ARG4 (z22 / school)
               :purpose (z23 / recruit-01
                             :ARG1 z15)
               :time (z24 / present))
    :snt3 (z25 / know-01
               :ARG1 (z26 / and
                          :op1 (z27 / recruit-01
                                    :ARG0 (z28 / company
                                               :mod (z29 / each))
                                    :ARG1 (z30 / person
                                               :ARG1-of (z31 / graduate-01
                                                             :ARG2 (z32 / or
                                                                        :op1 (z33 / thing
                                                                                :quant 2
                                                                                :ARG1-of (z34 / include-91
                                                                                :ARG2 (z35 / thing
                                                                                :quant 3
                                                                                :ARG1-of (z36 / major-02)
                                                                                :location (z37 / above))))
                                                                        :op2 (z38 / thing
                                                                                :quant 2
                                                                                :ARG1-of (z39 / include-91
                                                                                :ARG2 z35)))))
                                    :mod (z40 / only))
                          :op2 (z41 / meet-01
                                    :ARG1 (z42 / condition
                                               :ARG1-of (z43 / follow-01)
                                               :example (z44 / and
                                                             :op1 (z45 / recruit-01
                                                                       :li 1
                                                                       :ARG0 (z46 / company
                                                                                :ARG0-of (z47 / recruit-01
                                                                                :ARG1 (z48 / person
                                                                                :ARG0-of (z49 / have-org-role-91
                                                                                :ARG2 (z50 / major)))))
                                                                       :ARG1 (z51 / person
                                                                                :ARG0-of (z52 / have-org-role-91
                                                                                :ARG2 (z53 / major)))
                                                                       :mod (z54 / also))
                                                             :op2 (z55 / recruit-01
                                                                       :li 2
                                                                       :ARG0 (z56 / company
                                                                                :wiki "BP"
                                                                                :name (z57 / name
                                                                                :op1 "Jardines"))
                                                                       :ARG1 (z58 / person
                                                                                :ARG0-of (z59 / have-org-role-91
                                                                                :ARG2 (z60 / major))))
                                                             :op3 (z61 / recruit-01
                                                                       :li 3
                                                                       :ARG0 (z62 / company
                                                                                :mod (z63 / only))
                                                                       :ARG1 (z64 / person
                                                                                :ARG0-of (z65 / have-org-role-91
                                                                                :ARG2 (z66 / major
                                                                                :mod (z67 / secretarial)))))
                                                             :op4 (z68 / recruit-01
                                                                       :li 4
                                                                       :ARG0 (z69 / company
                                                                                :mod (z70 / only))
                                                                       :ARG1 (z71 / person
                                                                                :ARG0-of (z72 / have-org-role-91
                                                                                :ARG2 (z73 / major
                                                                                :mod (z74 / secretarial)))))
                                                             :op5 (z75 / recruit-01
                                                                       :polarity -
                                                                       :ARG0 z69
                                                                       :ARG1 (z76 / person
                                                                                :ARG0-of (z77 / have-org-role-91
                                                                                :ARG2 (z78 / major
                                                                                :mod (z79 / physics)))))
                                                             :op6 (z80 / recruit-01
                                                                       :li 5
                                                                       :ARG0 (z81 / company
                                                                                :wiki "BP"
                                                                                :name (z82 / name
                                                                                :op1 "Jardine"))
                                                                       :ARG1 (z83 / person
                                                                                :ARG0-of (z84 / have-org-role-91
                                                                                :ARG2 (z85 / major)))
                                                                       :mod (z86 / also))
                                                             :op7 (z87 / recruit-01
                                                                       :li 6
                                                                       :ARG0 z81
                                                                       :ARG1 (z88 / person
                                                                                :ARG0-of (z89 / have-org-role-91
                                                                                :ARG2 (z90 / major
                                                                                :mod (z91 / secretarial)))))
                                                             :op8 (z92 / recruit-01
                                                                       :ARG0 (z93 / company
                                                                                :wiki "BP"
                                                                                :name (z94 / name
                                                                                :op1 "Jardine"))
                                                                       :ARG1 (z95 / person
                                                                                :ARG0-of (z96 / have-org-role-91
                                                                                :ARG2 (z97 / major)))
                                                                       :mod (z98 / also))
                                                             :op9 (z1000 / recruit-01
                                                                         :ARG0 (z1001 / company
                                                                                :wiki "Fengyun"
                                                                                :name (z1002 / name
                                                                                :op1 "Fengyun"))
                                                                         :ARG1 (z1003 / person
                                                                                :ARG0-of (z1004 / study-01
                                                                                :ARG1 (z1005 / secretariat)))))
                                               :op10 (z1006 / recruit-01
                                                            :ARG0 (z1007 / company
                                                                         :wiki "BP"
                                                                         :name (z1008 / name
                                                                                :op1 "Hongyu"))
                                                            :ARG1 (z1009 / person
                                                                         :ARG0-of (z1010 / study-01
                                                                                :ARG1 (z1011 / secretariat)))
                                                            :mod (z1012 / also))
                                               :op11 (z1013 / need-01
                                                            :ARG1 (z1014 / meet-01
                                                                         :ARG1 (z1015 / condition
                                                                                :ARG1-of (z1016 / follow-01)))))
                                    :op12 (z1017 / need-01
                                                 :ARG1 (z1018 / meet-01
                                                              :ARG1 (z1019 / and
                                                                           :op1 (z1020 / include-91
                                                                                :li 1
                                                                                :ARG1 (z1021 / and
                                                                                :op1 (z1022 / company
                                                                                :ARG0-of (z1023 / recruit-01
                                                                                :ARG1 (z1024 / person
                                                                                :ARG0-of (z1025 / have-org-role-91
                                                                                :ARG1 (z1026 / religious-group
                                                                                :wiki "Chemistry"
                                                                                :name (z1027 / name
                                                                                :op1 "Chemistry"))
                                                                                :ARG2 (z1028 / major))))
                                                                                :op2 (z1029 / person
                                                                                :ARG0-of (z1030 / have-org-role-91
                                                                                :ARG1 (z1031 / religious-group
                                                                                :wiki "Chemistry"
                                                                                :name (z1032 / name
                                                                                :op1 "Chemistry"))
                                                                                :ARG2 (z99 / major))))))
                                                                           :op13 (z100 / need-01
                                                                                :ARG1 (z101 / employ-01
                                                                                :ARG1 (z102 / person
                                                                                :ARG1-of (z103 / major-01)))
                                                                                :prep-in (z104 / and
                                                                                :op1 (z105 / mathematics)
                                                                                :op2 (z1033 / science
                                                                                :mod (z1034 / secretarial))
                                                                                :op3 (z1035 / law)))))
                                                 :op14 (z1036 / come-01
                                                              :ARG1 (z1037 / and
                                                                           :op1 (z1038 / company
                                                                                :wiki "BP"
                                                                                :name (z1039 / name
                                                                                :op1 "Fengyun"))
                                                                           :op2 (z1040 / company
                                                                                :wiki "BP"
                                                                                :name (z1041 / name
                                                                                :op1 "BNP"))))
                                                 :ARG4 (z1042 / school))
                                    :time (z1043 / present))
                          :op15 (z1044 / come-01
                                       :ARG1 (z1045 / and
                                                    :op1 (z1046 / company
                                                                :wiki "BP"
                                                                :name (z1047 / name
                                                                             :op1 "BNP"))
                                                    :op2 (z1048 / company
                                                                :wiki "BP"
                                                                :name (z1049 / name
                                                                             :op1 "BNP"))
                                                    :op3 (z1050 / company
                                                                :wiki "Hongyu"
                                                                :name (z1051 / name
                                                                             :op1 "Hongyu")))
                                       :purpose (z1052 / recruit-01)))))

multi-sentence(z0) ∧ :snt1(z0, z1) ∧ need-01(z1) ∧ :ARG1(z1, z2) ∧ employ-01(z2) ∧ :ARG1(z2, z3) ∧ person(z3) ∧ :ARG1(z4, z3) ∧ graduate-01(z4) ∧ :ARG2(z4, z5) ∧ or(z5) ∧ :op1(z5, z6) ∧ mathematics(z6) ∧ :op2(z5, z7) ∧ physics(z7) ∧ :op3(z5, z8) ∧ chemistry(z8) ∧ :op4(z5, z9) ∧ manage-01(z9) ∧ :op5(z5, z10) ∧ science(z10) ∧ :mod(z10, z11) ∧ secretarial(z11) ∧ :op6(z5, z12) ∧ law(z12) ∧ :location(z2, z13) ∧ university(z13) ∧ :snt2(z0, z14) ∧ come-01(z14) ∧ :ARG1(z14, z15) ∧ and(z15) ∧ :op1(z15, z16) ∧ company(z16) ∧ :wiki(z16, "FGE_Group") ∧ :name(z16, z17) ∧ name(z17) ∧ :op1(z17, "Fengyun") ∧ :op2(z15, z18) ∧ company(z18) ∧ :wiki(z18, "BP") ∧ :name(z18, z19) ∧ name(z19) ∧ :op1(z19, "Jardine") ∧ :op3(z15, z20) ∧ company(z20) ∧ :wiki(z20, -) ∧ :name(z20, z21) ∧ name(z21) ∧ :op1(z21, "Hongyu") ∧ :ARG4(z14, z22) ∧ school(z22) ∧ :purpose(z14, z23) ∧ recruit-01(z23) ∧ :ARG1(z23, z15) ∧ :time(z14, z24) ∧ present(z24) ∧ :snt3(z0, z25) ∧ know-01(z25) ∧ :ARG1(z25, z26) ∧ and(z26) ∧ :op1(z26, z27) ∧ recruit-01(z27) ∧ :ARG0(z27, z28) ∧ company(z28) ∧ :mod(z28, z29) ∧ each(z29) ∧ :ARG1(z27, z30) ∧ person(z30) ∧ :ARG1(z31, z30) ∧ graduate-01(z31) ∧ :ARG2(z31, z32) ∧ or(z32) ∧ :op1(z32, z33) ∧ thing(z33) ∧ :quant(z33, 2) ∧ :ARG1(z34, z33) ∧ include-91(z34) ∧ :ARG2(z34, z35) ∧ thing(z35) ∧ :quant(z35, 3) ∧ :ARG1(z36, z35) ∧ major-02(z36) ∧ :location(z35, z37) ∧ above(z37) ∧ :op2(z32, z38) ∧ thing(z38) ∧ :quant(z38, 2) ∧ :ARG1(z39, z38) ∧ include-91(z39) ∧ :ARG2(z39, z35) ∧ :mod(z27, z40) ∧ only(z40) ∧ :op2(z26, z41) ∧ meet-01(z41) ∧ :ARG1(z41, z42) ∧ condition(z42) ∧ :ARG1(z43, z42) ∧ follow-01(z43) ∧ :example(z42, z44) ∧ and(z44) ∧ :op1(z44, z45) ∧ recruit-01(z45) ∧ :li(z45, 1) ∧ :ARG0(z45, z46) ∧ company(z46) ∧ :ARG0(z47, z46) ∧ recruit-01(z47) ∧ :ARG1(z47, z48) ∧ person(z48) ∧ :ARG0(z49, z48) ∧ have-org-role-91(z49) ∧ :ARG2(z49, z50) ∧ major(z50) ∧ :ARG1(z45, z51) ∧ person(z51) ∧ :ARG0(z52, z51) ∧ have-org-role-91(z52) ∧ :ARG2(z52, z53) ∧ major(z53) ∧ :mod(z45, z54) ∧ also(z54) ∧ :op2(z44, z55) ∧ recruit-01(z55) ∧ :li(z55, 2) ∧ :ARG0(z55, z56) ∧ company(z56) ∧ :wiki(z56, "BP") ∧ :name(z56, z57) ∧ name(z57) ∧ :op1(z57, "Jardines") ∧ :ARG1(z55, z58) ∧ person(z58) ∧ :ARG0(z59, z58) ∧ have-org-role-91(z59) ∧ :ARG2(z59, z60) ∧ major(z60) ∧ :op3(z44, z61) ∧ recruit-01(z61) ∧ :li(z61, 3) ∧ :ARG0(z61, z62) ∧ company(z62) ∧ :mod(z62, z63) ∧ only(z63) ∧ :ARG1(z61, z64) ∧ person(z64) ∧ :ARG0(z65, z64) ∧ have-org-role-91(z65) ∧ :ARG2(z65, z66) ∧ major(z66) ∧ :mod(z66, z67) ∧ secretarial(z67) ∧ :op4(z44, z68) ∧ recruit-01(z68) ∧ :li(z68, 4) ∧ :ARG0(z68, z69) ∧ company(z69) ∧ :mod(z69, z70) ∧ only(z70) ∧ :ARG1(z68, z71) ∧ person(z71) ∧ :ARG0(z72, z71) ∧ have-org-role-91(z72) ∧ :ARG2(z72, z73) ∧ major(z73) ∧ :mod(z73, z74) ∧ secretarial(z74) ∧ ¬(:op5(z44, z75) ∧ recruit-01(z75) ∧ :ARG0(z75, z69) ∧ :ARG1(z75, z76) ∧ person(z76) ∧ :ARG0(z77, z76) ∧ have-org-role-91(z77) ∧ :ARG2(z77, z78) ∧ major(z78) ∧ :mod(z78, z79) ∧ physics(z79)) ∧ :op6(z44, z80) ∧ recruit-01(z80) ∧ :li(z80, 5) ∧ :ARG0(z80, z81) ∧ company(z81) ∧ :wiki(z81, "BP") ∧ :name(z81, z82) ∧ name(z82) ∧ :op1(z82, "Jardine") ∧ :ARG1(z80, z83) ∧ person(z83) ∧ :ARG0(z84, z83) ∧ have-org-role-91(z84) ∧ :ARG2(z84, z85) ∧ major(z85) ∧ :mod(z80, z86) ∧ also(z86) ∧ :op7(z44, z87) ∧ recruit-01(z87) ∧ :li(z87, 6) ∧ :ARG0(z87, z81) ∧ :ARG1(z87, z88) ∧ person(z88) ∧ :ARG0(z89, z88) ∧ have-org-role-91(z89) ∧ :ARG2(z89, z90) ∧ major(z90) ∧ :mod(z90, z91) ∧ secretarial(z91) ∧ :op8(z44, z92) ∧ recruit-01(z92) ∧ :ARG0(z92, z93) ∧ company(z93) ∧ :wiki(z93, "BP") ∧ :name(z93, z94) ∧ name(z94) ∧ :op1(z94, "Jardine") ∧ :ARG1(z92, z95) ∧ person(z95) ∧ :ARG0(z96, z95) ∧ have-org-role-91(z96) ∧ :ARG2(z96, z97) ∧ major(z97) ∧ :mod(z92, z98) ∧ also(z98) ∧ :op9(z44, z1000) ∧ recruit-01(z1000) ∧ :ARG0(z1000, z1001) ∧ company(z1001) ∧ :wiki(z1001, "Fengyun") ∧ :name(z1001, z1002) ∧ name(z1002) ∧ :op1(z1002, "Fengyun") ∧ :ARG1(z1000, z1003) ∧ person(z1003) ∧ :ARG0(z1004, z1003) ∧ study-01(z1004) ∧ :ARG1(z1004, z1005) ∧ secretariat(z1005) ∧ :op10(z42, z1006) ∧ recruit-01(z1006) ∧ :ARG0(z1006, z1007) ∧ company(z1007) ∧ :wiki(z1007, "BP") ∧ :name(z1007, z1008) ∧ name(z1008) ∧ :op1(z1008, "Hongyu") ∧ :ARG1(z1006, z1009) ∧ person(z1009) ∧ :ARG0(z1010, z1009) ∧ study-01(z1010) ∧ :ARG1(z1010, z1011) ∧ secretariat(z1011) ∧ :mod(z1006, z1012) ∧ also(z1012) ∧ :op11(z42, z1013) ∧ need-01(z1013) ∧ :ARG1(z1013, z1014) ∧ meet-01(z1014) ∧ :ARG1(z1014, z1015) ∧ condition(z1015) ∧ :ARG1(z1016, z1015) ∧ follow-01(z1016) ∧ :op12(z41, z1017) ∧ need-01(z1017) ∧ :ARG1(z1017, z1018) ∧ meet-01(z1018) ∧ :ARG1(z1018, z1019) ∧ and(z1019) ∧ :op1(z1019, z1020) ∧ include-91(z1020) ∧ :li(z1020, 1) ∧ :ARG1(z1020, z1021) ∧ and(z1021) ∧ :op1(z1021, z1022) ∧ company(z1022) ∧ :ARG0(z1023, z1022) ∧ recruit-01(z1023) ∧ :ARG1(z1023, z1024) ∧ person(z1024) ∧ :ARG0(z1025, z1024) ∧ have-org-role-91(z1025) ∧ :ARG1(z1025, z1026) ∧ religious-group(z1026) ∧ :wiki(z1026, "Chemistry") ∧ :name(z1026, z1027) ∧ name(z1027) ∧ :op1(z1027, "Chemistry") ∧ :ARG2(z1025, z1028) ∧ major(z1028) ∧ :op2(z1022, z1029) ∧ person(z1029) ∧ :ARG0(z1030, z1029) ∧ have-org-role-91(z1030) ∧ :ARG1(z1030, z1031) ∧ religious-group(z1031) ∧ :wiki(z1031, "Chemistry") ∧ :name(z1031, z1032) ∧ name(z1032) ∧ :op1(z1032, "Chemistry") ∧ :ARG2(z1030, z99) ∧ major(z99) ∧ :op13(z1019, z100) ∧ need-01(z100) ∧ :ARG1(z100, z101) ∧ employ-01(z101) ∧ :ARG1(z101, z102) ∧ person(z102) ∧ :ARG1(z103, z102) ∧ major-01(z103) ∧ :prep-in(z100, z104) ∧ and(z104) ∧ :op1(z104, z105) ∧ mathematics(z105) ∧ :op2(z104, z1033) ∧ science(z1033) ∧ :mod(z1033, z1034) ∧ secretarial(z1034) ∧ :op3(z104, z1035) ∧ law(z1035) ∧ :op14(z1017, z1036) ∧ come-01(z1036) ∧ :ARG1(z1036, z1037) ∧ and(z1037) ∧ :op1(z1037, z1038) ∧ company(z1038) ∧ :wiki(z1038, "BP") ∧ :name(z1038, z1039) ∧ name(z1039) ∧ :op1(z1039, "Fengyun") ∧ :op2(z1037, z1040) ∧ company(z1040) ∧ :wiki(z1040, "BP") ∧ :name(z1040, z1041) ∧ name(z1041) ∧ :op1(z1041, "BNP") ∧ :ARG4(z1017, z1042) ∧ school(z1042) ∧ :time(z41, z1043) ∧ present(z1043) ∧ :op15(z26, z1044) ∧ come-01(z1044) ∧ :ARG1(z1044, z1045) ∧ and(z1045) ∧ :op1(z1045, z1046) ∧ company(z1046) ∧ :wiki(z1046, "BP") ∧ :name(z1046, z1047) ∧ name(z1047) ∧ :op1(z1047, "BNP") ∧ :op2(z1045, z1048) ∧ company(z1048) ∧ :wiki(z1048, "BP") ∧ :name(z1048, z1049) ∧ name(z1049) ∧ :op1(z1049, "BNP") ∧ :op3(z1045, z1050) ∧ company(z1050) ∧ :wiki(z1050, "Hongyu") ∧ :name(z1050, z1051) ∧ name(z1051) ∧ :op1(z1051, "Hongyu") ∧ :purpose(z1044, z1052) ∧ recruit-01(z1052)