semi-algebraic model