Capturing the deep meaning of texts through deduction and inference. - Francesco Antonacci; Cecilia M. Calamani (IBM J. Res. Dev., 1992)