More Interesting Constraint Rules

Such rules can be easily expressed in logic, with logical unification providing the "glue" among constraints and Web Service pre-, postconditions, and axioms.



cjp