Symbol: is_rectangle_enclosed