let p_or  a b = Fol.p_or a b