Axiomatic System for Phrase Structure Grammars. I