answer(total(alice), 15).
answer(total(bob), 6).
answer(maximum(alice), 7).
answer(maximum(bob), 4).
answer(report(alice), 'alice:3').
answer(report(bob), 'bob:2').