Results of Applying Recursive Constraint Demotion to JohoreMalayMcCarthy2004.txt


4-18-2019, 11:32 a.m.

OTSoft 2.5, release date 1/17/2017


1. Result

A ranking was found that generates the correct outputs.

   Stratum #1
      FthHdSp(+nasal)                           FthHdSp(+nasal)
      Head(nasal)                               Head(nasal)
      Head(p)                                   Head(p)
      Head is initial                           Head is initial
   Stratum #2
      *A-Span(F)                                *A-Span(F)
   Stratum #3
      *A                                        *A

2. Tableaux


/ana/: 
           FthHdSp(+nasal)Head(nasal)Head(p)Head is initial|*A-Span(F)|*A
>[a_][n_A]                                                 |    1     |1 
 [an_a]                                           1!       |          |  
 [An_A]                                           1!       |          |1 
 [An_][a]                                         1!       |    1     |1 
 [a_na]                       1!                           |          |  
 [A_n][a]                     1!                           |    1     |1 
 [ada]           1!                                        |          |  


/anawa/: 
             FthHdSp(+nasal)Head(nasal)Head(p)Head is initial|*A-Span(F)|*A
>[a][nAWA]                                                   |    1     |2 
 [a][nA][wa]                                                 |    2!    |1 
 [a][nAW][a]                                                 |    2!    |1 


/anapa/: 
               FthHdSp(+nasal)Head(nasal)Head(p)Head is initial|*A-Span(F)|*A
>[a][n_A][pa]                                                  |    2     |1 
 [a][n_][ap_a]                                        1!       |    2     |  
 [a][n_ApA]                                1!                  |    1     |2 
 [a][n_][a_pa]                             1!                  |    2     |  


/A/: 
     FthHdSp(+nasal)Head(nasal)Head(p)Head is initial|*A-Span(F)|*A
>[a]                                                 |          |  
 [A]                                                 |          |1!


/Ana/: 
           FthHdSp(+nasal)Head(nasal)Head(p)Head is initial|*A-Span(F)|*A
>[a][nA]                                                   |    1     |1 
 [A_][n_A]                                                 |    1     |2!
 [A_][n_A]                                                 |    1     |2!
 [An_A]                                           1!       |          |2 
 [An_][a]                                         1!       |    1     |1 
 [A_nA]                       1!                           |          |  
 [A_n][a]                     1!                           |    1     |1 


/aW/: 
        FthHdSp(+nasal)Head(nasal)Head(p)Head is initial|*A-Span(F)|*A
>[aw]                                                   |          |  
 [A_ W]                                                 |          |1!
 [a][W]                                                 |    1!    |  


3. Status of Proposed Constraints:  Necessary or Unnecessary

   *A-Span(F)       Necessary
   FthHdSp(+nasal)  Necessary
   Head(nasal)      Necessary
   Head(p)          Necessary
   Head is initial  Necessary
   *A               Necessary


4. Ranking Arguments, based on the Fusional Reduction Algorithm

This run sought to obtain the Skeletal Basis, intended to keep each final ranking argument as pithy as possible.



The final rankings obtained are as follows:

      Head is initial >> *A-Span(F)
      *A-Span(F) >> *A
      Head(p) >> *A-Span(F)
      Head(nasal) >> *A-Span(F)
      FthHdSp(+nasal) >> *A-Span(F)


5. Mini-Tableaux

The following small tableaux may be useful in presenting ranking arguments. 
They include all winner-rival comparisons in which there is just one 
winner-preferring constraint and at least one loser-preferring constraint.  
Constraints not violated by either candidate are omitted.


/ana/: 
           Head(nasal)|*A-Span(F)|*A
>[a_][n_A]            |    1     |1 
 [a_na]        1      |          |  


/ana/: 
           Head is initial|*A-Span(F)|*A
>[a_][n_A]                |    1     |1 
 [an_a]          1        |          |  


/ana/: 
           FthHdSp(+nasal)|*A-Span(F)|*A
>[a_][n_A]                |    1     |1 
 [ada]           1        |          |  


/ana/: 
           Head is initial|*A-Span(F)|*A
>[a_][n_A]                |    1     |1 
 [An_A]          1        |          |1 


/anawa/: 
             *A-Span(F)|*A
>[a][nAWA]       1     |2 
 [a][nA][wa]     2     |1 


/anawa/: 
             *A-Span(F)|*A
>[a][nAWA]       1     |2 
 [a][nAW][a]     2     |1 


/anapa/: 
               Head(p)|*A-Span(F)|*A
>[a][n_A][pa]         |    2     |1 
 [a][n_][a_pa]   1    |    2     |  


/anapa/: 
               Head is initial|*A-Span(F)|*A
>[a][n_A][pa]                 |    2     |1 
 [a][n_][ap_a]       1        |    2     |  


/Ana/: 
         Head(nasal)|*A-Span(F)|*A
>[a][nA]            |    1     |1 
 [A_nA]      1      |          |  

