ThoughtTreasure, the hard common sense problem, and applications of common sense Erik T. Mueller IBM Research* *Work performed while at Signiform.