eq_point: _ = _
col: col(_,_,_)
cop: the points _, _, _ and _ are coplanar
bet: bet(_,_,_)
bet4: the points _, _, _, _ are in that order
cong: (_, _) $\cong$ (_, _)
cong3: (_, _, _) $\cong$ (_, _, _)
afs: afs(_,_,_,_,_,_,_,_)
ifs: ifs(_,_,_,_,_,_,_,_)
fs: fs(_,_,_,_,_,_,_,_)
le: le(_,_,_,_)
lt: lt(_,_,_,_)
gt: gt(_,_,_,_)
ge: ge(_,_,_,_)
out: out(_,_,_)
is_midpoint: the point _ is midpoint of points _ and _
is_symmetric: the point _ is symmetry of the point  _ in relevance to the point_
is_image_spec: the point _ is an image of the point _ in relation to the line (_,_)
is_image_spec_in: the point _ is center of the image of the point _ to the point _ in relation to the line (_,_)
is_image: the point _ is an image of the point _ in relation to the points (_,_)
is_image_spec_in_gen: the point _ is center of the image of the point _ to the point _ in relation to the points (_,_)
per: points (_,_,_) form a right angle 
perp_in: the point _ is intersection point of ortogonal lines (_,_) and (_,_)
perp: lines (_,_) and (_,_) are ortogonal
two_sides: points _ and _ are on different sides of line (_,_)
one_side: points _ and _ are on the same side of line (_,_)
point_on_line: _ $\in$ line(_,_)
point_on_plane3p: _ $\in$ plane(_,_,_)
point_on_plane2l: _ $\in$ plane(line(_,_),line(_,_))
same_lines: line(_,_)=(_,_)
same_planes3p: plane(_,_,_)=plane(_,_,_)
line_on_plane3p: line(_,_) $\subset$ plane(_,_,_)
same_planes2l: plane(line(_,_),line(_,_)) = plane(line(_,_),line(_,_))
line_on_plane2l: line(_,_) $\subset$ plane(line(_,_),line(_,_))
same_planes2l3p: plane(line(_,_),(_,_)) = (_,_,_)
distinct: points _,_,_ are distinct in pairs
cong_angle: angle(_,_,_) $\cong$ angle(_,_,_) 
point_in_angle: point _ is in angle(_,_,_)
le_angle: angle(_,_,_) $\le$ angle(_,_,_)
ge_angle: angle(_,_,_) $\ge$(_,_,_)
lt_angle: angle(_,_,_) $<$ angle(_,_,_)
gt_angle: angle(_,_,_) $>$ angle(_,_,_)
cong4: (_, _, _,_) is congruent in pairs with (_, _, _,_)
acute: angle(_,_,_) is an acute angle
obtuse: angle(_,_,_) is obtuse angle
inter: point _ is the intersection of line(_,_) and line(_,_)
intersect: line(_,_) and line(_,_) are intersecting
two_sides3p: points _ and _ are on diferent sides of plane(_,_,_)
one_side3p: points _ and _ are on the same side of plane(_,_,_)
right_angle3p3p: planes (_,_,_) and (_,_,_) are perpendicular
right_angle2p3p_in: line(_,_) is perpendicular to the plane(_,_,_) at the point _
right_angle2p3p: line(_,_) is perpendicular to the plane(_,_,_) 
cop_lines: lines (_,_) and (_,_) are coplanar
cop_lines3l: lines (_,_), (_,_) and (_,_) are coplanar
int: lines (_,_) and (_,_) are intersecting
parallel: lines (_,_) and (_,_) are parallel
parallel_broad: lines (_,_) and (_,_) are parallel or are the same lines
parallel_planes: planes (_,_,_) and (_,_,_) are parallel
point_on_ray: point _ is lying on ray (_,_)
parallel_normal: lines (_,_) and (_,_) have common normal line going throug point _

