%include_equality
%include_excluded_middle

types point line plane

datatype inc_po_l point line
datatype inc_po_pl point plane
datatype inc_l_pl line plane
datatype int_l_l line line
datatype int_l_pl line plane
datatype int_pl_pl plane plane
datatype cop point point point point 
datatype col point point point 
datatype bet point point point 
datatype cong point point point point
datatype cong_angle point point point point point point
datatype order point point point point
datatype cut line point point
datatype pash point point point line plane
