see (Loveland, 1978) and (Fitting, 1996)).
the sophistication of such formal semantic models comes at a cost: the complex set of rules allowing for the logical interpretation of text must either be provided a priori, or learned.