Ambiguous wording in section 2.11.1 Annotation Syntax

[jaw111]

The first paragraph in the section contains the sentence:

As with a reifiedTriple, the annotation syntax allows the definition of one or more reifiers as either IRIs or blank nodes, each preceded by a tilde (~), which precedes the annotation block.

This implies that the reifiedTriple production also allows multiple reifiers, but it does not.

It would help the reader to clarify that reifiedTriple allows one reifier, whilst the annotation syntax allows multiple.

Examples of annotation syntax with multiple reifiers would be a useful addition.

Similarly, examples of annotation syntax without an annotation block and reifiedTriple without predicateObjectList would help illustrate what the syntax allows, for example:

VERSION     "1.2"
PREFIX : <http://example.com/>
:a :name "Alice" ~ :t .

is the same set of triples as:

VERSION     "1.2"
PREFIX : <http://example.com/>
:a :name "Alice" .
<< :a :name "Alice" ~ :t >> .

Fully expanded:

VERSION     "1.2"
PREFIX : <http://example.com/>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
:a :name "Alice" .
:t rdf:reifies <<( :a :name "Alice" )>> .

It was not immediately obvious (for me) that reifiers can be assigned like this without being necessary to assert more statements that have reifier as the subject.