let rec inter_all marks =
    match marks with
      | [] -> bottom
      |  m :: [] -> m
      | m :: tl -> inter m (inter_all tl)