For GeoQuery, they include the ZC07 (Zettlemoyer and Collins, 2007), λ-WASP (Wong and Mooney, 2007), UBL (Kwiatkowski et al., 2010)  FUBL (Kwiatkowski et al., 2011).
ccG is a linguistic formalism that tightly couples syntax and semantic (Steedman, 1996;Steedman, 2000).