Skip to content

Differentiate goestoAgent/comesFromAgent and hasRecipient/hasGiver #1024

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

Open
rjyounes opened this issue Jan 15, 2024 · 3 comments · May be fixed by #1152
Open

Differentiate goestoAgent/comesFromAgent and hasRecipient/hasGiver #1024

rjyounes opened this issue Jan 15, 2024 · 3 comments · May be fixed by #1152
Assignees

Comments

@rjyounes
Copy link
Collaborator

What is the distinction? And if none, combine.

@uscholdm
Copy link
Contributor

They are close. If I send a package from someone else containing a gift for you the package comes from me, but I did not give it to you.

The source of something need not be giving that thing away.

@rjyounes
Copy link
Collaborator Author

These are good differentiators. So the task is to expand on the definitions and give examples to make the distinction clear.

@rjyounes rjyounes added topic: annotations status: fast track A low impact change for which a PR can be submitted without group discussion labels Jan 15, 2024
@kchastain703 kchastain703 moved this to In Triage in gist Version 13.0.0 Feb 28, 2024
@kstudzin kstudzin self-assigned this Aug 29, 2024
@rjyounes
Copy link
Collaborator Author

rjyounes commented Oct 10, 2024

DECISION:

  • Keep the four properties, use annotations, including examples, to clearly differentiate the pairs
  • The goesTo/comesFrom properties relate to movement through space (sending a message, package, etc.). The hasGiver/hasRecipient predicates are typically more abstract, relating to agreements, obligations, commitments, etc.
  • Scope note that there may be overlap (e.g., giving someone a gift)

@rjyounes rjyounes removed the status: fast track A low impact change for which a PR can be submitted without group discussion label Oct 10, 2024
@rjyounes rjyounes moved this from In Triage to To Do in gist Version 14.0.0 Apr 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Status: To Do
Development

Successfully merging a pull request may close this issue.

3 participants