
during(tes(f1_es7), tes(f1_es6)) 
includes(tr(f1_es7), univ) 
……. 
12.The bucket has a cover to keep rain and snow out  
class(infon218, id59) 
fact(infon219, inst_of, [ind:id59, class:thing], 1, univ, univ) 
fact(infon220, isa, [ind:id59, class:cover], 1, id53, id7) 
fact(infon222, cover, [nil:id54], 1, id53, id7) 
fact(id60, have, [actor:id54, prop:infon222, prop:id65], 1, tes(f1_es12), id7) 
fact(infon223, isa, [arg:id60, arg:st], 1, tes(f1_es12), id7) 
fact(infon224, isa, [arg:id61, arg:tloc], 1, tes(f1_es12), id7) 
fact(infon225, pres, [arg:id61], 1, tes(f1_es12), id7) 
fact(infon227, isa, [arg:id62, arg:rain], 1, tes(f1_es12), id7) 
fact(infon228, isa, [arg:id63, arg:snow], 1, tes(f1_es12), id7) 
fact(id65, keep_out, [agent:id54, theme_aff:id64], 1, tes(finf1_es12), id7) 
fact(infon229, isa, [arg:id65, arg:pr], 1, tes(finf1_es12), id7) 
fact(infon230, isa, [arg:id66, arg:tloc], 1, tes(finf1_es12), id7) 
fact(infon231, pres, [arg:id66], 1, tes(finf1_es12), id7) 
fact(infon232, time, [arg:id65, arg:id66], 1, tes(f1_es12), id7) 
fact(infon233, coincide, [arg:id60, prop:id65], 1, tes(f1_es12), id7) 
during(tes(f1_es12), tes(f1_es11)) 
includes(tr(f1_es12), id53) 
4.2 Question-Answering  
Coming now to Question Answering, the system accesses the ADM looking at first 
for relations, and then for entities : entities are searched according to the form of the 
focussed element in the User DataBase of Question-Facts as shown below with the 
QDM for the first question: 
User Question-Facts Discourse Model 
q_loc(infon3, id1, [arg:main_tloc, arg:tr(f1_free_a)]) 
q_ent(infon4, id2) 
q_fact(infon5, isa, [ind:id2, class:who], 1, id1, univ) 
q_fact(infon6, inst_of, [ind:id2, class:man], 1, univ, univ) 
q_class(infon7, id3) 
q_fact(infon8, inst_of, [ind:id3, class:coll], 1, univ, univ) 
q_fact(infon9, isa, [ind:id3, class:sap], 1, id1, univ) 
q_fact(infon10, focus, [arg:id2], 1, id1, univ) 
q_fact(id4, collect, [agent:id2, theme_aff:id3], 1, tes(f1_free_a), univ) 
q_fact(infon13, isa, [arg:id4, arg:pr], 1, tes(f1_free_a), univ) 
q_fact(infon14, isa, [arg:id5, arg:tloc], 1, tes(f1_free_a), univ) 
q_fact(infon15, pres, [arg:id5], 1, tes(f1_free_a), univ) 
 
As to the current text, it replies correctly to all questions. As to question 4, at first the 
system takes « come from » to be answered exhaustively by contents expressed in 
sentence 14 ; however, seen that « hole » is not computed with a « location » 
semantic role, it searches the DM for a better answer which is the relation 
linguistically expressed in sentence 9, where « holes » are drilled « in each tree ». The 
« tree » is the Main Location of the whole story and « hole » in sentence 9 is 
inferentially linked to « hole » in sentence 14, by a chain of inferential inclusions. In 
fact, come_from does not figure in WordNet even though it does in our dictionary of 
synonyms. As to the fifth question, the system replies correctly. 
Another possible « Why » question could have been the following : « why is the tree 
11