As this example shows , the asterisks on the coreference labels * x and * y in CGIF map to existentially quantified variables in CLIF .
The question marks on ? x and ? y map to bound variables in CLIF .
As this example shows , the asterisks on the coreference labels * x and * y in CGIF map to existentially quantified variables in CLIF , and the question marks on ? x and ? y map to bound variables in CLIF .