Updated validation rules for #396

Don't say that most lists need to not be empty, and do say that ListOfUserDefinedConstraintComponents must have at least one child.

sbml-level-3/version-1/fbc/spec/apdx-validation.tex

@@ -120,13 +120,7 @@ \subsubsection*{Rules for extended \class{Model} object}
 permitted on a \Model object. (Reference: SBML Level~3 Specification for
 Flux Balance Constraints, Version~3, \sec{model-class}.)}
 
-\validRule{fbc-20202}{The various
-\textsf{\textbf{ListOf\rule{0.15in}{0.5pt}}} subobjects with an \Model
-object are optional, but if present, these container object must not
-be empty. Specifically, if any of the following classes of objects are
-present on the \Model, it must not be empty: \ListOfGeneProducts,
-\ListOfObjectives and ListOfUserDefinedConstraints. (References: SBML Level~3 Package Specification for
-Flux Balance Constraints, Version~3, \sec{model-class}.) }
+\validRule{fbc-20202} {(This validation rule does not apply in Flux Balance Constraints Version~3.)}
 
 \validRule{fbc-20203} {(This validation rule does not apply in Flux Balance Constraints Version~3.)}
 
@@ -699,7 +693,7 @@ \subsubsection*{Rules for \class{UserDefinedConstraint} object}
 \validRule{fbc-21408}{Apart from the general notes and annotations
 subobjects permitted on all SBML objects, a
 \ListOfUserDefinedConstraintComponents container object may only contain
-\UserDefinedConstraintComponent objects. (Reference: SBML Level~3
+\UserDefinedConstraintComponent objects, and must contain at least one such object. (Reference: SBML Level~3
 Specification for Flux Balance Constraints, Version~3,
 \sec{listofuserdefinedconstraintcomponents-class}.)}