jsesh
jsesh copied to clipboard
Update signs_description.xml
Fixes first half of #37:
- Aa18 is a denoted to contain Aa17, but also vice versa. I think it is clear that Aa17 does not include Aa18.
- V98 is a denoted to contain V36, but also vice versa. I think it is clear that V98 does not include V36.
- Y1 is a denoted to contain Y2, but also vice versa. I think it is clear that Y2 does not include Y1.
- D32 is a denoted to contain D197, but also vice versa. I think it is clear that D197 does not include D32.
GitHub seems to have a problem with diffing this file. 😵💫
I tend not to use git to manage this file, hence I'll consider the various changes by hand. (Ideally, sign description should be managed by a web site).
This being said, the purpose of sign descriptions is not only to give a description of the signs, but also to help their retrieval. The reason I misused "part-of" is that it can be used transitively. Hence, for instance, starting with Aa18, and looking signs which contain it, one will find in a first step Aa17, then signs which contain Aa17, which might be the signs looked for by the user.
Now, it's a dirty trick, and a better definition of variants (or, to be more precise, a full use of the various variant level I have proposed) would be cleaner. But it takes a lot of time.
for the problem with git diff : the file is really huge. At some point, I might consider a system with multiple files for sign information, which would be easier to manage.