Formalizing Argument Structures with Combinatory Categorial Grammar