Defining Operationality for Explanation-Based Learning