Title: Formal studies of stratificational grammars