Berthold Crysmann <crysmann at dfki.de> writes: > what's the current situation there, BTW. Does RSRL provide means to express type > (in)equality?? A way to express type (in)equality in RSRL (under certain conditions) is discussed in Frank Richter's dissertation (available from his homepage, I think), pages 360-361. -- Adam P.