High-Level Cognitive Models: In Search of a Unified Framework for Inferential and Grammatical Behavior