Logical Inferences and Comprehension: How Mental-Logic and Text Processing Theories Need Each Other