Well, I might have spoken, er, typed, a bit too soon. Pat and I just spoke and hammered out a promising alternative to the semantics discussed in the msg I just sent around that still manages to avoid Horrocks sentences while retaining a reasonably robust sort of quantification over relations. I'm going to write it up this evening and post it for comment ASAP. -chris