Question about annotation test

[ektrah]

There is this test...

rdf-tests/rdf/rdf12/rdf-semantics/manifest.ttl

Lines 108 to 116 in b2e0c1a

	trs:annotation a mf:PositiveEntailmentTest;
	rdfs:comment "Annotations are about the reifying triple. This is about shorthand expansion, and is not really a semantics test.";
	mf:action <test007a.ttl>;
	mf:entailmentRegime "simple";
	mf:name "annotation";
	mf:recognizedDatatypes ();
	mf:result <test007r2.ttl>;
	mf:unrecognizedDatatypes ();
	rdft:approval rdft:NotClassified .

...that tests if this graph...

rdf-tests/rdf/rdf12/rdf-semantics/test007a.ttl

Lines 1 to 3 in b2e0c1a

	prefix : <http://example.com/ns#>
	:a :b :c {| :p1 :o1 |}.

...entails this graph...

rdf-tests/rdf/rdf12/rdf-semantics/test007r2.ttl

Lines 1 to 3 in b2e0c1a

	prefix : <http://example.com/ns#>
	:a1 :p1 <<( :a :b :c )>>.

...but my implementation thinks that it doesn't.

Is my implementation wrong or is there a bug in the test?