******Application of Constraint Demotion******

Input file:  E:\17Kikuria\FilesForKikuriaClass\KikuriaClass.txt


******Now doing Stratum #1******

  *Map(e i) is excluded from stratum; prefers loser *[e e i] for /e e i/.
  *Map(i e) is excluded from stratum; prefers loser *[i e] for /i e/.
  *Map(E e) is excluded from stratum; prefers loser *[E i] for /E i/.
  *e i is excluded from stratum; prefers loser *[E i] for /E i/.
  *Map(e E) is excluded from stratum; prefers loser *[E e] for /E e/.
  *e E is excluded from stratum; prefers loser *[e e] for /e E/.

  BeGood favors no losers, joins new stratum.
  Id low favors no losers, joins new stratum.
  *Map(i E) favors no losers, joins new stratum.
  *Map(E i) favors no losers, joins new stratum.
  *i e favors no losers, joins new stratum.
  *E i favors no losers, joins new stratum.
  *E e favors no losers, joins new stratum.
  Final(hi) favors no losers, joins new stratum.

Results so far:

  Stratum 1 (newly ranked):    BeGood
                               Id low
                               *Map(i E)
                               *Map(E i)
                               *i e
                               *E i
                               *E e
                               Final(hi)

  Markedness constraints still unranked:
    *Map(i e)
    *Map(e E)
    *Map(e i)
    *Map(E e)
    *e i
    *e E
  Faithfulness constraints still unranked:
    (none)

******Now doing Stratum #2******

  *Map(e i) is excluded from stratum; prefers loser *[e e i] for /e e i/.
  *e i is excluded from stratum; prefers loser *[e e] for /E i/.
  *Map(e E) is excluded from stratum; prefers loser *[e e] for /E e/.
  *e E is excluded from stratum; prefers loser *[e e] for /e E/.

  *Map(i e) favors no losers, joins new stratum.
  *Map(E e) favors no losers, joins new stratum.

Results so far:

  Stratum 1 (already ranked):  BeGood
                               Id low
                               *Map(i E)
                               *Map(E i)
                               *i e
                               *E i
                               *E e
                               Final(hi)
  Stratum 2 (newly ranked):    *Map(i e)
                               *Map(E e)

  Markedness constraints still unranked:
    *Map(e E)
    *Map(e i)
    *e i
    *e E
  Faithfulness constraints still unranked:
    (none)

******Now doing Stratum #3******

  *Map(e i) is excluded from stratum; prefers loser *[e e i] for /e e i/.
  *e E is excluded from stratum; prefers loser *[E E] for /e E/.

  *Map(e E) favors no losers, joins new stratum.
  *e i favors no losers, joins new stratum.

Results so far:

  Stratum 1 (already ranked):  BeGood
                               Id low
                               *Map(i E)
                               *Map(E i)
                               *i e
                               *E i
                               *E e
                               Final(hi)
  Stratum 2 (already ranked):  *Map(i e)
                               *Map(E e)
  Stratum 3 (newly ranked):    *Map(e E)
                               *e i

  Markedness constraints still unranked:
    *Map(e i)
    *e E
  Faithfulness constraints still unranked:
    (none)

******Now doing Stratum #4******

  Search found no unranked constraints that prefer losers.

  *Map(e i) favors no losers, joins new stratum.
  *e E favors no losers, joins new stratum.

Results so far:

  Stratum 1 (already ranked):  BeGood
                               Id low
                               *Map(i E)
                               *Map(E i)
                               *i e
                               *E i
                               *E e
                               Final(hi)
  Stratum 2 (already ranked):  *Map(i e)
                               *Map(E e)
  Stratum 3 (already ranked):  *Map(e E)
                               *e i
  Stratum 4 (newly ranked):    *Map(e i)
                               *e E

  Markedness constraints still unranked:
    (none)
  Faithfulness constraints still unranked:
    (none)

Ranking is complete and yields successful grammar.
