제약
"cat + z" 도표는 하나의 W와 하나의 L을 가진 열을 포함한다. 이는 제약 Agree, 제약 Max, 그리고 제약 Dep 모두 반드시 제약 Ident를 지배한다는 것을 보여준다. 그러나, 어떤 서열도 입력형에 기인한 이러한 제약에서 평가될 수 수 없다. 이 도표에 기인하여, 다음이 같은 서열이 집계되었다.: