A More Descriptions of the Karel Domain