cos-st-restricts.1.1: The type '{1}' is atomic, so its {base type definition}, '{0}', must be an atomic simple type definition or a built-in primitive datatype.

型{1}はアトミックです。したがって，その基底型定義{0}はアトミックの単純型定義またはビルトインデータ型でなければいけません。