km#specialization_search__implication_search__implicationsearch
  exclusion:  generalization_search
  supertype:  knowledge_search_task
  subtype:  specialization_structural_search
  subtype:  complete_specialization_search

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