\ti\ftResults of Applying Recursive Constraint Demotion to TurkishIyor.txt

\hrRankings for TurkishIyor.txt	4-09-2019	\pn

\cn4-09-2019, 9:01 a.m.

\cnOTSoft 2.5
\cnRelease date 1/17/2017


\h1Result
A ranking was found that generates the correct outputs.
\ks
\ts3
\ntStratum	Constraint Name	Abbreviation
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
\te\ke

\h1Tableaux
\ts6\ks
/[ o ] /	Id rd	*RoLo\dl	Agr bk	Agr rd	Ident before spec
\wsF\we [ o ]		*\sh	\sh	\sh	\sh
[ a ]	*!	\sh	\sh	\sh	\sh
\te\ke
\ts6\ks
/[ o ] A/	Id rd	*RoLo\dl	Agr bk	Agr rd	Ident before spec
\wsF\we [ o ] a		*		*\sh	\sh
[ o ] e		*	*!	*\sh	\sh
[ o ] o		**!	\sh	\sh	\sh
\te\ke
\ts6\ks
/[ o ] I/	Id rd	*RoLo\dl	Agr bk	Agr rd	Ident before spec
\wsF\we [ o ] u		*			\sh
[ o ] i-		*		*!	\sh
[ o ] i		*	*!	*\sh	\sh
\te\ke
\ts6\ks
/[ o ] I yor/	Id rd	*RoLo\dl	Agr bk	Agr rd	Ident before spec
\wsF\we [ o ] u yor		**			*\sh
[ o ] i- yor		**		*!*	\sh
\te\ke
\ts6\ks
/[ a] I yor/	Id rd	*RoLo\dl	Agr bk	Agr rd	Ident before spec
\wsF\we [ a ] i- yor		*		*	
[ a ] u yor		*		*	*!
[ a ] i- yar	*!	\sh	\sh	\sh	\sh
\te\ke
\ts6\ks
/[ e] I yor/	Id rd	*RoLo\dl	Agr bk	Agr rd	Ident before spec
\wsF\we [ e ] i yor		*	*	*	
[ e ] u yor		*	*	*	*!
[ e ] U yor		*	*	*	*!
[ e ] i yer	*!	\sh	\sh	\sh	\sh
\te\ke
\ts6\ks
/[ u ] I - a/	Id rd	*RoLo\dl	Agr bk	Agr rd	Ident before spec
\wsF\we [ u ] u a				*	
[ u ] i- a				*	*!
[ u ] u o	*!	*\sh	\sh	\sh	\sh
\te\ke

\h1Status of Proposed Constraints:  Necessary or Unnecessary
\ts2
\ntConstraint	Status
*RoLo	Necessary
Ident(rd)	Necessary
Agree back	Necessary
Agree round	Necessary
Ident before spec	Necessary
\te
\ks

\h1Ranking 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.
\ke
Original set of ERCs
\ks
\ts3
\ntIndex	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
\te\ke
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.

\h1Ranking 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

\h1Mini-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.
\ts3\ks
/[ o ] /	Id rd	*RoLo
\wsF\we [ o ]		*
[ a ]	* 	
\te\ke
\ts3\ks
/[ o ] A/	*RoLo	Agr rd
\wsF\we [ o ] a	*	*
[ o ] o	** 	
\te\ke
\ts4\ks
/[ o ] I yor/	*RoLo	Agr rd	Ident before spec
\wsF\we [ o ] u yor	**		*
[ o ] i- yor	**	* *	
\te\ke
\ts4\ks
/[ a] I yor/	Id rd	*RoLo	Agr rd
\wsF\we [ a ] i- yor		*	*
[ a ] i- yar	* 		
\te\ke
\ts5\ks
/[ e] I yor/	Id rd	*RoLo\dl	Agr bk	Agr rd
\wsF\we [ e ] i yor		*	*	*
[ e ] i yer	* 			
\te\ke
