test format has bad semantics?

[ Oops, this was the first of my three comment messages last night,
but it bounced because I spelled the name of the list wrong. ]

I think you need to use an rdf:List for test:entailmentRules.  As you
have it now, the test:entailmentRules arcs can be dropped by RDF
simple entailment, but doing so renders the test statement false.
For example, a PositiveEntailmentTest on RDFS entailment is likely to
have its conclusions no longer follow from its premises if the
entailmentRules arc is dropped.

     -- sandro