Semantic and Syntactic Proof Productions