a model of a space ship in a clear case