let
mk_disjunction pred_l =
(
Logic_const
.pors (
List
.map unamed pred_l)).content