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").