Unification Categorial Grammar: A Concise, Extendable Grammar for Natural Language Processing