Learning Combinatory Categorial Grammars for Plan Recognition