eq_point: _ = _
eq_line: _ = _
eq_plane: _ = _
inc_po_l: _ $\in$ _
inc_po_pl: _ $\in$ _
inc_l_pl: _ $\in$ _
int_l_l: lines _ and _ intersect
int_l_pl: line _ and plane _ intersect
int_pl_pl: planes _ and _ intersect
cop: cop(_,_,_,_)
col: col(_,_,_)
bet: bet(_,_,_)
cong: cong(_,_,_,_)
cong_angle: angles (_,_,_) and (_,_,_) are congruent
order: order(_,_,_,_)
cut: cut(_,_,_)
pash: pash(_,_,_,_,_)

~eq_point: _ != _
~eq_line: _ != _
~eq_plane: _ != _
~inc_po_l: _ $\not \in$ _
~inc_po_pl: _ $\not \in$ _
~inc_l_pl: _ $\not \in$ _
~int_l_l: lines _ and _ do not intersect
~int_l_pl: line _ and plane _ do not intersect
~int_pl_pl: planes _ and _ do not intersect
~cop: $\neg$ cop(_,_,_,_)
~col: $\neg$ col(_,_,_)
~bet: $\neg$ bet(_,_,_)
~cong: $\neg$ cong(_,_,_,_)
~cong_angle: angles (_,_,_) and (_,_,_) are not congruent
~order: $\neg$ order(_,_,_,_)
~cut: $\neg$ cut(_,_,_)
~pash: $\neg$ pash(_,_,_,_,_)
