4 Semantics

[1]
para 2
"It specifies how full-text expression can be nested"
    s/expression/expressions/

[2]
XQueryFullTextInteraction.jpg
    The diagram attempts to represent both the static (syntactic) and
    dynamic interactions between the Full-Text extensions and the base
    XQuery/XPath, and I don't think it succeeds. With respect to the
    boxes, each arrow appears to mean roughly "can be nested within",
    but the accompanying text is at odds with this interpretation.
    E.g., At (1), the text "Evaluate to a Sequence of Items" appears to
    be a label for the arrow, suggesting that the process of evaluation
    begins and ends with an XQuery/XPath expression, which is certainly
    not what you want to convey.

[3]
box labelled "FTSelection"
    Note that an FTContainsExpr is not an FTSelection, so the label is
    inadequate. Maybe change it to "Full-Text expression" (which actually
    complements the other box better).

[4]
"tokenized text of atomic values"
    s/of/or/, I think you mean.

[5]
graphic used for arrows
    The use of "3D" arrows makes me imagine that the diagram is
    executing some kind of yaw-pitch maneuver.

[6]
bullets 2 + 3
"expressions can be nested inside FTSelections by evaluating them to a
sequence of items"
"the composability of FTSelections ... is achieved by evaluating the
FTSelections to AllMatches."
    [6a]
    I don't think it's correct to say that nesting/composability is
    achieved by evaluating something. Rather it's achieved by designing
    the language to be closed with respect to a data model (or in this
    case, something more complicated involving two data models). Please
    drop the "achieved by evaluating" connector.

    [6b]
    E.g.:
        Arrow 2 shows how XQuery 1.0 and XPath 2.0 expressions can be
        nested inside FTSelections. When evaluated, an XQuery 1.0 and
        XPath 2.0 expression yields an XDM instance (sequence of items).
        If the expression is nested ...

    [6c]
    For the Arrow 3 blurb, you could just delete:
        "The composability is achieved by evaluating the FTSelections to
        AllMatches."

[7]
"Arrow 4 shows how the result of the evaluation of XQuery 1.0 and XPath
2.0 Full-Text 1.0 and scoring expressions are integrated into the XQuery
1.0 and XPath 2.0 model."
    Consitency dictates that it actually represents how Full-Text
    expressions (specifically, FTContainsExpr) can be nested inside
    XQuery/XPath expressions.