Model-theory and implementation of property grammars with features.

Property Grammar (PG) is a formalism introduced by Blache [1], which aims at describing syntax in terms of local constraints that can be independently violated. A promising feature of this formalism lies in its ability to account for ungrammatical utterances, thus departing from classical formalisms of generative-enumerative syntax. In this article, we present a model-theoretic description of PG t...