Exceptional Situations:

See Also:

Notes:

Lists

SBML must resort to "container elements"
like listOfCompartments, listOfParameters
etc. etc. These are directly represented as LISTs
in CL.

If the need arises, these lists could be replaced with VECTORs.

Types

SBML states that the values of the fields UNITS
and OUTSIDE should be of type SID (SId.) The
definition here is more liberal, as the type specifier SID is
defined in terms of SATISFIES, which is a notorious complication in
the CL type system. If the need arises, the type
specification of the slots can be made stricter.