12. AILog has askables, which are atoms that are asked of the user, and assumables, which are collected in an answer.

Imagine you are axiomatizing the plumbing in your home and you have an axiomatization similar to that of Exercise 2. You are axiomatizing the domain for a new tenant who is going to sublet your home and may want to determine what may be going wrong with the plumbing

(before calling you or the plumber).

There are some atoms that you will know the rules for, some that the tenant will know, and some that neither will know. Divide the atomic propositions into these three categories, and suggest which should be made askable and which should be assumable. Show what the resulting interaction will look like under your division.