sentence1: ccgs are a linguistically-motivated formalism for modeling a wide range of language phenomena , steedman , 1996 , steedman , 2000 .
sentence2: combinatory categorial grammar ccg is a categorial formalism that provides a transparent interface between syntax and semantics , steedman , 1996 , steedman , 2000 .