Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

obligate-01 #249

Open
luciaelizabeth opened this issue Nov 17, 2021 · 1 comment
Open

obligate-01 #249

luciaelizabeth opened this issue Nov 17, 2021 · 1 comment

Comments

@luciaelizabeth
Copy link

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
Copy link
Collaborator

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 ...) ...))

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants