let
included_ranges xs ys =
forall (
fun
x
->
exists (
fun
y
->
range_subset x y) ys) xs