let
implies1 l1 y =
List
.exists (
fun
x
->
Disj
.implies x y) l1