eq_point: _ = _
eq_line: _=_
eq_circle: _=_
on: on(_,_)
onc: onc(_,_)
intersects: lines _ and _ intersects
intersectslc: line _ and circle _ intersects
intersectscc: circles _ and _ intersects
inside: inside(_,_)
center: center(_,_)
cong_area: areas (_,_,_) and (_,_,_) are equal
cong_area_leq: area (_,_,_) less then (_,_,_) 
cong_add: area (_,_,_) + area (_,_,_) = area (_,_,_)
cong_area_zero: area (_,_,_) = 0
sameside: sameside(_,_,_)
segment_add: (_,_) + (_,_) = (_,_)
right_angle: angle (_,_,_) is right angle
bet: bet(_,_,_)
cong: (_,_) $\cong$ (_,_)
cong_zero: (_,_)=0
cong_less: __<__
cong_leq: __<=__
cong_angle: angle(_,_,_) $\cong$ angle(_,_,_)
angle_add: angle(_,_,_)+angle(_,_,_)=angle(_,_,_)
cong_angle_less: angle(_,_,_)<angle(_,_,_)
cong_angle_leq: angle(_,_,_)<=angle(_,_,_)
cong_angle_zero: angle(_,_,_)=0


~eq_point: _ != _
~eq_line: _!=_
~eq_circle: _!=_
~on: $\neg$ on(_,_)
~onc: $\neg$ onc(_,_)
~intersects: lines _ and _ do not intersects
~intersectslc: line _ and circle _ do not intersects
~intersectscc: circles _ and _ do not intersects
~inside: $\neg$ inside(_,_)
~center: $\neg$ center(_,_)
~cong_area: areas (_,_,_) and (_,_,_) are not equal
~cong_area_leq: area (_,_,_) is not less then (_,_,_) 
~cong_add: area (_,_,_) + area (_,_,_) $\neq$ area (_,_,_)
~cong_area_zero: area (_,_,_) $\neq$ 0
~sameside: $\neg$ sameside(_,_,_)
~right_angle: angle (_,_,_) is not a right angle
~bet: $\neg$ bet(_,_,_)
~cong: (_, _) $\not\cong$ (_, _)
~cong_zero: (_,_)!=0
~segment_add: __+__!=__
~cong_less: __>=__
~cong_leq: __>__
~cong_angle: angle(_,_,_) $\not\cong$ angle(_,_,_)
~angle_add: angle(_,_,_)+angle(_,_,_)!=angle(_,_,_)
~cong_angle_less: angle(_,_,_)>=angle(_,_,_)
~cong_angle_leq: angle(_,_,_)>angle(_,_,_)
~cong_angle_zero: angle(_,_,_) $\neq$ 0
