Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
Already on GitHub? Sign in to your account
incorrect axiom annotation for ice #465
Comments
pbuttigieg
was assigned
by cmungall
Feb 20, 2017
|
this one too
|
pbuttigieg
closed this
in 159797f
Feb 24, 2017
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
cmungall commentedFeb 20, 2017
current release file:
this is causing some downstream issues. The syntax is actually valid but unexpected. It's caused by a definition axiom annotation on a synonym. This should be disallowed (ie structural violation, not syntactic). But for now we should do a fix. It's clear this was intended as the definition, but not clear which one is primary.