Logic Patterns Definition