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

[Stephan Oepen]

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