km#generalization_search
  exclusion:  specialization_search
  supertype:  knowledge_search_task
  subtype:  generalization_structural_search
     subtype:  generalization_structural_search_of_FOL_statements
  subtype:  complete_generalization_search

No statement uses or specializes generalization_search; click here to add one.