You are reporting the paste Optimality theoretic semantics example.