3.3.4 Thesaurus Option

[1]
para 2
"The value of the FTThesaurusID must be a URILiteral."
    Hm. The phrase "The value of the FTThesaurusID" is questionable,
    because an FTThesaurusID shouldn't be evaluated per se.  Also, a
    value can't be a URILiteral, because a URILiteral isn't a value.
    I think what you mean is that a thesurus is identified by a
    URILiteral. But that's already guaranteed by the EBNF:
        FTThesaurusID ::= "at" URILiteral ( "relationship" ...
    Just delete the para.

[2]
para 8
'The "with default thesaurus" option'
    [2a]
    No such option. Instead, you mean something like
        When "default" is used to identify a thesaurus, ...
    or
        When "default" is used in place of a FTThesaurusID, ...

    [2b]
    Maybe note that it *doesn't* refer to a thesaurus that you might have
    declared in the query prolog.

[3]
before example 3
"Assuming that there is a locally defined thesaurus"
    Not sure how "locally defined" is significant.