As our language for logical forms, we use lambda dependency-based compositional semantics (Liang, 2013), or lambda DCS, which we briefly describe here.
even these broader knowledge sources still define a x1: "Greece held its last Summer Olympics in which year?"