Logic Pattern Definition