Declarative Procedural Conditional Knowledge Examples