A tool for satisfiability-based commonsense reasoning in the event calculusErik T. Mueller2004FLAIRS 2004