Reasoning with Mental Models