other,6-1-P01-1047,bq | a <term> logical definition </term> of <term> | Minimalist grammars | </term> , that are <term> Stabler 's formalization | #1932 We provide a logical definition ofMinimalist grammars, that are Stabler's formalization of Chomsky's minimalist program. |