Case: 1) If MAX is equal to 263-1 (9,223,372,036,854,775,807) and MIN is equal to -263 (-9,223,372,036,854,775,808), then REST is: <xsd:restriction base="xsd:long"/> 2) If MAX is less than 263-1 (9,223,372,036,854,775,807) and MIN is equal to -263 (-9,223,372,036,854,775,808), then REST is: <xsd:restriction base="xsd:long"> FACETMAX </xsd:restriction> 3) If MAX is equal to 263-1 (9,223,372,036,854,775,807) and MIN is greater than -263 (-9,223,372,036,854,775,808) but not equal to 0 (zero), then REST is: <xsd:restriction base="xsd:long"> FACETMIN </xsd:restriction> 4) If MAX is less than 263-1 (9,223,372,036,854,775,807) but greater than 231-1 (2,147,483,647) and MIN is less than 0 (zero) or MIN is greater than -263 (-9,223,372,036,854,775,808) but less than -231 (-2,147,483,648), then REST is: <xsd:restriction base="xsd:long"> FACETMAX FACETMIN </xsd:restriction> 5) If MAX is equal to 231-1 (2,147,483,647) and MIN is equal to -231 (-2,147,483,648), then REST is: <xsd:restriction base="xsd:int"/> 6) If MAX is less than 231-1 (2,147,483,647) and MIN is equal to -231 (-2,147,483,648), then REST is: <xsd:restriction base="xsd:int"> FACETMAX </xsd:restriction> 7) If MAX is equal to 231-1 (2,147,483,647) and MIN is greater than -231 (-2,147,483,648), then REST is: <xsd:restriction base="xsd:int"> FACETMIN </xsd:restriction> 8) If MAX is less than 231-1 (2,147,483,647) but greater than 215-1 (32,767) and MIN is less than 0 (zero) or MIN is greater than -231 (-2,147,483,648) but less than -215 (-32,786), then REST is: <xsd:restriction base="xsd:int"> FACETMAX FACETMIN </xsd:restriction> 9) If MAX is equal to 215-1 (32,767) and MIN is equal to -215 (-32,786), then REST is: <xsd:restriction base="xsd:short"/>