let
is_included ma mb =
(
Mark
.is_included ma.
T
.m1 mb.
T
.m1)
&&
(
Mark
.is_included ma.
T
.m2 mb.
T
.m2)