[TED] Is RIF Core a RIF dialect?

All,

Among the several questions raised in the on-going discussion started by 
Gary's email on recursion and production rules, there is a basic one on 
which I wonder if we all agree:

- Is RIF Core a RIF dialect or not?
My understanding was that RIF Core was a dialect like any other RIF 
dialect; in that view RIF Core is actually a subset of all other RIF 
dialects (*). It seems that for Michael, at least, RIF Core is not a RIF 
dialect, but something different. Comments?

(*) Notwithstanding the pending discussion on defining dialects by 
restriction as well as extension, which we should have as well, but in 
connection with a discussion (that we will have at some point) on 
forward/backward compatibility rather than conformance, I think.

Christian