Dear dl readers, it is not clear to me if the domain of an interpretation (with the descriptive semantic) is just a set or may be a class or something else. Thank you in advance, Cristiano Longo ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program.