SemiAlgebraicSets are geometric shapes (sets of points) that 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.