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

Input file:  C:\Dropbox\AT\251VowelHarmony2019\Sims\FilesForTurkishWithIyor\TurkishWithIyor.txt


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

  RoLo is excluded from stratum; prefers loser *[[ a ]] for /[ o ] /.
  Agr rd is excluded from stratum; prefers loser *[[ o ] o] for /[ o ] A/.
  Dep(+rd) is excluded from stratum; prefers loser *[[ o ] i- yor] for /[ o ] I yor/.
  No L(rd) is excluded from stratum; prefers loser *[[ o ] i- yor] for /[ o ] I yor/.
  Agr bk is excluded from stratum; prefers loser *[[ e ] i yer] for /[ e ] I yor/.

  Max(rd) favors no losers, joins new stratum.

Results so far:

  Stratum 1 (newly ranked):    Max(rd)

  Markedness constraints still unranked:
    Agr bk
    Agr rd
    Dep(+rd)
    RoLo
    No L(rd)
  Faithfulness constraints still unranked:
    (none)

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

  Agr rd is excluded from stratum; prefers loser *[[ o ] o] for /[ o ] A/.
  Dep(+rd) is excluded from stratum; prefers loser *[[ o ] i- yor] for /[ o ] I yor/.
  No L(rd) is excluded from stratum; prefers loser *[[ o ] i- yor] for /[ o ] I yor/.

  Agr bk favors no losers, joins new stratum.
  RoLo favors no losers, joins new stratum.

Results so far:

  Stratum 1 (already ranked):  Max(rd)
  Stratum 2 (newly ranked):    Agr bk
                               RoLo

  Markedness constraints still unranked:
    Agr rd
    Dep(+rd)
    No L(rd)
  Faithfulness constraints still unranked:
    (none)

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

  Dep(+rd) is excluded from stratum; prefers loser *[[ o ] i- yor] for /[ o ] I yor/.
  No L(rd) is excluded from stratum; prefers loser *[[ o ] i- yor] for /[ o ] I yor/.

  Agr rd favors no losers, joins new stratum.

Results so far:

  Stratum 1 (already ranked):  Max(rd)
  Stratum 2 (already ranked):  Agr bk
                               RoLo
  Stratum 3 (newly ranked):    Agr rd

  Markedness constraints still unranked:
    Dep(+rd)
    No L(rd)
  Faithfulness constraints still unranked:
    (none)

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

  Dep(+rd) is excluded from stratum; prefers loser *[[ u ] i- a] for /[ u ] I a/.

  No L(rd) favors no losers, joins new stratum.

Results so far:

  Stratum 1 (already ranked):  Max(rd)
  Stratum 2 (already ranked):  Agr bk
                               RoLo
  Stratum 3 (already ranked):  Agr rd
  Stratum 4 (newly ranked):    No L(rd)

  Markedness constraints still unranked:
    Dep(+rd)
  Faithfulness constraints still unranked:
    (none)

******Now doing Stratum #5******

  Search found no unranked constraints that prefer losers.

  Dep(+rd) favors no losers, joins new stratum.

Results so far:

  Stratum 1 (already ranked):  Max(rd)
  Stratum 2 (already ranked):  Agr bk
                               RoLo
  Stratum 3 (already ranked):  Agr rd
  Stratum 4 (already ranked):  No L(rd)
  Stratum 5 (newly ranked):    Dep(+rd)

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

Ranking is complete and yields successful grammar.
