Giannis - 2007-08-09

Hi all,

If you have ever used the standard Template parser of researchcyc I wonder if you can help me with the following:

(parse-a-question-completely " what is the population
of Greece?" #$RKFParsingMt '(:wff-check? t))

I am getting:

((is-Underspecified ?THING0
   (SubcollectionOfWithRelationFromFn
NonNegativeInteger numberOfInhabitants Greece))
   (numberOfInhabitants Greece ?THING0)
   (definitionalDisplaySentence
       (SubcollectionOfWithRelationFromFn
NonNegativeInteger numberOfInhabitants Greece)
?SENTENCE)
   (thereExists ?X
       (and
           (definitionalDisplaySentence ?X ?SENTENCE)
           (isa ?X NonNegativeInteger)
           (numberOfInhabitants Greece ?X)))
   (interestingSentence
       (SubcollectionOfWithRelationFromFn
NonNegativeInteger numberOfInhabitants Greece)
?INFORMATION)
   (thereExists ?X
       (and
           (interestingSentence ?X ?INFORMATION)
           (isa ?X NonNegativeInteger)
           (numberOfInhabitants Greece ?X))))

If I will run these CycLs in the query tool I am
getting nothing. However, If I will delete
"(interestingSentence ?X ?INFORMATION)" and
"(definitionalDisplaySentence ?X ?SENTENCE)" from the
last two queries I am getting a full answer. Any ideas on the meaning of these sentances and why they are there will be appreciated. Their presence invalidates the whole CycL expression and hence I am curious why the parser produces something that is simply invalid..