WikiAbstract-SolarSystem-11.stog.amr.penman

# ::id WikiAbstract-SolarSystem-11
# ::snt The asteroid belt, which lies between the orbits of Mars and Jupiter, mostly contains objects composed, like the terrestrial planets, of rock and metal.
(c / contain-01
      :ARG0 (b / belt
            :mod (a / asteroid)
            :ARG1-of (l / lie-07
                  :ARG2 (b2 / between
                        :op1 (o / orbit-01
                              :ARG0 (p / planet
                                    :name (n / name
                                          :op1 "Mars")))
                        :op2 (o2 / orbit-01
                              :ARG0 (p2 / planet
                                    :name (n2 / name
                                          :op1 "Jupiter"))))))
      :ARG1 (o3 / object
            :ARG1-of (c2 / compose-01
                  :ARG2 (a2 / and
                        :op1 (r / rock)
                        :op2 (m / metal))
                  :ARG1-of (r2 / resemble-01
                        :ARG2 (p3 / planet
                              :mod (t / terrestrial)))))
      :mod (m2 / most))