Note that there exist multiple versions of logical representations used in the GEO-QUERY dataset.
one version is based on lambda calculus expression, and the other is based on the variable free tree-shaped represen-tation.