answer(alice, logic, registration_of(alice, logic)).
answer(alice, math, registration_of(alice, math)).