Specify interactive explanations as inputs, state and checks

An interactive explanation needs a small behavioral specification. Naming the inputs, the state and a...