GM_OrientableSurface consists of a surface and an orientation inherited from GM_OrientablePrimitive. If the orientation is "+", then the GM_OrientableSurface is a GM_Surface. If the orientation is "-", then the GM_OrientableSurface is a reference to a GM_Surface with an upNormal that reverses the direction for this GM_OrientableSurface, the sense of "the top of the surface" (see 6.4.33.2).<br/>GM_OrientableSurface:<br/>{Orientation = "+" implies primitive = self};<br/>{(Orientation = "-" and TransfiniteSet::contains(p : DirectPosition)) <br/>  implies (primitive.upNormal(p) = - self.upNormal(p))};<br/>