2.1.2 Notations for judgments

"Most other judgments .. are .. written in bold fonts."
    Actually, only the symbols are in bold, not the whole judgment.
    So move the "written in bold fonts" phrase from here to
    the paragraph about symbols.

"For example, 'is beautiful', '=>' and ':' are symbols"
    The "is beautiful" judgment is gone.
    Change to "is a positive integer"

"By convention, all patterns in the Formal Semantics correspond to grammar
non-terminals"
    Following up on Bug 1531, this is still not entirely true.
    Here are some counter-examples:
        AttributeValueContent
        Axis
        ConstructionMode
        SequenceOp, ArithOp, UnaryArithOp, ValueOp, GeneralOp
        URI-or-#NULL-NAMESPACE
        Variable