Expressing mathematical calculations: equal-01 about amr-guidelines

[uhermjakob]

I really like your AMRs using equal-01 and sum-of and product-of.
Neither make-01 nor any other sense for make captures the meaning as well.
I'll probably add a special AMR Editor help page on "math" sentences.

[mgeorgescu]

Hi Ulf,

I was looking for a help page to send to the annotators as reference for math expressions but was not able to find anything on this topic, neither in the roles window, nor in the guidelines. Is there any other place where I should look?

If nothing has been added but this is a final decision, can you please add some help page when time allows?
We should also consider covering all basic math expressions, currently in use "sum-of" and "product-of". We would probably need "substation-of", "multiplication-of".

I also found an interesting sentence that might benefit from a "substation-of", however, if for sum-of and product-of the 2 operands are swappable, therefore using :op1 and :op2 is perfectly fine, for the subtraction, we would need to specify the "thing being subtracted" and the "thing being subtracted from". Using :ops seems insufficient, unless if properly supported by the help pages.

The alternative found is the following: use "subtract-01" (the frame has a "math" focus), but still this does not seem entirely accurate (as the m3 / monetary-quantity consists of a subtraction event while it should consist of/equal the subtracted amount).

PROXY_CNA_ENG_20040628_0015.17 Lee said that if the submarines are not built by Taiwan then the cost of the eight subs will be NT $ 100 billion less than the original plan of NT $ 400 billion .

(s / say-01
      :ARG0 (p / person :name (n / name :op1 "Lee"))
      :ARG1 (c / cost-01
            :ARG1 (s3 / submarine :quant 8)
            :ARG2 (m3 / monetary-quantity
                  :consist-of (s4 / subtract-01
                        :ARG1 (m / monetary-quantity :quant 100000000000
                              :unit (d / dollar
                                    :mod (c3 / country :name (n3 / name :op1 "Taiwan"))))
                        :ARG2 (m2 / monetary-quantity :quant 400000000000
                              :unit (d2 / dollar
                                    :mod (c5 / country :name (n4 / name :op1 "Taiwan")))
                              :ARG1-of (c4 / cost-01
                                    :ARG1 s3
                                    :ARG1-of (p2 / plan-01
                                          :mod (o / original))))))
            :condition (b / build-01 :polarity -
                  :ARG0 (c2 / country :name (n2 / name :op1 "Taiwan"))
                  :ARG1 (s2 / submarine))))

The following verbs have math-related frames that could be used (possibly as an alternative to the sum-of/product-of), however, all would need another role for "the result" of the computation.

subtract.01 - "mathematics"

ARG0: subtracter   Agent
ARG1: thing being subtracted   Theme
ARG2: thing being subtracted from   Source 

multiply.01 - "increase" (examples contain math sense)

ARG0: causer of increase, agent   Agent
ARG1: thing increasing   Patient, Theme
ARG2: amount increased by, EXT or MNR
ARG3: start point
ARG4: end point 

divide.01 - "mathematics"

ARG0: entity performing calculation   agent
ARG1: first operand   theme
ARG2: second operand, divided-by   theme1 

Except: sum.01 - "summarize". Maybe have another frame for the math sense?
Any feedback is much appreciated.

Thank you,
Madalina

[uhermjakob]

Hi Madalina, I think a help page for math-related issues is a good idea. I'll start one soon.
For now, I hesitate to include many new mathematical concepts. We have quantified comparatives before, e.g.
The symptoms showed up decades later .

(s / show-02
  :ARG1 (s2 / symptom)
  :time (l / late
          :degree (m / more
                    :quant (m2 / multiple
                              :op1 (t / temporal-quantity :quant 1
                                    :unit (d / decade))))))

This might be enough precedent to annotate mathematical differences in sentences such as
John has $3 less than Mary.

(h / have-03
  :ARG0 (p / person :name (n / name :op1 "John"))
  :ARG1 (m2 / monetary-quantity
           :degree (l / less
                     :quant (m / monetary-quantity :quant 3
                              :unit (d / dollar)))
           :compared-to (p2 / person :name (n2 / name :op1 "Mary"))))

No, this is not the deepest possible notation, but in line with previous comparatives, I think.