premises
#TH_NAME

point(1)
point(2)
eq_point(1,2)

conclusions 

eq_point(1,2)
