edited files on the reasoner class, still a few object errors