Implemented new methods in IReasoner interface.