[developers] (poosible) bug report: LKB doesn't generate on a different index

[Xuchen Yao]

Dear Stephan,

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,

Xuchen Yao

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/ ---
> +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
>