\begin{sql}
CREATE TABLE Mountain \\
\>(\>Name VARCHAR2(20) \\
\>\>\> CONSTRAINT MountainKey PRIMARY KEY, \\
\>\> Height NUMBER \\
\>\>\> CONSTRAINT MountainHeight CHECK (Height >= 0), \\
\>\> {\blue Coordinates GeoCoord} CONSTRAINT MountainCoord \\
\>\>\>     CHECK (\=(Coordinates.Longitude >= -180) AND \\
\>\>\>\>\>        (Coordinates.Longitude <= 180) AND \\
\>\>\>\>\>        (Coordinates.Latitude >= -90) AND \\
\>\>\>\>\>        (Coordinates.Latitude <= 90)));
\end{sql}
