amrisi / amr-guidelines

239 stars 86 forks source link

obligate-01 #249

Open luciaelizabeth opened 2 years ago

luciaelizabeth commented 2 years ago

The guidelines have the following annotation for "the boy must not go", where the proposition in the scope of the modal operator is in ARG2 (and ARG0 and ARG1 of obligate-01 are empty):

(o / obligate-01 :ARG2 (g / go-02 :ARG0 (b / boy) :polarity -))

How would the representation look for "the boy is obligated by law to go to school"? I am wondering how to properly model scope here and if the different argument slots for obligate-01 are ever used, and if so, when. Thanks!

nschneid commented 2 years ago

Perhaps the reasoning was that ARG0 and ARG1 would only be used if an imposition of obligation by some party on some other party was salient, whereas if something was framed as a general requirement it would merely fall under ARG2.

That said, it's probably not terribly consistent in practice. From a release search I see both

I have to constantly make such comparisons to make sure it all works.

(o / obligate-01
        :ARG1 (i / i)
        :ARG2 (c / compare-01 ...))

and

I have to renew my car insurance every six months.

(o / obligate-01
        :ARG2 (r / renew-01
              :ARG0 (i / i)
              :ARG1 (i2 / insure-02 ...) ...))