This is interesting in the context of new assumptions.  We're not currently able to declare relations like this within the context of new assumptions.  Makes me think of what "newer" assumptions might look like.  Mostly this falls into the "how do we hook up and choose between different inference engines?" question.