/*----------------------------------------------------------------------  domains----------------------------------------------------------------------*/dom(att07) = IR;dom(att10) = IR;dom(att13) = IR;// dom(class) = { A, B, C };