From: David Chapman <ZVONA%AI.AI.MIT.EDU@MINTAKA.lcs.mit.edu> Yup, it was the lexicographically greatest predicate and meant X appears supernatural to Y under belief system W. Thanks for letting me know about Lojban. I'm glad to know someone's doing it, and not interested enough to pursue it further! David