let p = mk_NPoint(x,y) 
in RatEq(Slope(p,p1),Slope(p2,p)) or p = p1 or p = p2,

let t in set s_inter
in t and x