Results of Applying Recursive Constraint Demotion to ManchuBruce.txt


5-02-2019, 1:32 p.m.

OTSoft 2.5, release date 1/17/2017


1. Result

A ranking was found that generates the correct outputs.

   Stratum #1
      Agr loc  - +                              Agr loc  - +
      Agr + - weak trigger                      Agr + - weak trigger
      Ident initial                             Ident initial
   Stratum #2
      Id + -                                    Id + -
   Stratum #3
      Id - +                                    Id - +
   Stratum #4
      Agr Loc + -                               Agr Loc + -

2. Tableaux


/o/: 
   Agr loc  - +¦Agr + - weak trigger¦Ident initial|Id + -|Id - +|Agr Loc + -
>o             ¦                    ¦             |      |      |           
 a             ¦                    ¦     1!      |  1   |      |           


/o a/: 
     Agr loc  - +¦Agr + - weak trigger¦Ident initial|Id + -|Id - +|Agr Loc + -
>o a             ¦                    ¦             |      |      |    1      
 o o             ¦                    ¦             |      |  1!  |           
 a a             ¦                    ¦     1!      |  1   |      |           


/o a a/: 
       Agr loc  - +¦Agr + - weak trigger¦Ident initial|Id + -|Id - +|Agr Loc + -
>o a a             ¦                    ¦             |      |      |    1      
 o o o             ¦                    ¦             |      |  2!  |           
 a a a             ¦                    ¦     1!      |  1   |      |           
 o o a             ¦         1!         ¦             |      |  1   |    1      


/o o a/: 
       Agr loc  - +¦Agr + - weak trigger¦Ident initial|Id + -|Id - +|Agr Loc + -
>o o o             ¦                    ¦             |      |  1   |           
 o o a             ¦         1!         ¦             |      |      |    1      
 o a a             ¦         1!         ¦             |  1   |      |    1      


/a o/: 
     Agr loc  - +¦Agr + - weak trigger¦Ident initial|Id + -|Id - +|Agr Loc + -
>a a             ¦                    ¦             |  1   |      |           
 o o             ¦                    ¦     1!      |      |  1   |           
 a o      1!     ¦                    ¦             |      |      |           


/i o/: 
     Agr loc  - +¦Agr + - weak trigger¦Ident initial|Id + -|Id - +|Agr Loc + -
>i a             ¦                    ¦             |      |      |           
 u o             ¦                    ¦     1!      |      |  1   |           
 i o      1!     ¦                    ¦             |      |      |           


/o o a a/: 
         Agr loc  - +¦Agr + - weak trigger¦Ident initial|Id + -|Id - +|Agr Loc + -
>o o o o             ¦                    ¦             |      |  2   |           
 o a a a             ¦                    ¦             |  1!  |      |    1      
 o o a a             ¦         1!         ¦             |      |      |    1      
 o o o a             ¦         1!         ¦             |      |  1   |    1      


3. Status of Proposed Constraints:  Necessary or Unnecessary

   Agr loc  - +          Necessary
   Agr + - weak trigger  Necessary
   Ident initial         Necessary
   Id + -                Necessary
   Id - +                Necessary
   Agr Loc + -           Not 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:

      Ident initial >> Id + -
      Id + - >> Id - +
      Id - + >> Agr Loc + -
      Agr + - weak trigger >> Id - +
      Agr loc  - + >> Id + -


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.


/o a/: 
     Id - +|Agr Loc + -
>o a       |    1      
 o o   1   |           


/o a a/: 
       Id - +|Agr Loc + -
>o a a       |    1      
 o o o   2   |           


/a o/: 
     Agr loc  - +|Id + -
>a a             |  1   
 a o      1      |      

