The experiments reported here pointed out many areas of our system which previous failure analysis of the basic QA system had not pinpointed as being too problematic, but for which improvement should help the Constraints process.
this work brought to light a matter of major significance, term equivalence, which we had not previously focused on too much (and neither had the QA community as a whole).