Evaluating Reasoning Systems Conrad Bock Michael Gruninger Don Libes Joshua Lubell Eswaran Subrahmanian NISTIR 7310