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

Link-deduplication multi-connector issue #1417

Open
linas opened this issue Feb 7, 2023 · 0 comments
Open

Link-deduplication multi-connector issue #1417

linas opened this issue Feb 7, 2023 · 0 comments

Comments

@linas
Copy link
Member

linas commented Feb 7, 2023

          Heh.

@mxs actually mean "connect to one or more MXs

Yes it does. I was wrong; I misremembered. I was so used to seeing {@MXs} that I forgot the true meaning of "one or more"!

The following rewrites are wrong:

  • hCO @hCO to @hCO because the former is "two or more", the later is one or more.
  • @MX @MX to @MX is wrong because the former is "two or more"

Thus, it would appear that my earlier insistence that "they are the same" (in #1396 (comment) and other comments) is wrong.

And now that I see the error of my ways ... what to do? The disjuncts differ, but they give the same parse ... Hmmm .... perhaps you are correct, these should be considered to be different.

.. Should I patch this? Do you want to patch this?

Originally posted by @linas in #1396 (comment)

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

1 participant