added GGP reasoner code.