~eq_point: _ != _
~col: not col(_,_,_)
~cop: the points _, _, _ and _ are not coplanar
~bet: not bet(_,_,_)
~bet4: the points _, _, _, _ are not in that order
~cong: (_, _) $\not\cong$ (_, _)
~cong3: (_,_,_) $\not\cong$ (_,_,_)
~afs: not afs(_,_,_,_,_,_,_,_)
~ifs: not ifs(_,_,_,_,_,_,_,_)
~fs: not fs(_,_,_,_,_,_,_,_)
~le: not le(_,_,_,_)
~lt: not lt(_,_,_,_)
~gt: not gt(_,_,_,_)
~ge: not ge(_,_,_,_)
~out: not out(_,_,_)
~is_midpoint: the point _ is not the midpoint of points _ and _
~is_symmetric: the point _ is not symmetry of the point  _ in relevance to the point _
~is_image_spec: the point _ is not an image of the point _ in relation to the line (_,_)
~is_image_spec_in: the point _ is not a center of the image of the point _ to the point _ in relation to the line (_,_)
~is_image: the point _ is not an image of the point _ in relation to the points (_,_)
~is_image_spec_in_gen: the point _ is not a center of the image of the point _ to the point _ in relation to the points (_,_)
~per: points (_,_,_) do not form a right angle 
~perp_in: the point _ is not the intersection point of ortogonal lines (_,_) and (_,_)
~perp: lines (_,_) and (_,_) are not ortogonal
~two_sides: points _ and _ are not on different sides of line (_,_)
~one_side: points _ and _ are not on the same side of line (_,_)
~point_on_line: _ $\not\in$ line(_,_)
~point_on_plane3p: _ $\not\in$ plane(_,_,_)
~point_on_plane2l: _ $\not\in$ plane(line(_,_),line(_,_))
~same_lines: line(_,_)$\neq$(_,_)
~same_planes3p: plane(_,_,_)$\neq$plane(_,_,_)
~line_on_plane3p: line(_,_) $\not\subset$ plane(_,_,_)
~same_planes2l: plane(line(_,_),line(_,_)) $\neq$ plane(line(_,_),line(_,_))
~line_on_plane2l: line(_,_) $\not\subset$ plane(line(_,_),line(_,_))
~same_planes2l3p: plane(line(_,_),(_,_)) $\neq$ (_,_,_)
~distinct: points _,_,_ are not distinct in pairs
~cong_angle: angle(_,_,_) $\not\cong$ angle(_,_,_) 
~point_in_angle: point _ is not in angle (_,_,_)
~le_angle: angle(_,_,_) $\not\le$ angle(_,_,_)
~ge_angle: angle(_,_,_) $\not\ge$(_,_,_)
~lt_angle: angle(_,_,_) $\not<$ angle(_,_,_)
~gt_angle: angle(_,_,_) $\not>$ angle(_,_,_)
~cong4: (_, _, _,_) is not congruent in pairs with (_, _, _,_)
~acute: angle(_,_,_) is not an acute angle
~obtuse: angle(_,_,_) is not obtuse angle
~inter: point _ is not the intersection of line(_,_) and line(_,_)
~intersect: line(_,_) and line(_,_) are not intersecting
~two_sides3p: points _ and _ are not on diferent sides of plane(_,_,_)
~one_side3p: points _ and _ are not on the same side of plane(_,_,_)
~right_angle3p3p: planes (_,_,_) and (_,_,_) are not perpendicular
~right_angle2p3p_in: line(_,_) is not perpendicular to the plane(_,_,_) at the point _
~right_angle2p3p: line(_,_) is not perpendicular to the plane(_,_,_)
~cop_lines: lines (_,_) and (_,_) are not coplanar
~cop_lines3l: lines (_,_), (_,_) and (_,_) are not coplanar
~int: lines (_,_) and (_,_) are not intersecting
~parallel: lines (_,_) and (_,_) are not parallel
~parallel_broad: lines (_,_) and (_,_) are not parallel and are different lines
~parallel_planes: planes (_,_,_) and (_,_,_) are not parallel
~point_on_ray: point _ is not lying on ray (_,_)
~parallel_normal: lines (_,_) and (_,_) don't have common normal line going throug point _
