But each of these three classes provides an essential type of information about the service, as characterized in the rest of the paper.
We will want to be able to use logical rules in such a specification for expressing interactions among parameters.