%include_equality
%include_excluded_middle

%DODAT KRUG!!!
types point line circle

datatype on point line
datatype intersects line line
datatype onc point circle
datatype inside point circle
datatype center point circle
datatype intersectscc circle circle
datatype intersectslc circle line
datatype comp point point point point
datatype bet point point point
datatype col point point point
datatype cong point point point point
datatype cong_area point point point point point point
datatype cong_area_leq point point point point point point
datatype cong_area_zero point point point 
datatype area_add point point point point point point point point point
datatype cong_add point point point point point point point point point

%DODATI DEFINICIJE ZA SAME_SIDE I OSTALE PREDIKATE
%NA PRIMER DA BETWEEN ZNACI STROGO BETWEEN

datatype sameside point point line
datatype segment_add point point point point point point
datatype right_angle point point point

datatype cong_zero point point
datatype cong_less point point point point
datatype cong_leq point point point point 
datatype cong_angle point point point point point point
datatype angle_add point point point point point point point point point 
datatype cong_angle_less point point point point point point 
datatype cong_angle_leq point point point point point point 
datatype cong_angle_zero point point point

%datatype segment point point
%datatype angle point point point 
%datatype area point point point
