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

Input file:  C:\Dropbox\AT\251VowelHarmony2019\Sims\13Warlpiri\FilesForWarlpiri\Warlpiri.txt


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

  Ident(+B to -B) is excluded from stratum; prefers loser *[itu] for /itu RB/.
  *i u is excluded from stratum; prefers loser *[ipi] for /ipu/.
  Agree(back) in high is excluded from stratum; prefers loser *[ipi] for /ipu/.
  Ident(-B to +B) is excluded from stratum; prefers loser *[[ a i i ] - rnu] for /[ a i i ] - rnu SPECIAL/.

  *New Pi favors no losers, joins new stratum.
  Ident(+ to -) in RNU favors no losers, joins new stratum.
  *i u in RNU favors no losers, joins new stratum.

Results so far:

  Stratum 1 (newly ranked):    *New Pi
                               Ident(+ to -) in RNU
                               *i u in RNU

  Markedness constraints still unranked:
    Ident(-B to +B)
    *i u
    Ident(+B to -B)
    Agree(back) in high
  Faithfulness constraints still unranked:
    (none)

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

  Ident(+B to -B) is excluded from stratum; prefers loser *[itu] for /itu RB/.
  *i u is excluded from stratum; prefers loser *[upu] for /ipu/.
  Agree(back) in high is excluded from stratum; prefers loser *[upu] for /ipu/.

  Ident(-B to +B) favors no losers, joins new stratum.

Results so far:

  Stratum 1 (already ranked):  *New Pi
                               Ident(+ to -) in RNU
                               *i u in RNU
  Stratum 2 (newly ranked):    Ident(-B to +B)

  Markedness constraints still unranked:
    *i u
    Ident(+B to -B)
    Agree(back) in high
  Faithfulness constraints still unranked:
    (none)

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

  Ident(+B to -B) is excluded from stratum; prefers loser *[itu] for /itu RB/.
  Agree(back) in high is excluded from stratum; prefers loser *[iti] for /uti/.

  *i u favors no losers, joins new stratum.

Results so far:

  Stratum 1 (already ranked):  *New Pi
                               Ident(+ to -) in RNU
                               *i u in RNU
  Stratum 2 (already ranked):  Ident(-B to +B)
  Stratum 3 (newly ranked):    *i u

  Markedness constraints still unranked:
    Ident(+B to -B)
    Agree(back) in high
  Faithfulness constraints still unranked:
    (none)

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

  Agree(back) in high is excluded from stratum; prefers loser *[iti] for /uti/.

  Ident(+B to -B) favors no losers, joins new stratum.

Results so far:

  Stratum 1 (already ranked):  *New Pi
                               Ident(+ to -) in RNU
                               *i u in RNU
  Stratum 2 (already ranked):  Ident(-B to +B)
  Stratum 3 (already ranked):  *i u
  Stratum 4 (newly ranked):    Ident(+B to -B)

  Markedness constraints still unranked:
    Agree(back) in high
  Faithfulness constraints still unranked:
    (none)

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

  Search found no unranked constraints that prefer losers.

  Agree(back) in high favors no losers, joins new stratum.

Results so far:

  Stratum 1 (already ranked):  *New Pi
                               Ident(+ to -) in RNU
                               *i u in RNU
  Stratum 2 (already ranked):  Ident(-B to +B)
  Stratum 3 (already ranked):  *i u
  Stratum 4 (already ranked):  Ident(+B to -B)
  Stratum 5 (newly ranked):    Agree(back) in high

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

Ranking is complete and yields successful grammar.
