[Bug 5418] conformance criteria: "valid if" vs "valid if AND ONLY IF"

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5418

           Summary: conformance criteria: "valid if" vs "valid if AND ONLY
                    IF"
           Product: SML
           Version: LC
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Core
        AssignedTo: cmsmcq@w3.org
        ReportedBy: johnarwe@us.ibm.com
         QAContact: public-sml@w3.org


7. Conformance Criteria
contains 3 non-list sentences, each having the flavor
<defined term> is <valid|conforming> if ... conditions

The question raised at the 1/22 f2f is which of those (3, currently) should be
changed from "if" to "if and only if".

As part of the ensuing discussion, the assertion was made that the last
sentence of the section, "if any model document is not reachable, then the
model validator's behavior is implementation-defined.", would likely need to be
pulled out of the list.