[EM] Hierarchial MAM

[Michael Ossipoff]

Hierarchial MAM (HMAM) or Hierarchial Random Ranked-Pairs (HRRP):

1. A defeat is a discarded defeat if contradicts a set of
not-discarded stronger defeats.

2. Additionally, a defeat, D, is a discarded defeat if it contradicts
a set of defeats consisting of one or more not-discarded defeats that
are stronger than D, and one or more not-discarded defeats that are
equal to D and higher than D in the dominance-order.

3. This paragraph applies only if there is no alternative that has no
defeat which isn't designated as discarded in paragraph 1 and which
isn't desingated as discarded in paragraph 2. Additionally, a defeat,
D, is a discarded defeaif if contradicts a set of not-discarded
defeats that are equal to D, and higher than D in the dominance-order.
...except that D isn't declared in this paragraph as discarded if
there is a weaker defeat that is declared in this paragraph as
discarded, and the alternative that has that weaker defeat doesn't
have a defeat that isn't declared discarded.

[end of HMAM or HRRP definition]

Of course the dominance-order is determined as in ordinary MAM.

Michael Ossipoff