A Formal Model of Syntactic Structure