Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report