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