In this section, we illustrate the power of our modeling language, the use of logical time, and our query facilities. We describe four sample debugging sessions using the Ariadne prototype.
