This completes the attributes and simple type definition, as shown in the fragments presented in Listing 3.
这样属性和简单类型定义就完成了，如列表3中的片段所示。
The type specified must be derived from the declared type or a special simple type definition called xs: error (which has no valid instances).
指定的type必须派生于声明的类型或称为xs： error的特殊简单类型定义(没有有效实例)。
As with complex type definition, the assertions are an ordered sequence of xs: assertion elements specified as facets in the simple type definition.
和复杂类型定义一样，断言是一组被指定为简单类型定义facet的一组有序的xs： assertion元素序列。
应用推荐