Tommo So Tableaux | Laura McPherson

Results of Applying Recursive Constraint Demotion to Tommo_Tableaux_Final.txt

10-22-2014, 10:07 a.m.

OTSoft 2.3.1, release date 2/14/2011

1. Result

A ranking was found that generates the correct outputs.

Stratum	Constraint Name	Abbreviation
Stratum #1	Ident-Phase(T)/Lex	Id-Phase(T)/Lex
	Ident-Phase(T)	Id-Phase(T)
	Linearity	Linearity
	X.L Demx2	X.L Demx2
Stratum #2	*Self-Control	*SC
Stratum #3	X.L Adj	X.L Adj
	X.L Dem	X.L Dem
Stratum #4	Poss X.T	Poss X.T
Stratum #5	Ident(T)	Id(T)
	X.L Num/Poss	X.L Num/Poss

2. Tableaux

/PossNonP-L N/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ PossNonP N.T										*
PossNonP N								*!
PossNonP.T N	*!	*			*					*
PossNonP.T N.T	*!	*			*					**

/PossIP N/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ PossIP N.T										*
PossIP N								*!
PossIP.T N		*!			*					*
PossIP.T N.T		*!			*					**

/N PossAP/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ N PossAP
N.T PossAP										*!
N PossAP.T	*!	*								*

/N Adj/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ N.L Adj										*
N Adj							*!
N Adj.L					*!					*
N.L Adj.L					*!					**

/N Adj Adj/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ N.L Adj.L Adj										**
N.L Adj Adj							!			*
N Adj Adj							!*
N.L Adj.L Adj.L					*!					***
N Adj.L Adj.L					!					**

/N Num/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ N Num
N.L Num										*!
N Num.L										*!
N.L Num.L										!

/N Dem/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ N.L Dem										*
N Dem						*!
N.L Dem.L					*!					**
N Dem.L					*!	*				*

/N Adj Dem/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ N.L Adj.L Dem										**
N.L Adj Dem						*!				*
N.L Adj.L Dem.L					*!					***
N Adj.L Dem.L					!					**
N Adj Dem				*!		**	*

/N Num Dem/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ N.L Num.L Dem										**
N Num.L Dem						*!				*
N Num Dem.L					*!					*
N Num.L Dem.L					*!					**
N.L Num.L Dem.L					*!					***
N Num Dem				*!		**
N.L Num Dem			*!			*				*

/PossANonP N Adj/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ PossANonP N.T Adj.T										**
PossANonP N.L Adj								!		*
PossANonP N.T Adj							*!	*		*
PossANonP N Adj							*!	**
PossANonP N.T Adj.L					*!					**
PossANonP N.L Adj.T			*!					*		**
PossANonP.T N.T Adj.T	*!	*			*					***

/PossINonP N Adj/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ PossINonP N.L Adj							*	*		*
PossINonP N.T Adj							**!			*
PossINonP N Adj							**!	*
PossINonP.L N.L Adj	*!	*								**
PossINonP.T N.T Adj	*!	*			*		**			**
PossINonP.T N.T Adj.L	*!	*			**					***
PossINonP.L N.T Adj	*!	*	*				*			**

/PossIP N Adj/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ PossIP N.L Adj							*	*		*
PossIP N.T Adj							**!			*
PossIP N Adj							**!	*
PossIP N.T Adj.L					*!					**
PossIP.L N.L Adj		*!								**
PossIP.L N.L Adj.L		*!			*					***
PossIP.T N.L Adj		*!			*		*			**
PossIP.T N.T Adj		*!			*		**			**
PossIP.L N.T Adj		*!	*				*			**

/N Adj PossAP/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ N.L Adj PossAP										*
N Adj PossAP							*!
N Adj.L PossAP					*!					*
N.L Adj.L PossAP					*!					**
N Adj PossAP.L	*!	*					*			*

/PossANonP-L N Dem/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ PossANonP N.L Dem						*		*		*
PossANonP N.T Dem.L					*!					**
PossANonP N.L Dem.L					*!			*		**
PossANonP N.T Dem				*!		**				*
PossANonP N Dem				*!		**		*
PossANonP.L N.L Dem	*!	*								**
PossANonP.L N.L Dem.L	*!	*			*					***
PossANonP.T N.T Dem.L	*!	*			**					***
PossANonP.T N.L Dem.L	*!	*			**					***
PossANonP.T N.T Dem	*!	*		*	*	**				**
PossANonP.L N.T Dem	*!	*	*			*				**

