A language that allows to describe points and line segments in three-dimensional space. Point and line segment (built from points) are built-in language types. Figures can be built from line segments.