Hi, I was wondering if someone could help me find some detailed information of how the automatic glbtype creation works in LKB. Is there any publication or stuff I could look up apart from the comments in the source code. I would like to implement something similar in a prolog program. Cheers, Nicholas