The logical representation of the geometry of tunnel