/*----------------------------------------------------------------------  domains----------------------------------------------------------------------*/dom(sepal_length) = IR [4.3, 7.9];dom(sepal_width)  = IR [2.0, 4.4];dom(petal_length) = IR [1.0, 6.9];dom(petal_width)  = IR [0.1, 2.5];