how to observe RIF BLD consumer conformance?

I see:

"A RIF processor is a conformant BLDΤ,Ε consumer iff it implements a
semantics-preserving mapping, μ, from the set of all BLDΤ,Ε formulas to
the language L of the processor (μ does not need to be an "onto"
mapping)."
 -- http://www.w3.org/TR/rif-bld/#Conformance_Clauses

I don't see how this property is observable/testable; i.e. why
this product class is defined at all.

A conformant RIF-BLD consumer isn't required to compute entailment?

This much is observable: "A conformant RIF-BLD consumer must reject all
inputs that do not match the syntax of BLD." But that's just syntax
checking.

editorial: why "conformant" rather than "conforming"?


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
gpg D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E