[developers] (poosible) bug report: LKB doesn't generate on a different index
xuchen at coli.uni-saarland.de
Sun Apr 4 07:04:55 CEST 2010
You are right. I didn't pay attention to the issue that numbers must be
unique across variable types, so my program only calculated "locally"
unique numbers. And you just saved my day. I had quite some generation
failure due to this "global" uniqueness, which buzzed me for quite a
while. Thanks a lot!
With kind regards,
Stephan Oepen wrote:
> dear xuchen yao,
> i believe some parts of the LKB require variable numbers to be unique,
> i.e. across variable types. in your MRS `t2.xml', there are both `x9'
> and `l9', which violates the above assumption. hence i recommend you
> keep variable numbers `globally' unique and i am optimistic this issue
> will go away. ann copestake would be in a better position to say how
> deeply this assumption is baked into the code, and whether there is a
> chance of making the LKB more robust in this respect.
> best wishes - oe
> +++ Universitetet i Oslo (IFI); Boks 1080 Blindern; 0316 Oslo; (+47) 2284 0125
> +++ --- oe at ifi.uio.no; stephan at oepen.net; http://www.emmtee.net/oe/ ---
More information about the developers