[RIF] DTB comment/question

In section 2.1.1,  the rif:local bullet says that occurrences of the same 
rif:local
constant in the same document must refer to the same object. This is 
required
by BLD, but is it also required by FLD, for all logic dialects?

Stella