/PossINonP N Dem/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ PossINonP N.L Dem						*		*		*
PossINonP N.T Dem.L					*!					**
PossINonP N.L Dem.L					*!			*		**
PossINonP N.T Dem				*!		**				*
PossINonP N Dem				*!		**		*
PossINonP.L N.L Dem	*!	*								**
PossINonP.L N.L Dem.L	*!	*			*					***
PossINonP.T N.T Dem.L	*!	*			**					***
PossINonP.T N.L Dem.L	*!	*			**					***
PossINonP.T N.T Dem	*!	*		*	*	**				**
PossINonP.L N.T Dem	*!	*	*			*				**

/PossIP N Dem/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ PossIP N.L Dem						*		*		*
PossIP N.T Dem.L					*!					**
PossIP N.T Dem				*!		**				*
PossIP N Dem				*!		**		*
PossIP.L N.L Dem		*!								**
PossIP.L N.L Dem.L		*!			*					***
PossIP.T N.L Dem		*!			*	*				**
PossIP.T N Dem.L		*!			**					**
PossIP.T N.T Dem.L		*!			**					***
PossIP.T N Dem		*!		*	*	**				*
PossIP.T N.T Dem		*!		*	*	**				**
PossIP.L N.T Dem		*!	*			*				**

/N PossAP Dem/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ N PossAP Dem.L					*					*
N PossAP Dem				*!		**
N.L PossAP Dem			*!			*				*
N.L PossAP Dem.L			*!		*					**
N.L PossAP.L Dem	*!	*								**
N.L PossAP.L Dem.L	*!	*			*					***

/PossANonP N Num/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ PossANonP N.T Num.T										**
PossANonP N.T Num								*!	*	*
PossANonP N.L Num								!		*
PossANonP N Num								!	*
PossANonP N.T Num.L					*!			*		**
PossANonP N Num.T			*!					*		*
PossANonP.T N.T Num.T	*!	*			*					***

/PossINonP N Num/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ PossINonP N.T Num									**	*
PossINonP N.T Num.L									**	**!
PossINonP N.L Num								*!	*	*
PossINonP N Num								*!	**
PossINonP.L N.L Num	*!	*								**
PossINonP.T N.L Num	*!	*			*				*	**

/PossIP N Num/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ PossIP N.T Num									**	*
PossIP N.L Num								*!	*	*
PossIP N Num								*!	**
PossIP N.T Num.L					*!					**
PossIP.L N.L Num		*!								**
PossIP.L N.L Num.L		*!			*					***
PossIP.T N.T Num		*!			*				**	**
PossIP.T N.L Num.L		*!			**					***
PossIP.T N.T Num.L		*!			**					***
PossIP.L N.T Num		*!	*						*	**

/N Adj Num/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ N.L Adj Num										*
N Adj Num							*!
N Adj Num.L							*!			*
N Adj.L Num					*!					*
N.L Adj.L Num					*!					**

/PossANonP N Adj Dem/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ PossANonP N.L Adj.L Dem						*		**		**
PossANonP N.T Adj.T Dem.L					*!					***
PossANonP N.T Adj.L Dem.L					!			*		***
PossANonP N.T Adj.L Dem				*!		**		*		**
PossANonP N.L Adj Dem				*!		**		**		*
PossANonP N.T Adj.T Dem				*!		***				**
PossANonP N.T Adj Dem				*!		***	*	*		*
PossANonP N Adj Dem				*!		***	*	**
PossANonP.L N.L Adj.L Dem	*!	*								***
PossANonP.T N.L Adj Dem.L	*!	*			**					***
PossANonP.T N.L Adj Dem	*!	*		*	*	**				**
PossANonP.L N.L Adj Dem	*!	*	*			*				**

/PossINonP N Adj Dem/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ PossINonP N.L Adj.L Dem						*		*		**
PossINonP N.L Adj Dem.L					*!		*	*		**
PossINonP N.T Adj.L Dem.L					!					***
PossINonP N.T Adj.L Dem				*!		**				**
PossINonP N.L Adj Dem				*!		**	*	*		*
PossINonP N.T Adj Dem				*!		***	**			*
PossINonP N Adj Dem				*!		***	**	*
PossINonP.L N.L Adj.L Dem	*!	*								***
PossINonP.L N.L Adj Dem	*!	*				*				**

/PossIP N Adj Dem/:	Id-Phase(T)/Lex	Id-Phase(T)	Linearity	X.L Demx2	*SC	X.L Dem	X.L Adj	Poss X.T	X.L Num/Poss	Id(T)
☞ PossIP N.L Adj.L Dem						*		*		**
PossIP N.T Adj.L Dem.L					!					***
PossIP N.T Adj.L Dem				*!		**				**
PossIP N.L Adj Dem				*!		**	*	*		*
PossIP N.T Adj Dem				*!		***	**			*
PossIP N Adj Dem				*!		***	**	*
PossIP.L N.L Adj.L Dem		*!								***
PossIP.L N.L Adj Dem		*!				*				**
PossIP.L N.L Adj Dem.L		*!			*					***
PossIP.T N.L Adj.L Dem		*!			*	*				***

