Results of Applying Recursive Constraint Demotion to TurkishIyor.txt


4-09-2019, 9:01 a.m.

OTSoft 2.5, release date 1/17/2017


1. Result

A ranking was found that generates the correct outputs.

   Stratum #1
      Ident(rd)                                 Id rd
   Stratum #2
      *RoLo                                     *RoLo
      Agree back                                Agr bk
   Stratum #3
      Agree round                               Agr rd
   Stratum #4
      Ident before spec                         Ident before spec

2. Tableaux


/[ o ] /: 
       Id rd|*RoLoAgr bk|Agr rd|Ident before spec
>[ o ]      | 1         |      |                 
 [ a ]  1!  |           |      |                 


/[ o ] A/: 
         Id rd|*RoLoAgr bk|Agr rd|Ident before spec
>[ o ] a      | 1         |  1   |                 
 [ o ] e      | 1     1!  |  1   |                 
 [ o ] o      | 2!        |      |                 


/[ o ] I/: 
          Id rd|*RoLoAgr bk|Agr rd|Ident before spec
>[ o ] u       | 1         |      |                 
 [ o ] i-      | 1         |  1!  |                 
 [ o ] i       | 1     1!  |  1   |                 


/[ o ] I yor/: 
              Id rd|*RoLoAgr bk|Agr rd|Ident before spec
>[ o ] u yor       | 2         |      |       1         
 [ o ] i- yor      | 2         |  2!  |                 


/[ a] I yor/: 
              Id rd|*RoLoAgr bk|Agr rd|Ident before spec
>[ a ] i- yor      | 1         |  1   |                 
 [ a ] u yor       | 1         |  1   |       1!        
 [ a ] i- yar  1!  |           |      |                 


/[ e] I yor/: 
             Id rd|*RoLoAgr bk|Agr rd|Ident before spec
>[ e ] i yor      | 1     1   |  1   |                 
 [ e ] u yor      | 1     1   |  1   |       1!        
 [ e ] U yor      | 1     1   |  1   |       1!        
 [ e ] i yer  1!  |           |      |                 


/[ u ] I - a/: 
            Id rd|*RoLoAgr bk|Agr rd|Ident before spec
>[ u ] u a       |           |  1   |                 
 [ u ] i- a      |           |  1   |       1!        
 [ u ] u o   1!  | 1         |      |                 


3. Status of Proposed Constraints:  Necessary or Unnecessary

   *RoLo              Necessary
   Id rd              Necessary
   Agr bk             Necessary
   Agr rd             Necessary
   Ident before spec  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.

Original set of ERCs

Index  ERC    Reason                                        
1      LWeee  for /[ o ] /, [ o ] >> [ a ]                  
2      WeeLe  for /[ o ] A/, [ o ] a >> [ o ] o             
3      eeeWL  for /[ o ] I yor/, [ o ] u yor >> [ o ] i- yor
4      LWeLe  for /[ a] I yor/, [ a ] i- yor >> [ a ] i- yar
5      LWLLe  for /[ e] I yor/, [ e ] i yor >> [ e ] i yer  
6      WWeLe  for /[ u ] I - a/, [ u ] u a >> [ u ] u o     

Recursive ranking search

Recursive search has now reached this location in the search tree:  1


   Fusion of this ERC set is:  LWLLL

   The following ERCs form the total information-loss residue:

      WeeLe
      eeeWL

   Fusion of total residue:  WeeLL


   Skeletal basis of the fusion:  LWLee

   LWLee includes at least one L and thus is not entailed by WeeLL.

   Thus it may be retained in the Skeletal Basis of ERCs.

Recursive search has now reached this location in the search tree:  1, 2

Current set of ERCs is based on constraint #2, Id rd

Working with the following ERC set:

      WeeLe
      eeeWL

   Fusion of this ERC set is:  WeeLL

   The following ERCs form the total information-loss residue:

      eeeWL

   Fusion of total residue:  eeeWL


   Skeletal basis of the fusion:  WeeLe

   WeeLe includes at least one L and thus is not entailed by eeeWL.

   Thus it may be retained in the Skeletal Basis of ERCs.

Recursive search has now reached this location in the search tree:  1, 2, 1

Current set of ERCs is based on constraint #1, *RoLo

Working with the following ERC set:

      eeeWL

   Fusion of this ERC set is:  eeeWL

   The following ERCs form the total information-loss residue:



   eeeWL has a null residue 
and thus may be retained in the Skeletal Basis of ERCs.



5. Ranking argumentation:  Final result

The following set of ERCs forms the Skeletal Basis for the ERC set as a whole, 
and thus encapsulates the available ranking information.

      LWLee
      WeeLe
      eeeWL

The final rankings obtained are as follows:

      Id rd >> { *RoLo, Agr bk }
      *RoLo >> Agr rd
      Agr rd >> Ident before spec


6. 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 ] /: 
       Id rd|*RoLo
>[ o ]      | 1   
 [ a ]  1   |     


/[ o ] A/: 
         *RoLo|Agr rd
>[ o ] a  1   |  1   
 [ o ] o  2   |      


/[ o ] I yor/: 
              *RoLo|Agr rd|Ident before spec
>[ o ] u yor   2   |      |       1         
 [ o ] i- yor  2   |  2   |                 


/[ a] I yor/: 
              Id rd|*RoLo|Agr rd
>[ a ] i- yor      | 1   |  1   
 [ a ] i- yar  1   |     |      


/[ e] I yor/: 
             Id rd|*RoLoAgr bk|Agr rd
>[ e ] i yor      | 1     1   |  1   
 [ e ] i yer  1   |           |      

