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

Input file:  C:\Dropbox\AT\251VowelHarmony2019\Sims\4Wolof\FilesForWolof\Wolof.txt


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

  Ident is excluded from stratum; prefers loser *[[ u- ]] for /[ u- ] (impossible vowel)/.
  Agree is excluded from stratum; prefers loser *[[u- a:- ]] for /[u+ a:- ] (transparent with opaque ok in stems)/.
  Agree with a: is excluded from stratum; prefers loser *[[u- a:- ]] for /[u+ a:- ] (transparent with opaque ok in stems)/.
  Dep + is excluded from stratum; prefers loser *[[ o+ ] o-] for /[ o+ ] O (simple case of +  harmony)/.
  Agree-local(strong vowel) is excluded from stratum; prefers loser *[[ o+ ] k a+ t] for /[ o+ ] k a- t (the opaque suffix)/.
  Agree-distal(strong vowel) is excluded from stratum; prefers loser *[[ o+ ] k a+ t] for /[ o+ ] k a- t (the opaque suffix)/.

  *a:+ favors no losers, joins new stratum.
  *u- favors no losers, joins new stratum.
  Full spec favors no losers, joins new stratum.

Results so far:

  Stratum 1 (newly ranked):    *a:+
                               *u-
                               Full spec

  Markedness constraints still unranked:
    Agree
    Agree-local(strong vowel)
    Agree-distal(strong vowel)
    Agree with a:
    Ident
    Dep +
  Faithfulness constraints still unranked:
    (none)

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

  Ident is excluded from stratum; prefers loser *[[ o+ o- ]] for /[ o+ o- ]  (strict stem harmony for mid vowels)/.
  Agree is excluded from stratum; prefers loser *[[ o- a:- ]] for /[ o+ a:- ] (disharmonic with opaque ok in stems)/.
  Agree with a: is excluded from stratum; prefers loser *[[ o- a:- ]] for /[ o+ a:- ] (disharmonic with opaque ok in stems)/.
  Dep + is excluded from stratum; prefers loser *[[ o+ ] o-] for /[ o+ ] O (simple case of +  harmony)/.
  Agree-local(strong vowel) is excluded from stratum; prefers loser *[[ o+ ] k a+ t] for /[ o+ ] k a- t (the opaque suffix)/.
  Agree-distal(strong vowel) is excluded from stratum; prefers loser *[[ o+ ] k a+ t] for /[ o+ ] k a- t (the opaque suffix)/.


Ranking has failed.  
This constraint set cannot derive only winners.
