Adding reasoner, but only printing for now
upps!!!