SemiAlgebraicSets are geometric shapes (sets of points) constrained by a set of polynomial constraints.
A bump could be defined as follows:
bump(i,x,y) :- i=1, y+x^2-3<=0, y>=0.
Bumb would then be the set of points contained in the geometric shape below:
attachment:bump.gif
See Also SemiLinearSets