reification/annotations

In the RDF mapping document, we have:

> Consider the following subclass axiom:
>
> SubClassOf( Comment( "Children are people." ) a:Child a:Person )
>
> Without the annotation, the axiom would be translated into the  
> following triple:
>
> a:Child rdfs:subClassOf a:Person
>
> Thus, the annotated axiom is transformed into the following triples:
>
> _:x rdf:type owl:Axiom
> _:x rdf:subject a:Child
> _:x rdf:predicate rdfs:subClassOf
> _:x rdf:object a:Person
> _:x rdfs:comment "Children are people."
>
>

Had we not decided to include the triple being reified in the  
serialization when using reification? So would the serialization be:

a:Child rdfs:subClassOf a:Person
_:x rdf:type owl:Axiom
_:x rdf:subject a:Child
_:x rdf:predicate rdfs:subClassOf
_:x rdf:object a:Person
_:x rdfs:comment "Children are people."
?



-Alan