3. Status of Proposed Constraints: Necessary or Unnecessary

Constraint	Status
Ident(T)	Necessary
Ident-Phase(T)	Necessary
Poss X.T	Necessary
X.L Adj	Necessary
X.L Dem	Necessary
*Self-Control	Necessary
Linearity	Necessary
X.L Demx2	Necessary
Ident-Phase(T)/Lex	Not necessary
X.L Num/Poss	Not necessary

A check has determined that the grammar will still work even if the constraints marked above as unnecessary are removed en masse.

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:

X.L Demx2 >> *SC

*SC >> { X.L Adj, X.L Dem }

X.L Dem >> Id(T)

Poss X.T >> { Id(T), X.L Num/Poss }

X.L Adj >> Poss X.T

Linearity >> *SC

Id-Phase(T) >> { X.L Adj, X.L Dem }

At least one of { Id-Phase(T)/Lex, Id-Phase(T) } >> *SC

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.

/PossNonP-L N/:	Poss X.T	Id(T)
☞ PossNonP N.T		*
PossNonP N	*

/PossIP N/:	Poss X.T	Id(T)
☞ PossIP N.T		*
PossIP N	*

/N Adj/:	X.L Adj	Id(T)
☞ N.L Adj		*
N Adj	*

/N Adj Adj/:	X.L Adj	Id(T)
☞ N.L Adj.L Adj		**
N Adj Adj	* **

/N Adj Adj/:	X.L Adj	Id(T)
☞ N.L Adj.L Adj		**
N.L Adj Adj	* *	*

/N Dem/:	X.L Dem	Id(T)
☞ N.L Dem		*
N Dem	*

/N Adj Dem/:	X.L Dem	Id(T)
☞ N.L Adj.L Dem		**
N.L Adj Dem	*	*

/N Num Dem/:	X.L Dem	Id(T)
☞ N.L Num.L Dem		**
N Num.L Dem	*	*

/N Num Dem/:	*SC	Id(T)
☞ N.L Num.L Dem		**
N Num Dem.L	*	*

/PossANonP N Adj/:	Poss X.T	Id(T)
☞ PossANonP N.T Adj.T		**
PossANonP N.L Adj	* *	*

/PossINonP N Adj/:	X.L Adj	Poss X.T	Id(T)
☞ PossINonP N.L Adj	*	*	*
PossINonP N Adj	**	*

/PossINonP N Adj/:	X.L Adj	Poss X.T	Id(T)
☞ PossINonP N.L Adj	*	*	*
PossINonP N.T Adj	**		*

/PossIP N Adj/:	X.L Adj	Poss X.T	Id(T)
☞ PossIP N.L Adj	*	*	*
PossIP N Adj	**	*

/PossIP N Adj/:	X.L Adj	Poss X.T	Id(T)
☞ PossIP N.L Adj	*	*	*
PossIP N.T Adj	**		*

/N Adj PossAP/:	X.L Adj	Id(T)
☞ N.L Adj PossAP		*
N Adj PossAP	*

/PossANonP N Num/:	Poss X.T	Id(T)
☞ PossANonP N.T Num.T		**
PossANonP N.L Num	* *	*

/PossINonP N Num/:	Poss X.T	Id(T)	X.L Num/Poss
☞ PossINonP N.T Num		*	**
PossINonP N Num	*		**

/PossINonP N Num/:	Poss X.T	Id(T)	X.L Num/Poss
☞ PossINonP N.T Num		*	**
PossINonP N.L Num	*	*	*

/PossIP N Num/:	Poss X.T	Id(T)	X.L Num/Poss
☞ PossIP N.T Num		*	**
PossIP N Num	*		**

/PossIP N Num/:	Poss X.T	Id(T)	X.L Num/Poss
☞ PossIP N.T Num		*	**
PossIP N.L Num	*	*	*

/N Adj Num/:	X.L Adj	Id(T)
☞ N.L Adj Num		*
N Adj Num	*

/PossIP N Adj Dem/:	Id-Phase(T)	X.L Dem	Poss X.T	Id(T)
☞ PossIP N.L Adj.L Dem		*	*	**
PossIP.L N.L Adj Dem	*	*		**

6. Hasse Diagram

The following Hasse diagram (in output folder at Tommo_Tableaux_FinalHasse.gif) summarizes the rankings obtained.