Representing and reasoning with large games