other,15-1-P01-1047,bq Stabler 's formalization </term> of <term> Chomsky 's minimalist program </term> . Our <term> logical definition </term>
hide detail